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

Autores
Acosta, Araceli Natalia
Año de publicación
2022
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Aguirre, Nazareno Matías
Descripción
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.
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/548512
Acceder
id RDUUNC_af59d5b3acbf137646707bfb49e210bf
oai_identifier_str oai:rdu.unc.edu.ar:11086/548512
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallasAcosta, Araceli NataliaTeoría de la computaciónTolerancia a fallasMétodos formalesLógica deónticaTheory of computationFault toleranceFormal methodsDeontic logicModel checkingTesis (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.Aguirre, Nazareno Matías2022-09info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/548512spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-04T12:33:29Zoai:rdu.unc.edu.ar:11086/548512Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:33:29.855Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv 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
spellingShingle Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
Acosta, Araceli Natalia
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
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
dc.creator.none.fl_str_mv Acosta, Araceli Natalia
author Acosta, Araceli Natalia
author_facet Acosta, Araceli Natalia
author_role author
dc.contributor.none.fl_str_mv Aguirre, Nazareno Matías
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
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.
publishDate 2022
dc.date.none.fl_str_mv 2022-09
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/548512
url http://hdl.handle.net/11086/548512
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349661905485824
score 13.13397

Publicaciones similares