Distributed Computer Control Systems 1991

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.