Real-Time Systems, Volume 3

Volume 3, Number 1, 1991

Richard A. Volz, Liu Sha, Dwight Wilcox: Maintaining Global Time in Futurebus+. 5-17
Alan Burns, Andy J. Wellings: Priority Inheritance and Message Passing Communication: A Formal Treatment. 19-44
Ralf Agne: global Cyclic Scheduling: A Method to Guarantee the Timing Behavior of Distributed Real-Time Systems. 45-66
Theodore P. Baker: Stack-based Scheduling of Realtime Processes. 67-99

Giovanni Cantone: Guest Introduction: Some Italian Research on Real-Time Systems. 113-114
K. Arvind, Krithi Ramamritham, John A. Stankovic: A Local Area Network Architecture for Communication in Distributed Real-Time Systems. 115-147
Marco Bottazzi, Claudio Salati: A Hierarchical Approach to Systems with Heterogeneous Real-Time Requirements. 149-163
Sandro Morasca, Mauro Pezzè, Marco Trubian: Timed High-Level Nets. 165-189
Edoardo Corsetti, Angelo Montanari, Elena Ratto: Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. 191-215

Jack P. C. Verhoosel, Erik J. Luit, Dieter K. Hammer, E. Jansen: A Static Scheduling Algorithm for Distributed Real-Time Systems. 227-246
Ken Chen: A Study on the timeliness Property in Real-Time Systems. 247-273
Michelle C. McElvany, P. David Stotts: Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches. 275-305
Shenze Chen, John A. Stankovic, James F. Kurose, Donald F. Towsley: Performance Evaluation of Two New Disk Scheduling algorithms for Real-Time Systems. 307-336

Alan Burns, Andy J. Wellings: Criticality and Utility in the Next Generation. 351-354
Ralf Guido Herrtwich: Time Capsules: An Abstraction for Access to Continuous-Media Data. 355-376
Narain H. Gehani, Krithi Ramamritham: Real-Time Concurrent C: A Language for Programming Dynamic Real-Time Systems. 377-405
Viktor Cingel, Norbert Fristacky: A Temporal Logic-Based Model of Event-Driven Nets. 407-428