Message from the Program Chair

PDF

Conference Chairs (Abstract)

pp. x

PDF

Program Committee (Abstract)

pp. xi

PDF

Reviewers (Abstract)

pp. xii

PDF

Session 1: Real-Time and Control

Improved Scheduling of Control Tasks (Abstract)

Anton Cervin

pp. 0004

PDF

The Case for Feedback Control Real-Time Scheduling (Abstract)

John A. Stankovic, University of Virginia

Chenyang Lu, University of Virginia

Sang H. Son, University of Virginia

Gang Tao, University of Virginia

pp. 0011

PDF

Rate Modulation of Soft Real-Time Tasks in Autonomous Robot Control Systems (Abstract)

G. Beccari, Universit? di Parma

S. Caselli, Universit? di Parma

M. Reggiani, Universit? di Parma

F. Zanichelli, Universit? di Parma

pp. 0021

PDF

Adaptation and Graceful Degradation of Control System Performance by Task Reallocation and Period Adjustment (Abstract)

Kang G. Shin, The University of Michigan

Charles Meissner, The University of Michigan

pp. 0029

PDF

Session 2: Scheduling

Static-Priority Scheduling of Multiframe Tasks (Abstract)

Sanjoy K. Baruah, The University of Vermont

Deji Chen, The University of Texas at Austin

Aloysius Mok, The University of Texas at Austin

pp. 0038

PDF

An Approach to Task Attribute Assignment for Uniprocessor Systems (Abstract)

I. Bate, University of York

A. Burns, University of York

pp. 0046

PDF

Rate Monotonic Scheduling of Real-Time Control Systems with the Minimum Number of Priority Levels (Abstract)

R. Cayssials, Universidad Nacional del Sur / CONICET

J. Orozco, Universidad Nacional del Sur / CONICET

J. Santos, Universidad Nacional del Sur / CONICET

R. Santos, Universidad Nacional del Sur / CONICET

pp. 0054

PDF

Handling Sporadic Tasks in Off-line Scheduled Distributed Real-Time Systems (Abstract)

Damir Isovic

Gerhard Fohler

pp. 0060

PDF

Session 3: Languages and Timing Analysis

Worst-Case Execution Times and Schedulability Analysis of Statecharts Models (Abstract)

Edwin Erpenbach

Peter Altenbernd

pp. 0070

PDF

Time-Constrained Sorting - A Comparison of Different Algorithms (Abstract)

Peter Puschner

Alan Burns

pp. 0078

PDF

Implementing Mode Changes with Shared Resources in Ada (Abstract)

Jorge Real

Andy Wellings

pp. 0086

PDF

Session 5: Formal Methods

Splitting Reachability Analysis in Hybrid Automata (Abstract)

P. Boisieau

O. Roux

pp. 0098

PDF

Timed Automaton Models for Simple Programmable Logic Controllers (Abstract)

Angelika Mader, University of Nijmegen

Hanno Wupper, University of Nijmegen

pp. 0106

PDF

Formally Specified Monitoring of Temporal Properties (Abstract)

Moonjoo Kim, University of Pennsylvania

Mahesh Viswanathan, University of Pennsylvania

Hanêne Ben-Abdallah, University of Pennsylvania

Sampath Kannan, University of Pennsylvania

Insup Lee, University of Pennsylvania

Oleg Sokolsky, University of Pennsylvania

pp. 0114

PDF

Experiments with Parametric Verification of Real-Time Systems (Abstract)

R.F. Lutje Spelberg, Delft University of Technology

R.C.M. de Rooij, Delft University of Technology

W.J. Toetenel, Delft University of Technology

pp. 0123

PDF

Session 6: Invited Talk

Automotive Electronics (Abstract)

H. Kopetz, Technical University of Vienna

pp. 0132

PDF

Session 7: Automotive and Distributed Systems

A Comparison of Fixed-Priority and Static Cyclic Scheduling for Distributed Automotive Control Applications (Abstract)

Henrik Lonn, Chalmers University of Technology

Jakob Axelsson, Volvo Technological Development

pp. 0142

PDF

Cluster Simulation { Support for Distributed Development of Hard Real-Time Systems using TDMA-Based Communication (Abstract)

Thomas M. Galla

Roman Pallierer

pp. 0150

PDF

Distributed Real-Time Task Monitoring In The Safety-Critical System Melody (Abstract)

pp. 0158

PDF

Session 8: Real-Time Communication

Protocol for Wireless Real-Time Systems (Abstract)

pp. 0168

PDF

Adding Local Priority-based Dispatching Mechanisms to P-NET Networks: A Fixed Priority Approach (Abstract)

Eduardo Tovar, Polytechnic Institute of Porto

Francisco Vasques, University of Porto

Alan Burns, University of York,

pp. 0175

PDF

Finding the Minimum Available Transmission Time for the Timed Token Medium Access Control Protocol (Abstract)

S. Zhang

E. Lee

A. Burns

H. Yang

pp. 0185

PDF

Adaptive Dissemination of Data in Time-Critical Asymmetric Communication Environments (Abstract)

Jesus Fernandez-Conde, University of Massachusetts

Krithi Ramamritham, University of Massachusetts

pp. 0195

PDF

Session 10: Hardware

Scheduling Coprocessor for Enhanced Least-Laxity-First Scheduling in Hard Real-Time Systems (Abstract)

pp. 0208

PDF

Hardware-Software Coverification of Concurrent Embedded Real-Time Systems (Abstract)

Pao-Ann Hsiung, Academia Sinica

pp. 0216

PDF

Session 11: QoS and Multimedia

On the Correctness of Multimedia Applications (Abstract)

pp. 0226

PDF

Scheduling Real-Time Multi-Task Applications in an Open System (Abstract)

Giuseppe Lipari, Scuola Superiore S. Anna, Pisa

Giorgio Buttazzo, Scuola Superiore S. Anna, Pisa

pp. 0234

PDF

QoS Guarantee using Probabilistic Deadlines (Abstract)

Luca Abeni

Giorgio Buttazzo

pp. 0242

PDF

Session 12: Reliability

Fault Tolerant Real-Time Global Scheduling on Multiprocessors (Abstract)

Frank Liberato, University of Pittsburgh

Sylvain Lauzac, University of Pittsburgh

Rami Melhem, University of Pittsburgh

Daniel Mossé, University of Pittsburgh

pp. 0252

PDF

Shadowing-based Crash Recovery Schemes for Real-Time Database Systems (Abstract)

LihChyun Shu, Chang Jung University

Huey-Min Sun, Chang Jung University

Tei-Wei Kuo, National Chung Cheng University

pp. 0260

PDF

Session 13: Overload Scheduling

Dynamic Value-Density for Scheduling Real-Time Systems (Abstract)

Saud A. Aldarmi, The University of York

Alan Burns, The University of York

pp. 0270

PDF

Value-Density Algorithms to Handle Transient Overloads in Scheduling (Abstract)

Daniel Mossé, University of Pittsburgh

Martha E. Pollack, Inference, Inc.

pp. 0278

PDF

Performance of Algorithms for Scheduling Real-Time Systems with Overrun and Overload (Abstract)

Mark K. Gardner, University of Illinois at Urbana-Champaign

Jane W.S. Liu, University of Illinois at Urbana-Champaign

pp. 0287

PDF

Index of Authors (Abstract)

pp. 0297

PDF