The Community for Technology Leaders
2012 24th Euromicro Conference on Real-Time Systems (1999)
York, England
June 9, 1999 to June 11, 1999
ISBN: 0-7695-0240-7
TABLE OF CONTENTS

Conference Chairs (Abstract)

pp. x

Program Committee (Abstract)

pp. xi

Reviewers (Abstract)

pp. xii
Session 1: Real-Time and Control

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

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

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

G. Beccari , Universit? di Parma
F. Zanichelli , Universit? di Parma
S. Caselli , Universit? di Parma
M. Reggiani , Universit? di Parma
pp. 0021
Session 2: Scheduling

Static-Priority Scheduling of Multiframe Tasks (Abstract)

Sanjoy K. Baruah , The University of Vermont
Aloysius Mok , The University of Texas at Austin
Deji Chen , The University of Texas at Austin
pp. 0038

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

I. Bate , University of York
A. Burns , University of York
pp. 0046

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

J. Orozco , Universidad Nacional del Sur / CONICET
R. Cayssials , Universidad Nacional del Sur / CONICET
J. Santos , Universidad Nacional del Sur / CONICET
R. Santos , Universidad Nacional del Sur / CONICET
pp. 0054
Session 3: Languages and Timing Analysis
Session 5: Formal Methods

Timed Automaton Models for Simple Programmable Logic Controllers (Abstract)

Angelika Mader , University of Nijmegen
Hanno Wupper , University of Nijmegen
pp. 0106

Formally Specified Monitoring of Temporal Properties (Abstract)

Oleg Sokolsky , University of Pennsylvania
Sampath Kannan , University of Pennsylvania
Hanêne Ben-Abdallah , University of Pennsylvania
Moonjoo Kim , University of Pennsylvania
Mahesh Viswanathan , University of Pennsylvania
Insup Lee , University of Pennsylvania
pp. 0114

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

W.J. Toetenel , Delft University of Technology
R.C.M. de Rooij , Delft University of Technology
R.F. Lutje Spelberg , Delft University of Technology
pp. 0123
Session 6: Invited Talk

Automotive Electronics (Abstract)

H. Kopetz , Technical University of Vienna
pp. 0132
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
Session 8: Real-Time Communication

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

Francisco Vasques , University of Porto
Eduardo Tovar , Polytechnic Institute of Porto
Alan Burns , University of York,
pp. 0175
Session 10: Hardware
Session 11: QoS and Multimedia

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

Giorgio Buttazzo , Scuola Superiore S. Anna, Pisa
Giuseppe Lipari , Scuola Superiore S. Anna, Pisa
pp. 0234
Session 12: Reliability

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

Daniel Mossé , University of Pittsburgh
Rami Melhem , University of Pittsburgh
Frank Liberato , University of Pittsburgh
Sylvain Lauzac , University of Pittsburgh
pp. 0252

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

LihChyun Shu , Chang Jung University
Tei-Wei Kuo , National Chung Cheng University
Huey-Min Sun , Chang Jung University
pp. 0260
Session 13: Overload Scheduling

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

Alan Burns , The University of York
Saud A. Aldarmi , The University of York
pp. 0270

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

Index of Authors (Abstract)

pp. 0297
91 ms
(Ver )