MaskD : a tool for measuring masking fault-tolerance
Fil: Putruele, Luciano. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina.
Main Authors: | , , , |
---|---|
Other Authors: | |
Format: | publishedVersion |
Language: | spa eng |
Published: |
2023
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/546727 https://doi.org/10.1007/978-3-030-99524-9_22 |
_version_ | 1801211320340578304 |
---|---|
author | Putruele, Luciano Demasi, Ramiro Adrián Castro, Pablo Francisco D'Argenio, Pedro Ruben |
author2 | https://orcid.org/0000-0002-3063-4704 |
author_facet | https://orcid.org/0000-0002-3063-4704 Putruele, Luciano Demasi, Ramiro Adrián Castro, Pablo Francisco D'Argenio, Pedro Ruben |
author_sort | Putruele, Luciano |
collection | Repositorio Digital Universitario |
description | Fil: Putruele, Luciano. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina. |
format | publishedVersion |
id | rdu-unc.546727 |
institution | Universidad Nacional de Cordoba |
language | spa eng |
publishDate | 2023 |
record_format | dspace |
spelling | rdu-unc.5467272023-08-31T13:16:52Z MaskD : a tool for measuring masking fault-tolerance Putruele, Luciano Demasi, Ramiro Adrián Castro, Pablo Francisco D'Argenio, Pedro Ruben https://orcid.org/0000-0002-3063-4704 https://orcid.org/0000-0003-1651-624X https://orcid.org/0000-0002-5835-4333 https://orcid.org/0000-0002-8528-9215 Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool publishedVersion Fil: Putruele, Luciano. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina. Fil: Putruele, Luciano. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: Demasi, Ramiro Adrián. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Demasi, Ramiro Adrián. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. 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. Fil: Castro, Pablo Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: D'Argenio, Pedro Ruben. Saarland University. Saarland Informatics Campus; Germany. 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. 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). publishedVersion Fil: Putruele, Luciano. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina. Fil: Putruele, Luciano. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: Demasi, Ramiro Adrián. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Demasi, Ramiro Adrián. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. 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. Fil: Castro, Pablo Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: D'Argenio, Pedro Ruben. Saarland University. Saarland Informatics Campus; Germany. 2023-03-21T15:32:06Z 2023-03-21T15:32:06Z 2022-03-30 article http://hdl.handle.net/11086/546727 https://doi.org/10.1007/978-3-030-99524-9_22 spa eng Atribución 4.0 Internacional http://creativecommons.org/licenses/by/4.0/ Electrónico y/o Digital e-ISSN: 1611-3349 ISSN: 0302-9743 ISBN: 978-3-030-99523-2 e-ISBN: 978-3-030-99524-9 |
spellingShingle | Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool Putruele, Luciano Demasi, Ramiro Adrián Castro, Pablo Francisco D'Argenio, Pedro Ruben MaskD : a tool for measuring masking fault-tolerance |
title | MaskD : a tool for measuring masking fault-tolerance |
title_full | MaskD : a tool for measuring masking fault-tolerance |
title_fullStr | MaskD : a tool for measuring masking fault-tolerance |
title_full_unstemmed | MaskD : a tool for measuring masking fault-tolerance |
title_short | MaskD : a tool for measuring masking fault-tolerance |
title_sort | maskd a tool for measuring masking fault tolerance |
topic | Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool |
url | http://hdl.handle.net/11086/546727 https://doi.org/10.1007/978-3-030-99524-9_22 |
work_keys_str_mv | AT putrueleluciano maskdatoolformeasuringmaskingfaulttolerance AT demasiramiroadrian maskdatoolformeasuringmaskingfaulttolerance AT castropablofrancisco maskdatoolformeasuringmaskingfaulttolerance AT dargeniopedroruben maskdatoolformeasuringmaskingfaulttolerance |