13. ECRTS 2001: Delft, The Netherlands

13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1221-6 BibTeX

Scheduling I

Jorge Real, Alfons Crespo:
Offsets for Scheduling Mode Changes. 3-10
Electronic Edition (link) BibTeX
Guillem Bernat, Alan Burns:
Three Obstacles to Flexible Scheduling. 11-18
Electronic Edition (link) BibTeX
Sorin Manolache, Petru Eles, Zebo Peng:
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. 19-
Electronic Edition (link) BibTeX

Worst-Case Execution Time Analysis

Raimund Kirner, Peter P. Puschner:
Transformation of Path Information for WCET Analysis during Compilation. 29-36
Electronic Edition (link) BibTeX
Antoine Colin, Isabelle Puaut:
A Modular & Retargetable Framework for Tree-Based WCET Analysis. 37-44
Electronic Edition (link) BibTeX
Peter P. Puschner, Guillem Bernat:
WCET Analysis of Reusable Portable Code. 45-
Electronic Edition (link) BibTeX

Scheduling II

Enrico Bini, Giorgio C. Buttazzo, Giuseppe Buttazzo:
A Hyperbolic Bound for the Rate Monotonic Algorithm. 59-66
Electronic Edition (link) BibTeX
José María López, José Luis Díaz, Daniel F. García:
Minimum and Maximum Utilization Bounds for Multiprocessor RM Scheduling. 67-75
Electronic Edition (link) BibTeX
James H. Anderson, Anand Srinivasan:
Mixed Pfair/ERfair Scheduling of Asynchronous Periodic Tasks. 76-
Electronic Edition (link) BibTeX

Communications

Christos Drosos, M. Zayadine, Dimitris Metafas:
Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller. 89-94
Electronic Edition (link) BibTeX
Ian Broster, Alan Burns:
Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. 95-102
Electronic Edition (link) BibTeX
Luís Miguel Pinho, Francisco Vasques:
Timing Analysis of Reliable Real-Time Communication in CAN Networks. 103-116
Electronic Edition (link) BibTeX

Design

Mesfin Belachew, R. K. Shyamasundar:
MSC+: From Requirement to Prototyped Systems. 117-124
Electronic Edition (link) BibTeX
Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez, J. M. Drake Moyano:
MAST: Modeling and Analysis Suite for Real Time Applications. 125-134
Electronic Edition (link) BibTeX
Fernando Jiménez-Fraustro, Éric Rutten:
A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. 135-142
Electronic Edition (link) BibTeX
Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea Ornstein, Giuseppe Psaila:
Partitioning of Hierarchical Automation Systems. 143-
Electronic Edition (link) BibTeX

Formal Systems

Brian Nielsen, Arne Skou:
Test Generation for Time Critical Systems: Tool and Case Study. 155-162
Electronic Edition (link) BibTeX
A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman:
Formal Platform-Independent Design of Real-Time Systems. 163-170
Electronic Edition (link) BibTeX
George Logothetis, Klaus Schneider:
A New Approach to the Specification and Verification of Real-Time Systems. 171-
Electronic Edition (link) BibTeX

Kernels

M. D. Bennett, Neil C. Audsley:
Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. 183-190
Electronic Edition (link) BibTeX
Antoine Colin, Isabelle Puaut:
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. 191-198
Electronic Edition (link) BibTeX
Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo:
A New Kernel Approach for Modular Real-Time Systems Development. 199-
Electronic Edition (link) BibTeX

Scheduling III

George M. de A. Lima, Alan Burns:
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 209-216
Electronic Edition (link) BibTeX
Tei-Wei Kuo, Ji-Shin Rao, Jun Wu, Victor C. S. Lee:
Real-Time Disk Scheduling for Block-Stripping I2O RAID. 217-224
Electronic Edition (link) BibTeX
Hakan Aydin, Rami G. Melhem, Daniel Mossé, Pedro Mejía-Alvarez:
Determining Optimal Processor Speeds for Periodic Real-Time Tasks with Different Power Characteristics. 225-232
Electronic Edition (link) BibTeX
Luís Almeida, José Alberto Fonseca:
Analysis of a Simple Model for Non-Preemptive Blocking-Free Scheduling. 233-
Electronic Edition (link) BibTeX