Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.

Guardado en:
Detalles Bibliográficos
Autor principal: Monti, Raúl Enrique
Otros Autores: D'Argenio, Pedro Ruben
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2022
Materias:
Verificación formal
Tolerancia a fallas
Ingeniería de software
Sistemas operativos
Software
Program verification
Operating systems
Reliability
Acceso en línea:http://hdl.handle.net/11086/28655
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-28655
record_format dspace
spelling I10-R141-11086-286552023-08-31T13:19:10Z Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas Monti, Raúl Enrique D'Argenio, Pedro Ruben Verificación formal Tolerancia a fallas Ingeniería de software Sistemas operativos Software Program verification Operating systems Reliability Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física; Argentina. Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes pérdidas económicas o hasta de vidas humanas. Las fallas en el diseño del sistema, como así también aquellas fallas causadas por el entorno de ejecución, pueden llevar a un comportamiento erróneo del mismo. Los sistemas tolerantes a fallas son capaces de lidiar con la presencia de fallas y sobrellevar estas situaciones que en otros casos llevarían al mal funcionamiento de los mismos. Dar la capacidad de tolerar fallas a un sistema computacional no es sencillo y es muy propenso a introducir nuevos errores. La verificación de la corrección de estos sistemas es entonces de vital importancia. El model checking es una técnica formal que se encarga de verificar exhaustivamente que el modelo de un sistema cumpla con un conjunto de propiedades. En este trabajo se presenta un lenguaje para el modelado de sistemas tolerantes a fallas y la especificaci´on de propiedades sobre los mismos. Se provee además la herramienta de verificación Falluto2.0, construida como front-end para el model checker simbólico NuSMV, la cual utiliza el lenguaje descripto. Se analiza la simplicidad y practicidad del lenguaje como así también su corrección. Por último se observa el uso de la herramienta sobre dos casos particulares de modelado de sistemas tolerantes a fallas. Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física; Argentina. 2022-09-28T23:46:35Z 2022-09-28T23:46:35Z 2013-03 bachelorThesis http://hdl.handle.net/11086/28655 spa Attribution-NonCommercial-NoDerivatives 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Verificación formal
Tolerancia a fallas
Ingeniería de software
Sistemas operativos
Software
Program verification
Operating systems
Reliability
spellingShingle Verificación formal
Tolerancia a fallas
Ingeniería de software
Sistemas operativos
Software
Program verification
Operating systems
Reliability
Monti, Raúl Enrique
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
topic_facet Verificación formal
Tolerancia a fallas
Ingeniería de software
Sistemas operativos
Software
Program verification
Operating systems
Reliability
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
author2 D'Argenio, Pedro Ruben
author_facet D'Argenio, Pedro Ruben
Monti, Raúl Enrique
format bachelorThesis
author Monti, Raúl Enrique
author_sort Monti, Raúl Enrique
title Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
title_short Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
title_full Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
title_fullStr Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
title_full_unstemmed Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
title_sort falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
publishDate 2022
url http://hdl.handle.net/11086/28655
work_keys_str_mv AT montiraulenrique falluto20unmodelcheckerparalaverificacionautomaticadesistemastolerantesafallas
_version_ 1782014368734511104

Ejemplares similares