Selected papers: Time concepts in real-time software, L. Motus. A temporal logic approach to state reachability in real-time program synchronization and verification, D. Ionescu. ZAMAN, a simple language for expressing timing constraints, A. E. K. Sahraoui & D. Delfieu. Reliability and efficiency aspects of real-time exception handling, C. Feder-Andres & R. Schorr. A generalized approach to program generation for process control applications, C. K. Angelov et al. Prototyping real-time engineering systems using Hatley & Pirbhai's requirement model, D. A. Fensome. A behavioral analysis and modeling method for real-time systems, H. Gomaa. Heterogeneous prototypes in concurrent engineering of embedded software, P. Pulli & M. Heikkinen. Deadline monotonic scheduling theory, N. C. Audsley et al. Specification of real-time systems for protection tasks in automated high-speed transportation systems, K. Jopke et al. Implementing mode changes and fault recovery for hard real-time systems in ada, A. Alonso & J. A. de la Puente. Towards an environment for complex real-time control systems developing, A. Garcia & A. Crespo. The PMOS real-time kernel, P. J. Moylan. A communication model for cooperative real-time systems, C. Feder-Andres. Relative correctness of real-time systems, T. Szmuc. Applying object-oriented principles in control-system design, M. Tittus & B. Egardt. Real-time toolbox for PC-MatLab, J. Houska & B. Sladek. How to ensure software quality for real-time systems, B. Hindel. Some results on hard real-time scheduling, M. Litoiu. Architectural support for predictability in hard real-time systems, M. Colnaric & W. A. Halang.
The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.
For systems engineers and computer scientists.
- No. of pages:
- © Pergamon 1992
- 23rd November 1992
- eBook ISBN:
E.T.S.I. Telecomunicación, Universidad Politécnica de Madrid, Spain
University of Ghent, Belgium