Real-Time Systems, Volume 7

Volume 7, Number 1, 1994

Shirish S. Sathaye, Jay K. Strosnider: Conventional and Early Token Release Scheduling Models for the IEEE 802.5 Taken Ring. 5-32 BibTeX
Ulrich Schmid: Monitoring Distributed Real-Times. 33-56 BibTeX
Horst Wedde, Bogdan Korel, Dorota M. Huizinga: Formal Timing Analysis for Distributed Real-Time Programs. 57-90 BibTeX

Paulo Veríssimo: Ordering and Timeliness Requirements of Dependable Real-Time Programs. 105-128 BibTeX
Werner Schütz: Fundamental Issues in Testing Distributed Real-Time Systems. 129-157 BibTeX
Marion G. Harmon, Theodore P. Baker, David B. Whalley: A Retargetable Technique for Predicting Execution Time of Code Segments. 159-182 BibTeX
Thomas J. Marlowe, Alexander D. Stoyenko, Stephen P. Masticola, Lonnie R. Welch: Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages. 183-212 BibTeX

Special Issue: Responsive Computer Systems

Alan A. Bertossi, Luigi V. Mancini: Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems. 229-245 BibTeX
Farnam Jahanian, Ragunathan Rajkumar, Sitaram C. V. Raju: Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems. 247-273 BibTeX
Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima: Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. 275-289 BibTeX
Henk Schepers: Compositional Reasoning about Responsive Systems with Limited Resources. 291-313 BibTeX

Concise Paper

Yingfeng Oh, Sang Hyuk Son: Enhancing Fault-Tolerance in Rate-Monotonic Scheduling. 315-329 BibTeX