Journal article
Simulation relations for fault-tolerance
Abstract
We present a formal characterization of fault-tolerant behaviors of computing systems via simulation relations. This formalization makes use of variations of standard simulation relations in order to compare the executions of a system that exhibits faults with executions where no faults occur; intuitively, the latter can be understood as a specification of the system and the former as a fault-tolerant implementation. By employing variations of …
Authors
Demasi R; Castro PF; Maibaum TSE; Aguirre N
Journal
Formal Aspects of Computing, Vol. 29, No. 6, pp. 1013–1050
Publisher
Association for Computing Machinery (ACM)
Publication Date
November 2017
DOI
10.1007/s00165-017-0426-2
ISSN
0934-5043