Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties

✍ Scribed by H. Kopetz, M.G. Rodd

Publisher: Pergamon Press
Year: 1992
Tongue: English
Leaves: 140
Series: IFAC Workshop Series
Edition: 1st
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Distributed computer control is at the intersection between control engineering and computer science. Containing 22 papers, this book provides an up-to-date reference source of important issues in the design and implementation of distributed real-time computer systems.

✦ Table of Contents

Content:
IFAC WORKSHOP SERIES, Page ii
Front Matter, Page iii
Copyright, Page iv
10th IFAC WORKSHOP ON DISTRIBUTED COMPUTER CONTROL SYSTEMS 1991, Page v
WELCOME ADDRESS, Page vii, H. Kopetz
VALUE INCONSISTENCIES DUE TO TIME UNCERTAINTIES, Pages 1-6, R. de Lemos, A. Saeed, T. Anderson
A SCHEDULING ALGORITHM FOR REAL-TIME COMPUTER SYSTEMS USING TIME VALUE FUNCTIONS, Pages 7-12, K. Chen, P. Muhlethaler
QUESTIONS, Page 13
AN ARCHITECTURE FOR INCREMENTAL PROTOTYPING OF DISTRIBUTED REAL-TIME SYSTEMS, Pages 15-20, J.A. de la Puente, G. Leon, M.-A. Ruz, E.W. Sink
CONRAD - A SYSTEM FOR EVALUATING BEHAVIOURAL PROPERTIES OF EMBEDDED SOFTWARE, Pages 21-25, L. Motus, J. Vain
QUESTIONS, Page 27
VERIFICATION OF TIMING PROPERTIES IN A STATECHARTS-BASED MODEL OF REAL-TIME REACTIVE SYSTEMS, Pages 29-34, A. Sowmya, S. Ramesh
A DISTRIBUTED OFF-LINE SCHEDULER FOR DISTRIBUTED HARD REAL-TIME SYSTEMS, Pages 35-40, R. Agne
AN ASSESSMENT OF TASK EXECUTION TIME ANALYSIS, Pages 41-45, P. Puschner, A. Vrchoticky
QUESTIONS, Page 47
THE DRTEE ARCHITECTURE FOR DISTRIBUTED HARD REAL-TIME SYSTEMS, Pages 49-53, N.C. Audsley, K. Tindell, A. Burns, M.F. Richardson, A.J. Wellings
SHARED DATA CONCEPTS FOR DEDOS, Pages 55-60, P.D.V. van der Stok, A. Engel
INTEGRAL DESIGN OF HARDWARE AND OPERATING SYSTEM FOR A DCCS, Pages 61-65, A. Steininger, J. Reisinger
QUESTIONS, Page 67
PREDICTABLE INTERPROCESS COMMUNICATION FOR HARD REAL-TIME SYSTEMS1, Pages 69-74, J.A. Stankovic, K. Ramamritham, E.M. Nahum
ENFORCING REAL-TIME BEHAVIOUR ON LAN-BASED PROTOCOLS, Pages 75-80, P. Veríssimo, J. Rufino, L. Rodrigues
ISSUES AND APPROACHES TO TESTING THE TIMING PROPERTIES OF TIME-CRITICAL PROTOCOLS, Pages 81-86, Lj. Beus-Dukic, C. Grant
QUESTIONS, Page 87
MAP FOR REAL-TIME DISTRIBUTED COMPUTER CONTROL SYSTEMS, Pages 89-94, G.F. Zhao, M.G. Rodd
CONFIGURATION OF FA/MAP MODEL SYSTEM, Pages 95-100, N. Nakano, A. Inamoto, C. Okumura
FIELDBUS ARCHITECTURE FOR HARD REAL TIME APPLICATIONS, Pages 101-106, G. Ulloa, J.P. Baguet, L. Ruiz, O. Trinh
A MIXED MEDIA FIELD BUS FOR PROCESS CONTROL APPLICATIONS, Pages 107-110, J.R. Jordan
QUESTIONS, Page 111
REAL TIME CONTROL USING A DISTRIBUTED MULTI-AGENT STRUCTURE, Pages 113-116, J.T. Herd, N.D. Duffy
CLOCK SYNCHRONISATION ON A HARD REAL-TIME TOKEN RING, Pages 117-121, P. Pleinevaux
COMMUNICATION RELIABILITY IN DISTRIBUTED REAL-TIME SYSTEMS*, Pages 123-129, G. Grünsteidl, H. Kantz, H. Kopetzl
DATAFLOW-LIKE LANGUAGES FOR DESIGNING DEPENDABLE REAL-TIME CONTROL SYSTEMS, Pages 131-136, L. Strigini, A. Bondavalli, L. Simoncini
AN EXTENSIBLE LANGUAGE FOR PROGRAMMING AND CONFIGURING DCCS, Pages 137-141, I.M. MacLeod, J.E. Cohen
QUESTIONS, Page 143
AUTHOR INDEX, Page 145
KEYWORD INDEX, Pages 147-148
Published Symposia/Workshop volumes, Pages 149-150

📜 SIMILAR VOLUMES

Real-Time and Distributed Real-Time Syst

📁 Real-Time and Distributed Real-Time Systems: Theory and Applications

✍ Amitava Gupta, Anil Kumar Chandra, Peter Luksch 📂 Library 📅 2016 🏛 CRC Press 🌐 English

Digital computers have revolutionized computation and transformed how computers are used to control systems in real life, giving birth to real-time systems. Furthermore, massive developments in the communications domain have made it possible for real-time systems to perform coordinated actions ov

Distributed, Embedded and Real-time Java

📁 Distributed, Embedded and Real-time Java Systems

✍ Andy J. Wellings, Peter Dibble, David Holmes (auth.), M. Teresa Higuera-Toledano 📂 Library 📅 2012 🏛 Springer-Verlag New York 🌐 English

Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded real-time Java systems. This book is aimed primarily at researchers in real-time embedded system

Distributed, embedded and real-time Java

📁 Distributed, embedded and real-time Java systems

✍ Andy J. Wellings, Peter Dibble, David Holmes (auth.), M. Teresa Higuera-Toledano 📂 Library 📅 2012 🏛 Springer-Verlag New York 🌐 English

The Testability of Distributed Real-Time

📁 The Testability of Distributed Real-Time Systems

✍ Werner Schütz (auth.) 📂 Library 📅 1993 🏛 Springer US 🌐 English

BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system whi

Distributed Real-Time Systems: Theory an

📁 Distributed Real-Time Systems: Theory and Practice

✍ K. Erciyes 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively

Distributed Real-Time Systems: Theory an

📁 Distributed Real-Time Systems: Theory and Practice

✍ K. Erciyes 📂 Library 📅 2019 🏛 Springer 🌐 English

This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively perfor