Table Of Content

Table of Contents: Volumes 6 and 7 (1994) Number 6:1 Editorial Wolfgang A. Halang and John A. Stankovic A Decomposition Approach to Non-Preemptive Real-Time Scheduling Xiaoping (George) Yuan, Manas C. Saksena, and Ashok K. Agrawala Multiprocessor Task Scheduling with Resource Requirements J. Blazewicz and K. Ecker = 37 Scheduling Customers in a Non-Removal Real-Time System with an Application to Disk Scheduling ' Shenze Chen and Don Towsley 55 HRT-HOOD: A Structured Design Method for Hard Real-Time Systems A. Burns and A. J. Wellings 73 Workshop Announcement Contributing Authors Number 6:2 An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks ... . K. W. Tindell, A. Burns, and A. J. Wellings Compositional Verification of a Distributed Real-Time Arbitration Protocol Jozef Hooman Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-Time Systems Nima Homayoun and Parameswaran Ramanathan Contributing Authors Number 6:3 Temporal Modelling of Real-Time Communication Protocols Based on a Process/Channel Approach M. G. Rodd and S. F. Al-Rowaihi An Architecture for Real-Time Distributed Artificial Intelligent Systems J. Holt and M. G. Rodd Replica Determinism in Distributed Real-Time Systems: A Brief Survey Stefan Poledna A Survey of Research in Deliberative Real-Time Artificial Intelligence Alan Garvey and Victor Lesser Number 7:1 Conventional and Early Token Release Scheduling Models for the IEEE 802.5 Token Ring Shirish S. Sathaye and Jay K. Strosnider 5 Monitoring Distributed Real-Time Systems Ulrich Schmid 33 Formal Timing Analysis for Distributed Real-Time Programs Horst F. Wedde, Bogdan Korel, and Dorota M. Huizinga 57 91 Number 7:2 Guest Editor’s Introduction F. Saglietti Ordering and Timeliness Requirements of Dependable Real-Time Programs Paulo Verissimo Fundamental Issues in Testing Distributed Real-Time Systems Werner Schiitz A Retargetable Technique for Predicting Execution Time of Code Segments Marion G. Harmon, T. P. Baker, and David B. Whalley Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages Number 7:3 Special Issue: Responsive Computer Systems Guest Editor: Miroslaw Malek Guest Editor Introduction Miroslaw Malek Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems Alan A. Bertossi and Luigi V. Mancini Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems... . . Farnam Jahanian, Ragunathan Rajkumar, and Sitaram C. V. Raju Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines Yoshiaki Kakuda, Tohru Kikuno, and Kenichi Kawashima Compositional Reasoning about Responsive Systems with Limited Resources . . . . Henk Schepers Concise Paper Enhancing Fault-Tolerance in Rate-Monotonic Scheduling Yingfeng Oh and Sang H. Son