Simulation relations for fault-tolerance

• Published in: Formal aspects of computing Vol. 29; no. 6; pp. 1013 - 1050
• Main Authors: Demasi, Ramiro, Castro, Pablo F., Maibaum, Thomas S. E., Aguirre, Nazareno
• Format: Journal Article
• Language: English
• Published: London Springer London 01.11.2017; Association for Computing Machinery
• Subjects: Computer Science; Computer simulation; Fault tolerance; Faults; Masking; Math Applications in Computer Science; Original Article; Properties (attributes); Safety; Simulation; Theory of Computation; Fault-tolerance; Formal specification; Program verification; Simulation relations

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; intui...