Real-time programming (WRTP'92) : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992

Author(s)

Bibliographic Information

Real-time programming (WRTP'92) : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992

edited by L. Boullart and J.A. de la Puente

Published for the International Federation of Automatic Control by Pergamon Press, 1992

1st ed

Available at  / 2 libraries

Search this Book/Journal

Note

Includes bibliographical references

Description and Table of Contents

Description

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

Table of Contents

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.

by "Nielsen BookData"

Details

Page Top