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
Scheduling I
- Sorin Manolache, Petru Eles, Zebo Peng: Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. 19-
Worst-Case Execution Time Analysis
- Raimund Kirner, Peter P. Puschner: Transformation of Path Information for WCET Analysis during Compilation. 29-36
- Antoine Colin, Isabelle Puaut: A Modular & Retargetable Framework for Tree-Based WCET Analysis. 37-44
Scheduling II
- Enrico Bini, Giorgio C. Buttazzo, Giuseppe Buttazzo: A Hyperbolic Bound for the Rate Monotonic Algorithm. 59-66
- José María López, José Luis Díaz, Daniel F. García: Minimum and Maximum Utilization Bounds for Multiprocessor RM Scheduling. 67-75
- James H. Anderson, Anand Srinivasan: Mixed Pfair/ERfair Scheduling of Asynchronous Periodic Tasks. 76-
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
- Ian Broster, Alan Burns: Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. 95-102
- Luís Miguel Pinho, Francisco Vasques: Timing Analysis of Reliable Real-Time Communication in CAN Networks. 103-116
Design
- 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
- Fernando Jiménez-Fraustro, Éric Rutten: A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. 135-142
- Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila: Partitioning of Hierarchical Automation Systems. 143-
Formal Systems
- A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman: Formal Platform-Independent Design of Real-Time Systems. 163-170
- George Logothetis, Klaus Schneider: A New Approach to the Specification and Verification of Real-Time Systems. 171-
Kernels
- M. D. Bennett, Neil C. Audsley: Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. 183-190
- Antoine Colin, Isabelle Puaut: Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. 191-198
- Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo: A New Kernel Approach for Modular Real-Time Systems Development. 199-
Scheduling III
- George M. de A. Lima, Alan Burns: An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 209-216
- Tei-Wei Kuo, Ji-Shin Rao, Jun Wu, Victor C. S. Lee: Real-Time Disk Scheduling for Block-Stripping I2O RAID. 217-224
- 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
- Luís Almeida, José Alberto Fonseca: Analysis of a Simple Model for Non-Preemptive Blocking-Free Scheduling. 233-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team