Journal: Real-Time Systems

Volume 9, Issue 3

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

Volume 9, Issue 2

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

Volume 9, Issue 1

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