Real-Time Systems, Volume 24

Volume 24, Number 1, January 2003

José María López, Manuel García, José Luis Díaz, Daniel F. García: Utilization Bounds for Multiprocessor Rate-Monotonic Scheduling. 5-28
Kristina Lundqvist, Lars Asplund: A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. 29-54
P. D. V. van der Stok, A. H. T. Janssen-Raemaekers: Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor. 55-91
Sanjoy K. Baruah: Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks. 93-128

Alan Burns: How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. 135-151
Ramesh Chandra, Xue Liu, Lui Sha: On the Scheduling of Flexible and Reliable Real-Time Control Systems. 153-169
Byung-Kyu Choi, Dong Xuan, Riccardo Bettati, Wei Zhao, Chengzhi Li: Utilization-Based Admission Control for Scalable Real-Time Communication. 171-202
Christof Fetzer, Flaviu Cristian: Fail-Awareness: An Approach to Construct Fail-Safe Systems. 203-238
Joël Goossens: Scheduling of Offset Free Systems. 239-258

José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya: Integrating Schedulability Analysis and Design Techniques in SD. 267-302
Yann-Hang Lee, C. Mani Krishna: Voltage-Clock Scaling for Low Energy Consumption in Fixed-Priority Real-Time Systems. 303-317
Andy J. Wellings, Peter P. Puschner: Evaluating the Expressive Power of the Real-Time Specification for Java. 319-359