Measuring Masking Fault-Tolerance
| Title | Measuring Masking Fault-Tolerance |
| Publication Type | Book Chapter |
| Year of Publication | 2019 |
| Authors | Castro, PF, D'Argenio, PR, Demasi, R, Putruele, L |
| Editor | Vojnar, T, Zhang, L |
| Book Title | Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II |
| Series Title | Lecture Notes in Computer Science |
| Volume | 11428 |
| Pagination | 375–392 |
| Publisher | Springer |
| 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 semimetric. We have implemented our approach in a prototype tool that automatically computes 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. |
| URL | https://doi.org/10.1007/978-3-030-17465-1_21 |
| DOI | 10.1007/978-3-030-17465-1_21 |
PDF (Full text):
