The Community for Technology Leaders
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) (1999)
Phoenix, Arizona
Dec. 1, 1999 to Dec. 3, 1999
ISSN: 1052-8725
ISBN: 0-7695-0475-2

Reviewers (PDF)

pp. xii
Keynote Speeches
Session I: Timing Issues

Timing Anomalies in Dynamically Scheduled Microprocessors (Abstract)

Thomas Lundqvist , Chalmers University of Technology
Per Stenström , Chalmers University of Technology
pp. 12

Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis (Abstract)

Sung-Kwan Kim , Seoul National University
Sang Lyul Min , Seoul National University
Rhan Ha , Hong-Ik University
pp. 22

Deriving Deadlines and Periods for Real-Time Update Transactions (Abstract)

Ming Xiong , University of Massachusetts at Amherst
Krithi Ramamritham , University of Massachusetts at Amherst
pp. 32

QoS Provisioning with qContracts in Web and Multimedia Servers (Abstract)

Tarek F. Abdelzaher , University of Virginia
Kang G. Shin , University of Michigan
pp. 44
Session II: Scheduling Algorithms

Design and Evaluation of a Feedback Control EDF Scheduling Algorithm (Abstract)

Chenyang Lu , University of Virginia
John A. Stankovic , University of Virginia
Gang Tao , University of Virginia
Sang H. Son , University of Virginia
pp. 56

New Results on Fixed Priority Aperiodic Servers (Abstract)

Guillem Bernat , University of York
Alan Burns , University of York
pp. 68

Optimal Reward-Based Scheduling of Periodic Real-Time Tasks (Abstract)

Hakan Aydin , University of Pittsburgh
Rami Melhem , University of Pittsburgh
Daniel Mosse , University of Pittsburgh
Pedro Mejia-Alvarez , CINVESTAV-IPN
pp. 79

Cooperative Scheduling of Multiple Resources (Abstract)

Saowanee Saewong , Carnegie Mellon University
Ragunathan (Raj) Rajkumar , Carnegie Mellon University
pp. 90
Session III: Specification and Verification

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality (Abstract)

Pedro R. D'Argenio , University of Twente
Joost-Pieter Katoen , University of Twente
Ed Brinksma , University of Twente
pp. 104

High-Level Modeling and Analysis of TCAS (Abstract)

Carolos Livadas , Massachusetts Institute of Technology
John Lygeros , Massachusetts Institute of Technology
Nancy A. Lynch , Massachusetts Institute of Technology
pp. 115

SRDE-Application of Data Similarity to Process Control (Abstract)

Deji Chen , Fisher-Rosemount Systems, Inc.
Aloysius K. Mok , University of Texas at Austin
pp. 136
Session IV: Task Coordinations (Poster)

Enabling Deadline Scheduling for Java Real-Time Computing (Abstract)

Christophe Lizzi , CS Technologies Informatiques
pp. 152

A Framework for Scheduler Synthesis (Abstract)

K. Altisen , Verimag Center
G. Gößler , Verimag Center
A. Pnueli , Verimag Center
J. Sifakis , Verimag Center
S. Tripakis , Verimag Center
S. Yovine , Verimag Center
pp. 154

On Scheduling Tasks in Reliable Real-Time Control Systems (Abstract)

Ramesh Chandra , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
pp. 164
Session V: Real-Time Communication

A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing (Abstract)

Hung--Ying Tyan , Ohio State University
Chao--Ju Hou , Ohio State University
Bin Wang , Ohio State University
pp. 168

Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic (Abstract)

Shibin Song , ZhongShan University
Joseph Kee-Yin Ng , Hong Kong Baptist University
Bihai Tang , GuangZhou Academy of Economics
pp. 190

Parallel Switching in Connection-Oriented Networks (Abstract)

James Anderson , University of North Carolina at Chapel Hill
Sanjoy Baruah , University of North Carolina at Chapel Hill
Kevin Jeffay , University of North Carolina at Chapel Hill
pp. 200
Session VI: New Applications (Poster)

Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment (Abstract)

Georg F. Mauer , University of Nevada at Las Vegas
Chanaka Fernando , University of Nevada at Las Vegas
pp. 212

HoneyWEB: Embedded Web-Based Control Applications (Abstract)

Christiane Iaccarino , Lucent Technologies
David Perozzi , Lucent Technologies
Meridith A. Sigel , AT&T Solutions
Aristides Staikos , U.S. Army CECOM
Ralph E. Taylor Jr , Bell Atlantic
Patricia Morreale , Stevens Institute of Technology
pp. 214

IP Security Impact on System Performance in a Distributed Real-Time Environment (Abstract)

Brett L. Chappell , Naval Surface Warfare Center
David T. Marlow , Naval Surface Warfare Center
Phillip M. Irey , Naval Surface Warfare Center
Karen O'Donogue , Naval Surface Warfare Center
pp. 218

Time Based Linux for Real-Time NOWs and MPI/RT (Abstract)

Manoj Apte , Mississippi State University
Srigurunath Chakravarthi , Mississippi State University
Anand Pillai , Mississippi State University
Anthony Skjellum , Mississippi State University
Xin Yan Zan , Mississippi State University
pp. 220
Session VII: System Development

Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel (Abstract)

Yu-Chung Wang , University of California at Irvine
Kwei-Jay Lin , University of California at Irvine
pp. 246

A Fixed-Priority-Driven Open Environment for Real-Time Applications (Abstract)

Tei-Wei Kuo , National Chung Cheng University
Ching-Hui Li , National Chung Cheng University
pp. 256
Session VIII: Design and Implementations (Poster)

Proportional Time Simulation of ATM Networks (Abstract)

Sean B House , University of Kansas
Shyam Murthy , University of Kansas
Douglas Niehaus , University of Kansas
pp. 279
Session IX: Resource Management

Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines (Abstract)

Marco Caccamo , Scuola Superiore S. Anna
Giuseppe Lipari , Scuola Superiore S. Anna
Giorgio Buttazzo , Scuola Superiore S. Anna
pp. 284

A Theory of Rate-Based Execution (Abstract)

Kevin Jeffay , University of North Carolina at Chapel Hill
Steve Goddard , University of Nebraska at Lincoln
pp. 304

A Scalable Solution to the Multi-Resource QoS Problem (Abstract)

Chen Lee , Carnegie Mellon University
John Lehoczky , Carnegie Mellon University
Dan Siewiorek , Carnegie Mellon University
Ragunathan Rajkumar , Carnegie Mellon University
Jeff Hansen , Carnegie Mellon University
pp. 315
Session X: Distributed Systems

Hierarchical Scheduling of Periodic Messages in Open System (Abstract)

Lynn Y. Zhang , University of Illinois at Urbana-Champaign
Jane W.S. Liu , University of Illinois at Urbana-Champaign
Zhong Deng , University of Illinois at Urbana-Champaign
Ian Philp , Los Alamos National Laboratory
pp. 350

Towards Systematic Testing of Distributed Real-Time Systems (Abstract)

Henrik Thane , M?lardalen University
Hans Hansson , M?lardalen University
pp. 360

Author Index (PDF)

pp. 371
96 ms
(Ver 3.3 (11022016))