Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas

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

Detalles Bibliográficos
Autor principal: Acosta, Araceli Natalia
Otros Autores: Aguirre, Nazareno Matías
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2023
Materias:
Teoría de la computación
Tolerancia a fallas
Métodos formales
Lógica deóntica
Theory of computation
Fault tolerance
Formal methods
Deontic logic
Model checking
Acceso en línea:http://hdl.handle.net/11086/548512
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-548512
record_format dspace
spelling I10-R141-11086-5485122023-08-31T13:17:40Z Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas Acosta, Araceli Natalia Aguirre, Nazareno Matías Teoría de la computación Tolerancia a fallas Métodos formales Lógica deóntica Theory of computation Fault tolerance Formal methods Deontic logic Model checking Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022. Fil: Acosta, Araceli Natalia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a fallas, desde etapas tempranas del proceso de desarrollo. Estas herramientas nos permiten capturar conceptos fundamentales de la tolerancia a fallas, incluyendo sus intuiciones, clasificaciones y técnicas de tolerancia, desde una mirada formal, y definir herramientas lógicas para la especificación y verificación de sistemas tolerantes a fallas. En particular, diseñamos lenguajes lógicos para la captura de la tolerancia a fallas, y traducciones de éstos a mu-cálculo, para verificación automática. In this thesis we approach fault tolerance from a formal perspective. We analyze and design formal tools for reasoning about fault-tolerant systems, mainly focusing on the early stages of the development process. The formal tools we study capture fundamental concepts of fault tolerance, including some founding intuitions, classifications, and tolerance techniques. Furthermore, we define logical tools for the specification and verification of fault-tolerant systems, in particular logical languages for expressing fault tolerance. We also construct translations from these logics into mu-calculus, for automatic verification. Fil: Acosta, Araceli Natalia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2023-08-18T14:36:46Z 2023-08-18T14:36:46Z 2022-09 bachelorThesis http://hdl.handle.net/11086/548512 spa Atribución 4.0 Internacional http://creativecommons.org/licenses/by/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 Teoría de la computación
Tolerancia a fallas
Métodos formales
Lógica deóntica
Theory of computation
Fault tolerance
Formal methods
Deontic logic
Model checking
spellingShingle Teoría de la computación
Tolerancia a fallas
Métodos formales
Lógica deóntica
Theory of computation
Fault tolerance
Formal methods
Deontic logic
Model checking
Acosta, Araceli Natalia
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
topic_facet Teoría de la computación
Tolerancia a fallas
Métodos formales
Lógica deóntica
Theory of computation
Fault tolerance
Formal methods
Deontic logic
Model checking
description Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.
author2 Aguirre, Nazareno Matías
author_facet Aguirre, Nazareno Matías
Acosta, Araceli Natalia
format bachelorThesis
author Acosta, Araceli Natalia
author_sort Acosta, Araceli Natalia
title Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
title_short Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
title_full Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
title_fullStr Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
title_full_unstemmed Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
title_sort herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
publishDate 2023
url http://hdl.handle.net/11086/548512
work_keys_str_mv AT acostaaracelinatalia herramientasymecanismosformalesparaeltratamientodelatoleranciaafallas
_version_ 1782014672400023552

Ejemplares similares