The Community for Technology Leaders
2012 24th Euromicro Conference on Real-Time Systems (2000)
Stockholm, Sweden
June 19, 2000 to June 21, 2000
ISSN: 1068-3070
ISBN: 0-7695-0734-4
TABLE OF CONTENTS

Reviewers (PDF)

pp. xiii
Keynote Speech, Chair: Anders Törne
Session 2: Scheduling I, Chair: Eduardo Tovar

Worst-Case Utilization Bound for EDF Scheduling on Real-Time Multiprocessor Systems (Abstract)

J.L. Díaz , University of Oviedo
M. García , University of Oviedo
J.M. López , University of Oviedo
D.F. García , University of Oviedo
pp. 25

Early-Release Fair Scheduling (Abstract)

Anand Srinivasan , University of North Carolina at Chapel Hill
James H. Anderson , University of North Carolina at Chapel Hill
pp. 35
Session 3: Real-Time Databases, Chair: Martin Adelantado

Designing Inter-Class Concurrency Control Strategies for Real-Time Database Systems with Mixed Transactions (Abstract)

Kam-yiu Lam , City University of Hong Kong
Tony S.H. Lee , City University of Hong Kong
Tei-Wei Kuo , National Chung Cheng University
pp. 47

Concurrency Control in a Multiprocessor Real-Time Database System (Abstract)

Hsin-Chia Hsih , National Chung Cheng University
Tei-Wei Kuo , National Chung Cheng University
pp. 55

An Adaptable Security Manager for Real-Time Transactions (Abstract)

Sang H. Son , University of Virginia
Robert Zimmerman , University of Virginia
Jorgen Hansson , University of Virginia and Linkoping University
pp. 63
Session 4: Timing Analysis, Chair: Karl-Erik Årzén

Portable Worst-Case Execution Time Analysis Using Java Byte Code (Abstract)

Andy Wellings , University of York
Guillem Bernat , University of York
Alan Burns , University of York
pp. 81

Predicting Computation Time for Advanced Processor Architectures (Abstract)

A. Burns , University of York
S. Edgar , University of York
pp. 89
Session 6: Real-Time Object-Oriented Design, Chair: Horst Wedde
Session 8: Scheduling and Control, Chair: Jan Wikander

Elastic Feedback Control (Abstract)

Marco Caccamo , Scuola Superiore S. Anna
Giorgio Buttazzo , Scuola Superiore S. Anna
Lui Sha , University of Illinois at Urbana-Champaign
pp. 121

On Adaptive Control Techniques in Real-Time Resource Allocation (Abstract)

Luca Abeni , University of Pavia
Luigi Palopoli , University of Pavia
Giorgio Buttazzo , University of Pavia
pp. 129
Session 9: Real-Time Model Checking, Chair: Hans Toetenel

Model-Checking Real-Time Control Programs (Abstract)

Kim G. Larsen , Aalborg University
Chris B. Thomasen , Aalborg University
Paul Pettersson , Aalborg University
Morten Laursen , Aalborg University
Steffen K. Mortensen , Aalborg University
Torsten K. Iversen , Aalborg University
Kåre J. Kristoffersen , Aalborg University
Rune G. Madsen , Aalborg University
pp. 147

Towards Validated Real-Time Software (Abstract)

Jacques Pulou , France T?l?com - Centre National d'Etudes des T?l?communications
Michel Poize , France T?l?com - Centre National d'Etudes des T?l?communications
Valérie Bertin , France T?l?com - Centre National d'Etudes des T?l?communications
Joseph Sifakis , VERIMAG - Centre Equation
pp. 157

Modeling and Analysis of a Commercial Field Bus Protocol (Abstract)

Wang Yi , Uppsala University
Alexandre David , Uppsala University
pp. 165
Session 10: Clock Synchronization, Chair: Daniela Rosu

Harmonious Internal Clock Synchronization (Abstract)

Wolfgang Freund , University of Dortmund
Horst F. Wedde , University of Dortmund
pp. 175

Clock Synchronization for Wireless Local Area Networks (Abstract)

Edgar Nett , University of Magdeburg
Reiner Frings , GMD - German National Research Center for Information Technology
Michael Mock , GMD - German National Research Center for Information Technology
Spiro Trikaliotis , GMD - German National Research Center for Information Technology
pp. 183
Session 11: Scheduling II, Chair: Giorgio Butazzo

Schedulability Analysis for Systems with Data and Control Dependencies (Abstract)

Petru Eles , Link?ping University
Zebo Peng , Link?ping University
Paul Pop , Link?ping University
pp. 201

Non Pre-Emptive Scheduling of Messages on SMTV Token-Passing Networks (Abstract)

Eduardo Tovar , Polytechnic Institute of Porto
Francisco Vasques , University of Porto
pp. 209

Tolerating Faults while Maximizing Reward (Abstract)

Hakan Aydin , University of Pittsburgh
Daniel Mossé , University of Pittsburgh
Rami Melhem , University of Pittsburgh
pp. 219
Session 13: Scheduling III, Chair: Peter Altenbernd

The Implementation of Hierarchical Schedulers in the RED-Linux Scheduling Framework (Abstract)

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

Scheduling Heterogeneous Multimedia Servers: Different QoS for Hard, Soft and Non Real-Time Clients (Abstract)

J. Orozco , Universidad Nacional del Sur/CONICET
J. Santos , Universidad Nacional del Sur/CONICET
R.M. Santos , Universidad Nacional del Sur/CONICET
pp. 247
Session 14: Real-Time System Development, Chair: Anders Ravn

Using Deterministic Replay for Debugging of Distributed Real-Time Systems (Abstract)

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

Author Index (PDF)

pp. 281
82 ms
(Ver 3.1 (10032016))