Measuring masking fault-tolerance

DOI10.1007/978-3-030-17465-1_21MaRDI QIDQ6091415zbMATH OpenFDO

Authors Pablo F. Castro, P. R. D'Argenio, Ramiro Demasi, Luciano Putruele

Publication date 24 November 2023

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1811.05548

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Abstract: In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhibited by a candidate system. In practice, there are different kinds of fault-tolerance, here we restrict ourselves to the analysis of masking fault-tolerance because it is often a highly desirable goal for critical systems. Roughly speaking, a system is masking fault-tolerant when it is able to completely mask the faults, not allowing these faults to have any observable consequences for the users. We capture masking fault-tolerance via a simulation relation, which is accompanied by a corresponding game characterization. We enrich the resulting games with quantitative objectives to define the notion of masking fault-tolerance distance. Furthermore, we investigate the basic properties of this notion of masking distance, and we prove that it is a directed pseudo metric. We have implemented our approach in a prototype tool that automatically compute the masking distance between a nominal system and a fault-tolerant version of it. We have used this tool to measure the masking tolerance of multiple instances of several case studies

Recommendations

• Simulation relations for fault-tolerance
• Simulation distances
• Simulation distances
• Synthesizing masking fault-tolerant systems from deontic specifications
• Quantitative simulation games

Cited in

(5)

• How adaptive and reliable is your program?
• Squeeziness: an information theoretic measure for avoiding fault masking
• Fault masking probabilities with single and multiple signature analysis
• A framework to measure the robustness of programs in the unpredictable environment
• Quantifying masking fault-tolerance via fair stochastic games

This page was built for publication: Measuring masking fault-tolerance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091415)