The Community for Technology Leaders
2012 24th Euromicro Conference on Real-Time Systems (2001)
Delft, The Netherlands
June 13, 2001 to June 15, 2001
ISBN: 0-7695-1221-6
TABLE OF CONTENTS

Conference Chairs (PDF)

pp. viii

Reviewers (PDF)

pp. ix
Session 1: Scheduling I

Offsets for Scheduling Mode Changes (Abstract)

Alfons Crespo , Technical University of Valencia
Jorge Real , Technical University of Valencia
pp. 0003

Three Obstacles to Flexible Scheduling (Abstract)

Alan Burns , University of York
Guillem Bernat , University of York
pp. 0011

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

Sorin Manolache , Linkoping University
Zebo Peng , Linkoping University
Petru Eles , Linkoping University
pp. 0019
Session 2: Worst-Case Execution Time Analysis

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

Peter Puschner , Technische Universitat Wien
Raimund Kirner , Technische Universitat Wien
pp. 0029

WCET Analysis of Reusable Portable Code (Abstract)

Peter Puschner , Technische Universitat Wien
Guillem Bernat , University of York
pp. 0045
Session 3: Keynote Address
Session 5: Scheduling II

A Hyperbolic Bound for the Rate Monotonic Algorithm (Abstract)

Giuseppe Buttazzo , University of Pisa
Giorgio Buttazzo , University of Pavia
Enrico Bini , Scuola Superiore S. Anna
pp. 0059

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

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

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

Anand Srinivasan , University of North Carolina Chapel Hill
James H. Anderson , University of North Carolina Chapel Hill
pp. 0076
Session 6: Communications

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

D. Metafas , INTRACOM S.A., Hellenic Telecommunications and Electronics Industry
M. Zayadine , INTRACOM S.A., Hellenic Telecommunications and Electronics Industry
C. Drosos , INTRACOM S.A., Hellenic Telecommunications and Electronics Industry
pp. 0089

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
Session 8: Design

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

J.M. Drake Moyano , Universidad de Cantabria
J.J. Gutiérrez García , Universidad de Cantabria
M. González Harbour , Universidad de Cantabria
J.C. Palencia Gutiérrez , Universidad de Cantabria
pp. 0125

Partitioning of Hierarchical Automation Systems (Abstract)

Giuseppe Psaila , Universit? degli Studi di Bergamo
Andrea Ornstein , Politecnico di Milano
Judit Szanto , CESI Centro Elettrotecnico Sperimentale Italiano
Stefano Crespi-Reghizzi , Politecnico di Milano
Francesco Maestri , CESI Centro Elettrotecnico Sperimentale Italiano
Emanuele Ciapessoni , CESI Centro Elettrotecnico Sperimentale Italiano
pp. 0143
Session 9: Formal Systems

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

Arne Skou , Aalborg University
Brian Nielsen , Aalborg University
pp. 0155

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

J. Hooman , University of Nijmegen
D.K. Hammer , Eindhoven University of Technology
O. Van Roosmalen , Eindhoven University of Technology
A. Sintoski , Eindhoven University of Technology
pp. 0163

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

K. Schneider , University of Karlsruhe
G. Logothetis , University of Karlsruhe
pp. 0171
Session 10: Kernels

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

N.C. Audsley , Real-Time Systems Research Group
M.D. Bennett , Real-Time Systems Research Group
pp. 0183

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

Isabelle Puaut , IRISA, Campus de Beaulieu
Antoine Colin , IRISA, Campus de Beaulieu
pp. 0191

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

Luca Abeni , Scuola Superiore S. Anna
Massimiliano Giorgi , Scuola Superiore S. Anna
Giorgio Buttazzo , University of Pavia
Paolo Gai , Scuola Superiore S. Anna
pp. 0199
Session 11: Scheduling III

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

Victor C. S. Lee , City University of Hong Kong
Tei-Wei Kuo , National Taiwan University
Ji-Shin Rao , National Chung Cheng University
Jun Wu , National Chung Cheng University
pp. 0217

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

Daniel Mossé , University of Pittsburgh
Pedro Mejía-Alvarez , CINVEST AV-IPN. Seccion de Computacion
Hakan Aydin , University of Pittsburgh
Rami Melhem , University of Pittsburgh
pp. 0225

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

Author Index (PDF)

pp. 0241
98 ms
(Ver )