Real-Time Programming (WRTP '92) : Preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Summary

The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.

Selected papers: Time concepts in real-time software
A temporal logic approach to state reachability in real-time program synchronization and verification
ZAMAN, a simple language for expressing timing constraints
Reliability and efficiency aspects of real-time exception handling
A generalized approach to program generation for process control applications
Prototyping real-time engineering systems using Hatley & Pirbhai's requirement model
A behavioral analysis and modeling method for real-time systems
Heterogeneous prototypes in concurrent engineering of embedded software
Deadline monotonic scheduling theory
Specification of real-time systems for protection tasks in automated high-speed transportation systems
Implementing mode changes and fault recovery for hard real-time systems in ada
Towards an environment for complex real-time control systems developing
The PMOS real-time kernel
A communication model for cooperative real-time systems
Relative correctness of real-time systems
Applying object-oriented principles in control-system design
Real-time toolbox for PC-MatLab
How to ensure software quality for real-time systems
Some results on hard real-time scheduling
Architectural support for predictability in hard real-time systems
Table of Contents provided by Publisher. All Rights Reserved.