Real-Time Systems, Volume 10

Volume 10, Number 1, January 1996

Ammar Attoui, Michel Schneider: A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic. 5-22 BibTeX
Too-Seng Tia, Jane W.-S. Liu, Mallikarjun Shankar: Algorithms and Optimality of Scheduling Soft Aperiodic Requests in Fixed-Priority Preemptive Systems. 23-43 BibTeX
Paulo Veríssimo: Causal Delivery Protocols in Real-time Systems: A Generic Model. 45-73 BibTeX
Nicholas Malcolm, Sanjay Kamat, Wei Zhao: Real-Time Communication in FDDI Networks. 75-107 BibTeX

Saurav Chatterjee, Jay K. Strosnider: Quantitative Analysis of Hardware Support for Real-Time Operating Systems. 123-142 BibTeX
James Armstrong, Leonor Barroca: Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. 143-178 BibTeX
Marco Spuri, Giorgio C. Buttazzo: Scheduling Aperiodic Tasks in Dynamic Priority Systems. 179-210 BibTeX

Charles André, Marie-Agnés Péraldi: Predictability of a RTX2000-based Implementation. 223-244 BibTeX
Roberto Baldoni, Achour Mostéfaoui, Michel Raynal: Causal Delivery of Messages with Real-Time Data in Unreliable Networks. 245-262 BibTeX
J. Delacroix: Towards a Stable Earliest Deadline Scheduling Algorithm. 263-291 BibTeX
Ken Chen, Paul Mühlethaler: A Scheduling Algorithm for Tasks Described by Time Value Function. 293-312 BibTeX