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

H.J.J.H. Schepers; R.T. Gerth

doi:10.1109/RELDIS.1993.393475

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

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

Department of Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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-2	Engels
Titel	Proceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993)
Uitgeverij	Institute of Electrical and Electronics Engineers
Pagina's	34-43
Aantal pagina's	10
ISBN van geprinte versie	0-8186-4310-2
DOI's	https://doi.org/10.1109/RELDIS.1993.393475
Status	Gepubliceerd - 1993

Toegang tot document

10.1109/RELDIS.1993.393475

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

@inproceedings{6338edf5e5bc43da91c8aef987ac6af7,

title = "A compositional proof theory for fault tolerant real-time distributed systems",

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.",

author = "H.J.J.H. Schepers and R.T. Gerth",

year = "1993",

doi = "10.1109/RELDIS.1993.393475",

language = "English",

isbn = "0-8186-4310-2",

pages = "34--43",

booktitle = "Proceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

A compositional proof theory for fault tolerant real-time distributed systems. / Schepers, H.J.J.H.; Gerth, R.T.

Proceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993). Institute of Electrical and Electronics Engineers, 1993. blz. 34-43.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

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

AU - Schepers, H.J.J.H.

AU - Gerth, R.T.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

U2 - 10.1109/RELDIS.1993.393475

DO - 10.1109/RELDIS.1993.393475

M3 - Conference contribution

SN - 0-8186-4310-2

SP - 34

EP - 43

BT - Proceedings of the 12th Symposium on Reliable Distributed Systems (Princeton NJ, USA, October 6-8, 1993)

PB - Institute of Electrical and Electronics Engineers

ER -