Message from the Program Chair

Conference Chairs (PDF)

pp. viii

Program Committee (PDF)

pp. ix

Reviewers (PDF)

pp. ix

Session 1: Scheduling I

Offsets for Scheduling Mode Changes (Abstract)

Jorge Real, Technical University of Valencia

Alfons Crespo, Technical University of Valencia

pp. 0003

PDF

Three Obstacles to Flexible Scheduling (Abstract)

Guillem Bernat, University of York

Alan Burns, University of York

pp. 0011

PDF

Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time (Abstract)

Sorin Manolache, Linkoping University

Petru Eles, Linkoping University

Zebo Peng, Linkoping University

pp. 0019

PDF

Session 2: Worst-Case Execution Time Analysis

Transformation of Path Information for WCET Analysis during Compilation (Abstract)

Raimund Kirner, Technische Universitat Wien

Peter Puschner, Technische Universitat Wien

pp. 0029

PDF

A Modular & Retargetable Framework for Tree-Based WCET Analysis (Abstract)

Antoine Colin, IRISA

Isabelle Puaut, IRISA

pp. 0037

PDF

WCET Analysis of Reusable Portable Code (Abstract)

Peter Puschner, Technische Universitat Wien

Guillem Bernat, University of York

pp. 0045

PDF

Control of Lithographic Equipment: System Architecture and Successful Conventional Software Solutions for a New High-End Waferscanner (PDF)

Session 3: Keynote Address

Dr. Robert Van der Kruk

Asm Lithography

Session 5: Scheduling II

A Hyperbolic Bound for the Rate Monotonic Algorithm (Abstract)

Enrico Bini, Scuola Superiore S. Anna

Giorgio Buttazzo, University of Pavia

Giuseppe Buttazzo, University of Pisa

pp. 0059

PDF

Minimum and Maximum Utilization Bounds for Multiprocessor RM Scheduling (Abstract)

J.M. López, University of Oviedo

J.L. Díaz, University of Oviedo

D.F. García, University of Oviedo

pp. 0067

PDF

Mixed Pfair/ERfair Scheduling of Asynchronous Periodic Tasks (Abstract)

James H. Anderson, University of North Carolina Chapel Hill

Anand Srinivasan, University of North Carolina Chapel Hill

pp. 0076

PDF

Session 6: Communications

Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller (Abstract)

C. Drosos, INTRACOM S.A., Hellenic Telecommunications and Electronics Industry

M. Zayadine, INTRACOM S.A., Hellenic Telecommunications and Electronics Industry

D. Metafas, INTRACOM S.A., Hellenic Telecommunications and Electronics Industry

pp. 0089

PDF

Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults (Abstract)

Ian Broster, University of York

Alan Burns, University of York

pp. 0095

PDF

Timing Analysis of Reliable Real-Time Communication in CAN Networks (Abstract)

Luís Miguel Pinho, Polytechnic Institute of Porto

Francisco Vasques, University of Porto

pp. 0103

PDF

Session 8: Design

MSC+: From Requirement to Prototyped Systems (Abstract)

Mesfin Belachew

R.K. Shyamasundar

pp. 0117

PDF

MAST: Modeling and Analysis Suite for Real Time Applications (Abstract)

M. González Harbour, Universidad de Cantabria

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

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

J.M. Drake Moyano, Universidad de Cantabria

pp. 0125

PDF

A Synchronous Model of IEC 61131 PLC Languages in SIGNAL (Abstract)

Fernando Jiménez-Fraustro, IRISA/INRIA

Eric Rutten, INRIA Rh?ne-Alpes

pp. 0135

PDF

Partitioning of Hierarchical Automation Systems (Abstract)

Emanuele Ciapessoni, CESI Centro Elettrotecnico Sperimentale Italiano

Francesco Maestri, CESI Centro Elettrotecnico Sperimentale Italiano

Judit Szanto, CESI Centro Elettrotecnico Sperimentale Italiano

Stefano Crespi-Reghizzi, Politecnico di Milano

Andrea Ornstein, Politecnico di Milano

Giuseppe Psaila, Universit? degli Studi di Bergamo

pp. 0143

PDF

Session 9: Formal Systems

Test Generation for Time Critical Systems: Tool and Case Study (Abstract)

Brian Nielsen, Aalborg University

Arne Skou, Aalborg University

pp. 0155

PDF

Formal Platform-Independent Design of Real-Time Systems (Abstract)

A. Sintoski, Eindhoven University of Technology

D.K. Hammer, Eindhoven University of Technology

O. Van Roosmalen, Eindhoven University of Technology

J. Hooman, University of Nijmegen

pp. 0163

PDF

A New Approach to the Specification and Verification of Real-Time Systems (Abstract)

G. Logothetis, University of Karlsruhe

K. Schneider, University of Karlsruhe

pp. 0171

PDF

Session 10: Kernels

Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems (Abstract)

M.D. Bennett, Real-Time Systems Research Group

N.C. Audsley, Real-Time Systems Research Group

pp. 0183

PDF

Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System (Abstract)

Antoine Colin, IRISA, Campus de Beaulieu

Isabelle Puaut, IRISA, Campus de Beaulieu

pp. 0191

PDF

A New Kernel Approach for Modular Real-Time Systems Development (Abstract)

Paolo Gai, Scuola Superiore S. Anna

Luca Abeni, Scuola Superiore S. Anna

Massimiliano Giorgi, Scuola Superiore S. Anna

Giorgio Buttazzo, University of Pavia

pp. 0199

PDF

Session 11: Scheduling III

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems (Abstract)

George M. de A. Lima, University of York

Alan Burns, University of York

pp. 0209

PDF

Real-Time Disk Scheduling for Block-Stripping I2O RAID (Abstract)

Tei-Wei Kuo, National Taiwan University

Ji-Shin Rao, National Chung Cheng University

Jun Wu, National Chung Cheng University

Victor C. S. Lee, City University of Hong Kong

pp. 0217

PDF

Determining Optimal Processor Speeds for Periodic Real-Time Tasks with Different Power Characteristics (Abstract)

Hakan Aydin, University of Pittsburgh

Rami Melhem, University of Pittsburgh

Daniel Mossé, University of Pittsburgh

Pedro Mejía-Alvarez, CINVEST AV-IPN. Seccion de Computacion

pp. 0225

PDF

Analysis of a Simple Model for Non-Preemptive Blocking-Free Scheduling (Abstract)

Luís Almeida, Universidade de Aveiro

José A. Fonseca, Universidade de Aveiro

pp. 0233

PDF

Author Index (PDF)

pp. 0241