MaskD: A Tool for Measuring Masking Fault-Tolerance
| Title | MaskD: A Tool for Measuring Masking Fault-Tolerance |
| Publication Type | Book Chapter |
| Year of Publication | 2022 |
| Authors | Putruele, L, Demasi, R, Castro, PF, D'Argenio, PR |
| Editor | Fisman, D, Rosu, G |
| Book Title | Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I |
| Series Title | Lecture Notes in Computer Science |
| Volume | 13243 |
| Pagination | 396–403 |
| Publisher | Springer |
| Abstract | 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. |
| URL | https://doi.org/10.1007/978-3-030-99524-9_22 |
| DOI | 10.1007/978-3-030-99524-9_22 |
PDF (Full text):
