Real-Time Programming 1992 - 1st Edition - ISBN: 9780080418940, 9781483297897

Real-Time Programming 1992

1st Edition

Editors: J.A. De La Puente L. Boullart
eBook ISBN: 9781483297897
Imprint: Pergamon
Published Date: 23rd November 1992
Page Count: 292
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

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.


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
eBook ISBN:

Ratings and Reviews

About the Editors

J.A. De La Puente Editor

Affiliations and Expertise

E.T.S.I. Telecomunicación, Universidad Politécnica de Madrid, Spain

L. Boullart Editor

Affiliations and Expertise

University of Ghent, Belgium