Real-Time Programming 1992
Published on 23. November 1992
Book
Paperback/Softback
292 pages
978-0-08-041894-0 (ISBN)
Description
The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
ISBN-13
978-0-08-041894-0 (9780080418940)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
J. A. de La Puente | L. Boullart
Real-Time Programming 1992
E-Book
02/2017
Elsevier
€54.95
Available for download
Persons
Content
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.