Title :
A compositional proof theory for fault tolerant real-time distributed systems
Author :
Schepers, Henk ; Gerth, Rob
Author_Institution :
Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
Abstract :
A compositional network proof theory for specifying and verifying fault tolerant real-time distributed systems is presented. Important in such systems is the failure hypothesis that stipulates the class of failures that must be tolerated. In the formalism presented, the failure hypothesis of a system is represented by a predicate which expresses how faults might transform the behavior of the system. The approach is illustrated by investigating a triple modular redundant system
Keywords :
distributed processing; fault tolerant computing; formal specification; program verification; real-time systems; reliability; software fault tolerance; theorem proving; compositional proof theory; failure hypothesis; fault tolerant real-time distributed systems; predicate; triple modular redundant system; Aerospace control; Aircraft; Condition monitoring; Control systems; Distributed computing; Fault tolerant systems; Hospitals; Mathematics; Patient monitoring; Real time systems;
Conference_Titel :
Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on
Conference_Location :
Princeton, NJ
Print_ISBN :
0-8186-4310-2
DOI :
10.1109/RELDIS.1993.393475
