External Links

    Journal: Real-Time Systems

    Volume 7, Issue 3

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

    Volume 7, Issue 2

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

    Volume 7, Issue 1

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