Real Time Programming 1977 - 1st Edition - ISBN: 9780080220192, 9781483154589

Real Time Programming 1977

1st Edition

Proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977

Editors: C. H. Smedema
eBook ISBN: 9781483154589
Imprint: Pergamon
Published Date: 1st January 1978
Page Count: 252
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.


Real Time Programming 1977 covers the proceedings of the IFAC/IFIP Workshop, held in Eindhoven, Netherlands, on June 20-22, 1977. The book focuses on the languages, methods, and techniques in real time programming, including debugging systems, hardware, parallel programs, and multi-processor systems. The selection first discusses experience with the programming language modula; flexible approaches to process communication; and high level process control “Esprit“ and its source level debugging system “Solda“. The book then takes a look at software tools for designing and realizing distributed systems in process control and steps in implementing a parallel code executor, including system decomposition, challenge of the new hardware, and situation of real-time programming. The publication reviews software specification language for sequential processes and petri nets for proving correctness of parallel programs. Concerns include state graphs as a model for automata and petri net application to programs. The text also focuses on real-time distributed processing system using GEC 4000 series computers; integration of high-level interpretive software with microprocessor-based distributed control systems; and software approach for multi-processor systems. The selection is a vital reference for readers interested in real-time programming.

Table of Contents



Opening Address: How To Master Complexity: Decomplexing

Session I - Real-Time Programming Languages

Experience With The Programming Language Modula

A Flexible Approach To Process Communication

High Level Process Control Language ESPRIT and Its Source Level Debugging System (SOLDA)


Session II - Methods and Tools For Real-Time System Description

Compiling GAELIC, A Global Real-Time Language

A New Set of Software Tools For Designing and Realizing Distributed Systems in Process Control

Steps Towards The Implementation of A Parallel Code Executor

Petri Nets For Proving Some Correctness Properties of Parallel Programs


Session III - Multiprocessor and Distributed Real-Time Systems

A Real-Time Distributed Processing System Using GEC 4000 Series Computers

The Integration of High Level Interpretive Software with Microprocessor Based Distributed Control Systems

Software Approach For Multi-Processor Systems

Distributed Load Sharing Functions in Multi-Computer System


Session IV - Real-Time Operating Systems

Experiences in the Design and Implementation of A Structured Real-Time Operating System

Kernel Real-Time System

Generation of Dedicated Real-Time Operating Systems by Dialogue

A Methodological Approach To The Design of Real-Time Operating Systems


Session V - Real-Time Applications

Computer Implementation of Automata For Electricity Distribution Control

Real-Time Computer System For The Data Acquisition Net Control

Interactive Control of A Biomedical Manipulator


Session VI - The Estimation of the Software Development Costs

A Procedure For The Estimation of Software Development Costs


International Program Committee

List of Participants


No. of pages:
© Pergamon 1978
eBook ISBN:

About the Editor

C. H. Smedema

Ratings and Reviews