Section headings and selected papers: Time Versus Value. Value inconsistencies due to time uncertainties, R De Lemos et al. A scheduling algorithm for real-time computer systems using time value functions, K Chen & P Muhlethaler. Temporal Properties of Specifications. An architecture for incremental prototyping of distributed real-time systems, J A De La Puente et al. CONRAD - a system for evaluating behavioural properties of embedded software, L Motus & J Vain. Temporal Properties of Implementations. Verification of timing properties in a statecharts-based model of real-time reactive systems, A Sowmya & S Ramesh. Architectures for DCCS. The DRTEE architecture for distributed hard real-time systems, N C Audsley et al. Predictable Communication. Predictable interprocess communication for hard real-time systems, J A Stankovic et al. Map and Field-Bus. Fieldbus architecture for hard real time applications, G Ulloa et al. A mixed media field bus for process control applications, J R Jordan. System Issues. Real time control using a distributed multi-agent structure, J T Herd & N D Duffy. Clock synchronisation on a hard real-time token ring, P Pleinevaux. Designing DCCS. Dataflow-like languages for designing dependable real-time control systems, L Strigini et al. An extensible language for programming and configuring DCCS, I M Macleod & J E Cohen. Author index. Keyword index.
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.
For system designers.
- No. of pages:
- © Pergamon 1992
- 26th May 1992
- eBook ISBN:
Institut für Technische Informatik, Technische Universität Wien, Vienna, Austria
University of Wales, Swansea, UK