Computer control systems are increasingly required to be highly dependable and to have deterministic timing properties. Distributed architectures have the potential to meet this challenge. The advantages of distributed computer control systems include the possibility of composing large systems out of pre-tested components with small integration effort, their well-defined fault containment properties and their capacity to make effective use of mass-produced silicon chips.
The IFAC Workshop series on Distributed Computer Control Systems (DCCS) highlights and traces the growth of key concepts in this field at their various stages of development. Theoretical and practice-oriented viewpoints receive equal emphasis and there is a creative blending of the disciplines of computer science and control engineering.
The 1998 DCCS Workshop was notable for the attention given to true real-time communication networks and protocols. The complexity of the trade-off between services, dependability mechanisms and system-level properties was highlighted, and rigorous modelling and analysis methodologies were discussed. Event-triggered and time-triggered protocols were contrasted.
Models for analysing and predicting response times in distributed systems and for predicting the effect of response-time jitter on the performance of feedback control loops were presented.
The application of formal methods to the specification and development of safety-critical control software also received much attention. Distributed object methodologies and object request brokers were also highlighted as being promising approaches for the programming of large-scale, heterogeneous distributed systems.
Applications reported included control systems for traffic lights, jet engines, automobiles, fully-automatic trains and flexible manufacturing systems.
Computer control systems are increasingly required to be highly dependable and to have deterministic timing properties. Distributed architectures have the potential to meet this challenge. The advantages of distributed computer control systems include the possibility of composing large systems out of pre-tested components with small integration effort, their well-defined fault containment properties and their capacity to make effective use of mass-produced silicon chips.
The IFAC Workshop series on Distributed Computer Control Systems (DCCS) highlights and traces the growth of key concepts in this field at their various stages of development. Theoretical and practice-oriented viewpoints receive equal emphasis and there is a creative blending of the disciplines of computer science and control engineering.
The 1998 DCCS Workshop was notable for the attention given to true real-time communication networks and protocols. The complexity of the trade-off between services, dependability mechanisms and system-level properties was highlighted, and rigorous modelling and analysis methodologies were discussed. Event-triggered and time-triggered protocols were contrasted.
Models for analysing and predicting response times in distributed systems and for predicting the effect of response-time jitter on the performance of feedback control loops were presented.
The application of formal methods to the specification and development of safety-critical control software also received much attention. Distributed object methodologies and object request brokers were also highlighted as being promising approaches for the programming of large-scale, heterogeneous distributed systems.
Applications reported included control systems for traffic lights, jet engines, automobiles, fully-automatic trains and flexible manufacturing systems.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
ISBN-13
978-0-08-043242-7 (9780080432427)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
Dipartimento di Scienze dell'Informazione, Universita Degli Studi di Milano, Italy
Department of Electrical Engineering, University of the Witwatersrand, Johannesburg, South Africa
Chapter headings and selected papers: Real-time Issues in DCCS. Setting target rotation time in profibus based real-time distributed applications (E. Tovar, F. Vasques). A distributed architecture for real-time traffic management (H. Demmou et al.). Control Systems, Communication and Scheduling. Bandwidth allocation for transmission of real-time messages in burst mode over IEEE 802.12 network (T. Kim et al.). Effect of timing jitter on distributed computer control system performance (A. Stothert, I.M. MacLeod). Formal Methods Applied to DCCS. Formal design of a concurrent control algorithm for replicated data in groupware applications (C.G.P. Perez, T.P. de Miguel M). Experiences with the application of discrete formal methods to the development of engine control software (A.J. Galloway et al.). Dependability Issues in DCCS. Approaches to designing complex dependable systems (A. Clematis et al.). Configurable time-redundant task execution for fault-tolerant real-time systems (R. Nossal, P. Puschner). Guaranteeing timeliness in safety critical real-time systems (C. Aussagues, V. David). Methodologies for DCCS Design. Application of CFSMcharts for modelling real-time and industrial embedded systems (P.S. Roop et al.). Communicating reactive state machines: design, model and implementation (S. Ramesh). Plenary Paper. A comparison of CAN and TTP (H. Kopetz). Object-Oriented Distributed Systems. Supporting software synthesis of communication infrastructures for embedded real-time applications (C. Ditze, C. Boeke). A multi-agent scheduling approach for the flexible manufacturing production systems (B. Archimede, T. Coudert). Simulation Issues in DCCS. Performance evaluation of the train communication network (J. Park, S. Lee). Author index.
