MaskD : a tool for measuring masking fault-tolerance
Date
2022-03-30Author
Putruele, Luciano
Demasi, Ramiro Adrián
Castro, Pablo Francisco
D'Argenio, Pedro Ruben
ORCID
https://orcid.org/0000-0002-3063-4704https://orcid.org/0000-0003-1651-624X
https://orcid.org/0000-0002-5835-4333
https://orcid.org/0000-0002-8528-9215
Metadata
Show full item recordAbstract
We present MaskD, an automated tool designed to measure the level of fault-tolerance provided by software components. The tool focuses on measuring masking fault-tolerance, that is, the kind of fault-tolerance that allows systems to mask faults in such a way that they cannot be observed by the users. The tool takes as input a nominal model (which serves as a specification) and its fault-tolerant implementation, described by means of a guarded-command language, and automatically computes the masking distance between them. This value can be understood as the level of fault-tolerance provided by the implementation. The tool is based on a sound and complete framework we have introduced in previous work. We present the ideas behind the tool by means of a simple example and report experiments realized on more complex case studies.
Collections
The following license files are associated with this item: