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.

Guardado en:

Detalles Bibliográficos
Autores principales:	Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro Ruben
Otros Autores:	https://orcid.org/0000-0002-3063-4704
Formato:	publishedVersion article
Lenguaje:	Español Inglés
Publicado:	2023
Materias:	Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool
Acceso en línea:	http://hdl.handle.net/11086/546727 https://doi.org/10.1007/978-3-030-99524-9_22
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

id	I10-R141-11086-546727
record_format	dspace
spelling	I10-R141-11086-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
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español Inglés
topic	Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool
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
topic_facet	Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool
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.
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
format	publishedVersion article
author	Putruele, Luciano Demasi, Ramiro Adrián Castro, Pablo Francisco D'Argenio, Pedro Ruben
author_sort	Putruele, Luciano
title	MaskD : a tool for measuring masking fault-tolerance
title_short	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_sort	maskd : a tool for measuring masking fault-tolerance
publishDate	2023
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
_version_	1782013921144602624

MaskD : a tool for measuring masking fault-tolerance

Ejemplares similares