6. RTAS 2000: Washington, DC, USA

Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000), 31 May - 2 June 2000, Washington, DC, USA. IEEE Computer Society, online publication: http://computer.org/proceedings/rtas/0713/0713toc.htm

Keynote Speech

Janos Sztipanovits:
Software for Embedded Systems: Opportunities and Challenges. 2-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session I: Scheduling

Tei-Wei Kuo, Yu-Hua Liu, Kwei-Jay Lin:
Efficient On-Line Schedulability Tests for Priority Driven Real-Time Systems. 4-13
Electronic Edition (IEEE Computer Society DL) BibTeX
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah:
Scheduling Distributed Real-Time Tasks in the DGMF Model. 14-22
Electronic Edition (IEEE Computer Society DL) BibTeX
Peter Bosch, Sape J. Mullender:
Real-Time Disk Scheduling in a Mixed-Media File System. 23-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session II: Real-Time System Design

Melissa Moy, David B. Stewart:
An Engineering Approach to Determining Sampling Rates for Switches and Sensors in Real-Time Systems. 34-45
Electronic Edition (IEEE Computer Society DL) BibTeX
Taehyoun Kim, Naehyuck Chang, Heonshik Shin:
Bounding Worst Case Garbage Collection Time for Embedded Real-Time Systems. 46-55
Electronic Edition (IEEE Computer Society DL) BibTeX
Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim:
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics. 56-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session III: QoS Support in Operating Systems

Dionisio de Niz, Ragunathan Rajkumar:
Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT. 266-
Electronic Edition (IEEE Computer Society DL) BibTeX
Kevin M. Obenland, L. Rosen:
The Performance Trade-offs of Implementing a Large Scale Real-Time Application Using the Windows NT Operating System. 68-77
Electronic Edition (IEEE Computer Society DL) BibTeX
Sean B. House, Douglas Niehaus:
KURT-Linux Support for Synchronous Fine-Grain Distributed Computations. 78-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session IV: Network QoS

Seok-Kyu Kweon, Kang G. Shin, Gary Workman:
Achieving Real-Time Communication over Ethernet with Adaptive Traffic Smoothing. 90-110
Electronic Edition (IEEE Computer Society DL) BibTeX
Jaehee Yoon, Azer Bestavros, Ibrahim Matta:
SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast. 101-110
Electronic Edition (IEEE Computer Society DL) BibTeX
Ethendranath Bommaiah, Katherine Guo, Markus Hofmann, Sanjoy Paul:
Design and Implementation of a Caching System for Streaming Media over the Internet. 111-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session V: System Intrusion Detection and Verification

Victor C. S. Lee, John A. Stankovic, Sang Hyuk Son:
Intrusion Detection in Real-Time Database Systems via Time Signatures. 124-133
Electronic Edition (IEEE Computer Society DL) BibTeX
Steve Vestal:
Formal Verification of the MetaH Executive Using Linear Hybrid Automata. 134-144
Electronic Edition (IEEE Computer Society DL) BibTeX
Yun-Hong Lee, Albert Mo Kim Cheng:
Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. 145-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VI: Scheduling II

C. Mani Krishna, Yann-Hang Lee:
Voltage-Clock-Scaling Adaptive Scheduling Techniques for Low Power in Hard Real-Time Systems. 156-165
Electronic Edition (IEEE Computer Society DL) BibTeX
Giuseppe Lipari, Sanjoy K. Baruah:
Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems. 166-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VII: CORBA

Kimoon Kim, Gwangil Jeon, Seongsoo Hong, Tae-Hyung Kim, Sunil Kim:
Integrating Subscription-Based and Connection-Oriented Communications into the Embedded CORBA for the CAN Bus. 178-187
Electronic Edition (IEEE Computer Society DL) BibTeX
Carlos O'Ryan, Douglas C. Schmidt, Fred Kuhns, Marina Spivak, Jeff Parsons, Irfan Pyarali, David L. Levine:
Evaluating Policies and Mechanisms for Supporting Embedded, Real-Time Applications with CORBA 3.0. 188-197
Electronic Edition (IEEE Computer Society DL) BibTeX
Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha:
Integration of CORBA Services with a Dynamic Real-Time Architecture. 198-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VIII: QoS Management

Tarek F. Abdelzaher:
An Automated Profiling Subsystem for QoS-Aware Services. 208-217
Electronic Edition (IEEE Computer Society DL) BibTeX
Uwe Dannowski, Hermann Härtig:
Policing Offloaded. 218-227
Electronic Edition (IEEE Computer Society DL) BibTeX
Aaron Striegel, G. Manimaran:
Dynamic Class-Based Queue Management for Scalable Media Servers. 228-236
Electronic Edition (IEEE Computer Society DL) BibTeX
Cuneyt Akinlar, Sarit Mukherjee:
Bandwidth Guarantee in a Distributed Multimedia File System Using Network Attached Autonomous Disks. 237-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session IX: System Modeling and Analysis

András Rácz:
Cell Loss Analysis for Some Alternative Priority Queues. 248-257
Electronic Edition (IEEE Computer Society DL) BibTeX
Sasikumar Punnekkat, Hans Hansson, Christer Norström:
Response Time Analysis under Errors for CAN. 258-
Electronic Edition (IEEE Computer Society DL) BibTeX