MaskD : a tool for measuring masking fault-tolerance
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.
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | publishedVersion biblioteca |
| Language: | spa eng |
| Published: |
2022-03-30
|
| Subjects: | Tolerancia a fallas, Teoría de juegos estocásticos, Herramienta de verificación, Fault tolerance, Stochastic game theory, Verification tool, |
| Online Access: | http://hdl.handle.net/11086/546727 https://doi.org/10.1007/978-3-030-99524-9_22 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|