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

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993)
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's34-43
Aantal pagina's10
ISBN van geprinte versie0-8186-4310-2
DOI's
StatusGepubliceerd - 1993

Vingerafdruk Duik in de onderzoeksthema's van 'A compositional proof theory for fault tolerant real-time distributed systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit