Real-Time Systems, Volume 6

Volume 6, Number 1, 1994

• Xiaoping Yuan, Manas Saksena, Ashok K. Agrawala: A Decomposition Approach to Non-Preemptive Real-Time Scheduling. 7-35
• Jacek Blazewicz, Klaus H. Ecker: Mutliprocessor Task Scheduling with Resource Requirements. 37-53
• Shenze Chen, Donald F. Towsley: Scheduling Customers in a Non-Removal Real-time System with an Application to Disk Scheduling. 55-72
• Alan Burns, Andy J. Wellings: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. 73-114

Volume 6, Number 2, 1994

• Ken Tindell, Alan Burns, Andy J. Wellings: An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. 133-151
• Krzysztof Sacha: Real-Time Software Specification and Validation with Transnet. 153-172
• Jozef Hooman: Compositional Verification of a Distributed Real-Time Arbitration Protocol. 173-205
• Nima Homayoun, Parameswaran Ramanathan: Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-time Systems. 207-235

Volume 6, Number 3, 1994

• M. G. Rodd, S. F. Al-Rowaihi: Temporal Modeling of Real-Time Communication Protocols Based on a Process/Channel Approach. 243-262
• J. Holt, M. G. Rodd: An Architecture for Real-Time Distributed Artificial Intelligent Systems. 263-288
• Stefan Poledna: Replica Determinism in Distributed Real-Time Systems: A Brief Survey. 289-316
• Alan Garvey, Victor R. Lesser: A Survey of Research in Deliberative Real-Time Artificial Intelligence. 317-347