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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/548512 |
| _version_ | 1801214741653225472 |
|---|---|
| author | Acosta, Araceli Natalia |
| author2 | Aguirre, Nazareno Matías |
| author_facet | Aguirre, Nazareno Matías Acosta, Araceli Natalia |
| author_sort | Acosta, Araceli Natalia |
| collection | Repositorio Digital Universitario |
| 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. |
| format | bachelorThesis |
| id | rdu-unc.548512 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2023 |
| record_format | dspace |
| spelling | rdu-unc.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/ |
| 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 |
| title | 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_short | 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 |
| 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 |
| url | http://hdl.handle.net/11086/548512 |
| work_keys_str_mv | AT acostaaracelinatalia herramientasymecanismosformalesparaeltratamientodelatoleranciaafallas |