CSDL - Proceedings E

Program Committee (PDF)

pp. xi

Reviewers (PDF)

pp. xiii

Session 1: Opening

Welcome to the Royal Institute of Technology

Keynote Speech, Chair: Anders Törne

System Architecture and Software in Future Cars

Session 2: Scheduling I, Chair: Eduardo Tovar

Scheduling Periodic Tasks on Uniform Multiprocessors (Abstract)

Sanjoy K. Baruah

pp. 7

PDF

Schedulability Analysis of Distributed Hard Real-Time Systems with Multiple-Event Synchronization (Abstract)

J.J. Gutiérrez García, Universidad de Cantabria

J.C. Palencia Gutiérrez, Universidad de Cantabria

M. González Harbour, Universidad de Cantabria

pp. 15

PDF

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

J.M. López, University of Oviedo

M. García, University of Oviedo

J.L. Díaz, University of Oviedo

D.F. García, University of Oviedo

pp. 25

PDF

Early-Release Fair Scheduling (Abstract)

James H. Anderson, University of North Carolina at Chapel Hill

Anand Srinivasan, University of North Carolina at Chapel Hill

pp. 35

PDF

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

PDF

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

Tei-Wei Kuo, National Chung Cheng University

Hsin-Chia Hsih, National Chung Cheng University

pp. 55

PDF

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

PDF

Session 4: Timing Analysis, Chair: Karl-Erik Årzén

Worst-Case Execution Times Analysis of MPEG-2 Decoding (Abstract)

pp. 73

PDF

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

Guillem Bernat, University of York

Alan Burns, University of York

Andy Wellings, University of York

pp. 81

PDF

Predicting Computation Time for Advanced Processor Architectures (Abstract)

A. Burns, University of York

S. Edgar, University of York

pp. 89

PDF

Session 5: Invited Talk, Chair: Hans Toetenel

Objections To Objects

Session 6: Real-Time Object-Oriented Design, Chair: Horst Wedde

Designing for Schedulability: Integrating Schedulability Analysis with Object-Oriented Design (Abstract)

Manas Saksena, University of Pittsburgh

Panagiota Karvelas, Concordia University

pp. 101

PDF

From Design to Implementation: Tool Support for the Development of Object-Oriented Distributed Real-Time Systems (Abstract)

Leandro Buss Becker, UFRGS

Carlos Eduardo Pereira, UFRGS

pp. 109

PDF

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

PDF

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

PDF

Integration of Off-Line Scheduling and Optimal Control (Abstract)

Henrik Rehbinder

Martin Sanfridson

pp. 137

PDF

Session 9: Real-Time Model Checking, Chair: Hans Toetenel

Model-Checking Real-Time Control Programs (Abstract)

Torsten K. Iversen, Aalborg University

Kåre J. Kristoffersen, Aalborg University

Kim G. Larsen, Aalborg University

Morten Laursen, Aalborg University

Rune G. Madsen, Aalborg University

Steffen K. Mortensen, Aalborg University

Paul Pettersson, Aalborg University

Chris B. Thomasen, Aalborg University

pp. 147

PDF

Towards Validated Real-Time Software (Abstract)

Valérie Bertin, 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

Jacques Pulou, France T?l?com - Centre National d'Etudes des T?l?communications

Joseph Sifakis, VERIMAG - Centre Equation

pp. 157

PDF

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

Alexandre David, Uppsala University

Wang Yi, Uppsala University

pp. 165

PDF

Session 10: Clock Synchronization, Chair: Daniela Rosu

Harmonious Internal Clock Synchronization (Abstract)

Horst F. Wedde, University of Dortmund

Wolfgang Freund, University of Dortmund

pp. 175

PDF

Clock Synchronization for Wireless Local Area Networks (Abstract)

Michael Mock, GMD - German National Research Center for Information Technology

Reiner Frings, GMD - German National Research Center for Information Technology

Spiro Trikaliotis, GMD - German National Research Center for Information Technology

Edgar Nett, University of Magdeburg

pp. 183

PDF

Session 11: Scheduling II, Chair: Giorgio Butazzo

Greedy Reclamation of Unused Bandwidth in Constant-Bandwidth Servers (Abstract)

Giuseppe Lipari

Sanjoy Baruah

pp. 193

PDF

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

Paul Pop, Link?ping University

Petru Eles, Link?ping University

Zebo Peng, Link?ping University

pp. 201

PDF

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

PDF

Tolerating Faults while Maximizing Reward (Abstract)

Hakan Aydin, University of Pittsburgh

Rami Melhem, University of Pittsburgh

Daniel Mossé, University of Pittsburgh

pp. 219

PDF

Session 13: Scheduling III, Chair: Peter Altenbernd

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

Yu-Chung Wang, University of California at Irvine

Kwei-Jay Lin, University of California at Irvine

pp. 231

PDF

Scheduling Algorithms for Dynamic Message Streams with Distance Constraints in TDMA Protocol (Abstract)

pp. 239

PDF

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

R.M. Santos, Universidad Nacional del Sur/CONICET

J. Santos, Universidad Nacional del Sur/CONICET

J. Orozco, Universidad Nacional del Sur/CONICET

pp. 247

PDF

Session 14: Real-Time System Development, Chair: Anders Ravn

Running-Modes of Real-Time Systems: A Case-Study with Mode-Automata (Abstract)

Florence Maraninchi, VERIMAG

Yann Rémond, VERIMAG

pp. 257

PDF

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

Henrik Thane, M?lardalen University

Hans Hansson, M?lardalen University

pp. 265

PDF

Prototyping Distributed Multimedia Systems Using Communicating Real-Time State Machines (Abstract)

Giancarlo Fortino, Universit? della Calabria

Libero Nigro, Universit? della Calabria

pp. 273

PDF

Author Index (PDF)

pp. 281