COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Real Time Programming 1986 - 1st Edition - ISBN: 9780080343471, 9781483298047

Real Time Programming 1986

1st Edition

Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986

Editor: J. Szlanko
eBook ISBN: 9781483298047
Imprint: Pergamon
Published Date: 17th December 1986
Page Count: 135
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

Fluide: an operating environment for extensible multiprocessors, J Skubich et al. Mapping an algebraic specification onto a modula-2-program, W Ditt. Perspectives of automatic real-time program synthesis, Z Banaszak. A knowledge-presentation for diagnosis of dynamical systems, N Kumagai et al. A framework for fault tolerant design using abstract data types, M B Kelly. Digital signal processors, H Halling. A paradigm for the development of distributed systems, G M Bull et al. Development of real-time systems: specifying functional and parallel behaviour formally, M Goedicke. Rtunix - one step towards real-time unix, T Tempelmeier. Problems of real-time scheduling, D J Leigh. Formal specification of a real-time multiprogramming kernel, J Gorski. Artex - a real-time executive for distributed process control, O Pettersen. Formal specification of real-time software systems: an industrial example, J A de la Puente et al.


The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.


For all those working in the field of real-time programming.


No. of pages:
© Pergamon 1986
17th December 1986
eBook ISBN:

Ratings and Reviews

About the Editor

J. Szlanko

J. Szlanko

Affiliations and Expertise

Hungarian Academy of Sciences, Budapest, Hungary