Limited Offer
Real-Time Programming 1992
- 1st Edition - November 23, 1992
- Editors: J.A. De La Puente, L. Boullart
- Language: English
- Paperback ISBN:9 7 8 - 0 - 0 8 - 0 4 1 8 9 4 - 0
- eBook ISBN:9 7 8 - 1 - 4 8 3 2 - 9 7 8 9 - 7
The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteThe 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.
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.
- No. of pages: 292
- Language: English
- Edition: 1
- Published: November 23, 1992
- Imprint: Pergamon
- Paperback ISBN: 9780080418940
- eBook ISBN: 9781483297897
JD
J.A. De La Puente
Affiliations and expertise
E.T.S.I. Telecomunicación, Universidad Politécnica de Madrid, SpainLB
L. Boullart
Affiliations and expertise
University of Ghent, Belgium