The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm

Abstract

Distributed real-time computer systems are replacing conventional control systems in many applications. Most of these systems are higly critical ones, e.g. design of a traffic flight control or an industrial process control system. In addition to the specified functional capabilities, these applications demand predictable timeliness and a high level of dependability which includes non functional attributes such as availability, reliability, safety and maintainability [4]. The systematic development of fault-tolerant real-time systems with guaranteed timeliness and dependability requires an appropriate system architecture and a rigorous design methodology.