Real-Time Systems 1991: Vol 3 Table of Contents

1 Pages·1991·0.23 MB·English

Table of Contents: Volume 3
Number 1
Richard A. Volz,
Lui Sha, and Dwight Wilcox
Priority Inheritance and Message Passing Communication: A Formal Treatment
A. Burns and A.J. Wellings
Global Cyclic Scheduling: A Method to Guarantee the Timing Behavior of
Distributed Real-Time Systems
Stack-Based Scheduling of Realtime Processes
Contributing Authors
Number 2
Editorial
Guest Introduction: Some Italian Research on Real-Time Systems
Giovanni Cantone
A Local Area Network Architecture for Communication in Distributed Real-
Time Systems K. Arvind, Krithi Ramamritham, and John A. Stankovic
A Hierarchical Approach to Systems with Heterogeneous Real-Time
Requirements M. Bottazzi and C. Salati
Timed High-Level Nets. . Sandro Morasca, Mauro Pezze, and Marco Trubian
Dealing with Different Time Granularities in Formal Specifications of Real-
Time Systems ...... . Edoardo Corsetti, Angelo Montanari, and Elena Ratto
Contributing Authors
Number 3
A Static Scheduling Algorithm for Distributed Real-Time Systems
J.P.C. Verhoosel, E.J. Luit, D.K. Hammer and E. Jansen
A Study on the Timeliness Property in Real-Time Systems
Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional
Branches M.C. McElvany and P. David Stotts
Performance Evaluation of Two New Disk Scheduling Algorithms for Real-Time
Systems . Shenze Chen, John A. Stankovic, James F. Kurose and Don Towsley
Contributing Authors
Number 4
Criticality and Utility in the Next Generation .... A. Burns and A.J. Wellings
Time Capsules: An Abstraction for Access to Continuous-Media Data
Ralf Guido Herrtwich
Real-Time Concurrent C: A Language for Programming Dynamic Real-Time
Systems Narain Gehani and Krithi Ramamritham
A Temporal Logic-Based Model of Event-Driven Nets Viktor Cingel
and Norbert Fristacky