Real-Time Systems, Volume 9

Volume 9, Number 1, July 1995

Alan A. Bertossi, Massimo Bonometto, Luigi V. Mancini: Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. 5-29
T. M. Ghazalie, Theodore P. Baker: Aperiodic Servers in a Deadline Scheduling Environment. 31-67
Kang G. Shin, Chao-Ju Hou: Analytic Evaluation of Contention Protocols Used in Distributed Real-Time Systems. 69-107

Ping Zhou, Jozef Hooman: Formal Specification and Compositional Verification of an Atomic Broadcast Protocol. 119-145
Ken Tindell, Alan Burns, Andy J. Wellings: Analysis of Hard Real-Time Communications. 147-171
George Hassapis, John Papadopoulos: Support Software for the Development of Programmable Logic Controller Applications. 173-193

Yingfeng Oh, Sang Hyuk Son: Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems. 207-239
Wil M. P. van der Aalst, Michiel A. Odijk: Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. 241-263
Justin N. Akazan, Zoubir Mammeri: On Tasks Synchronization with the MMS Protocol. 265-287
Ruck Thawonmas, Goutam Chakraborty, Norio Shiratori: Fast Heuristic Scheduling Based on Neural Networks for Real-Time Systems. 289-304