A compositional proof theory for fault tolerant real-time distributed systems

H.J.J.H. Schepers, R.T. Gerth

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993)
PublisherInstitute of Electrical and Electronics Engineers
Pages34-43
Number of pages10
ISBN (Print)0-8186-4310-2
DOIs
Publication statusPublished - 1993

Fingerprint

Dive into the research topics of 'A compositional proof theory for fault tolerant real-time distributed systems'. Together they form a unique fingerprint.

Cite this