Real-Time Systems, Volume 3

Volume 3, Number 1, 1991

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

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

Jack P. C. Verhoosel, Erik J. Luit, Dieter K. Hammer, E. Jansen: A Static Scheduling Algorithm for Distributed Real-Time Systems. 227-246 BibTeX
Ken Chen: A Study on the timeliness Property in Real-Time Systems. 247-273 BibTeX
Michelle C. McElvany, P. David Stotts: Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches. 275-305 BibTeX
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 BibTeX

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