Real-Time Programming 1992

Real-Time Programming 1992

1st Edition - November 23, 1992

Write a review

  • Editors: J.A. De La Puente, L. Boullart
  • eBook ISBN: 9781483297897

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

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

Readership

For systems engineers and computer scientists.

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.

Product details

  • No. of pages: 292
  • Language: English
  • Copyright: © Pergamon 1992
  • Published: November 23, 1992
  • Imprint: Pergamon
  • eBook ISBN: 9781483297897

About the Editors

J.A. De La Puente

Affiliations and Expertise

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

L. Boullart

Affiliations and Expertise

University of Ghent, Belgium

Ratings and Reviews

Write a review

There are currently no reviews for "Real-Time Programming 1992"