dc.contributor.author | Putruele, Luciano | |
dc.contributor.author | Demasi, Ramiro Adrián | |
dc.contributor.author | Castro, Pablo Francisco | |
dc.contributor.author | D'Argenio, Pedro Ruben | |
dc.date.accessioned | 2023-03-21T15:32:06Z | |
dc.date.available | 2023-03-21T15:32:06Z | |
dc.date.issued | 2022-03-30 | |
dc.identifier.uri | http://hdl.handle.net/11086/546727 | |
dc.description.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. | es |
dc.description.sponsorship | This work was supported by ANPCyT PICT-2017-3894 (RAFTSys), ANPCyT PICT
2019-03134, SeCyT-UNC 33620180100354CB (ARES), and EU Grant agreement ID:
101008233 (MISSION). | en |
dc.format.medium | Electrónico y/o Digital | es |
dc.language.iso | spa | es |
dc.language.iso | eng | en |
dc.rights | Atribución 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | * |
dc.source | e-ISSN: 1611-3349 | en |
dc.source | ISSN: 0302-9743 | en |
dc.source | ISBN: 978-3-030-99523-2 | |
dc.source | e-ISBN: 978-3-030-99524-9 | |
dc.subject | Tolerancia a fallas | es |
dc.subject | Teoría de juegos estocásticos | es |
dc.subject | Herramienta de verificación | es |
dc.subject | Fault tolerance | en |
dc.subject | Stochastic game theory | en |
dc.subject | Verification tool | en |
dc.title | MaskD : a tool for measuring masking fault-tolerance | es |
dc.type | article | es |
dc.description.version | publishedVersion | en |
dc.description.fil | Fil: Putruele, Luciano. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina. | es |
dc.description.fil | Fil: Putruele, Luciano. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | es |
dc.description.fil | Fil: Demasi, Ramiro Adrián. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |
dc.description.fil | Fil: Demasi, Ramiro Adrián. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | es |
dc.description.fil | Fil: Castro, Pablo Francisco. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina. | es |
dc.description.fil | Fil: Castro, Pablo Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | es |
dc.description.fil | Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |
dc.description.fil | Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. | es |
dc.description.fil | Fil: D'Argenio, Pedro Ruben. Saarland University. Saarland Informatics Campus; Germany. | es |
dc.journal.number | 13243 | |
dc.journal.title | Lecture Notes in Computer Science | en |
dc.book.pages | 396–403 | en |
dc.book.title | Tools and Algorithms for the Construction and Analysis of Systems. | en |
dc.identifier.doi | https://doi.org/10.1007/978-3-030-99524-9_22 | en |
dc.contributor.orcid | https://orcid.org/0000-0002-3063-4704 | es |
dc.contributor.orcid | https://orcid.org/0000-0003-1651-624X | es |
dc.contributor.orcid | https://orcid.org/0000-0002-5835-4333 | es |
dc.contributor.orcid | https://orcid.org/0000-0002-8528-9215 | es |