Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas

Mostrar todas las versiones(2)

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

Guardado en:
Detalles Bibliográficos
Autor principal: Kilmurray, Cecilia Noelia
Otros Autores: Castro, Pablo Francisco
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2021
Materias:
Métodos formales
Tolerancia a fallas
Lógicas deónticas
Verificación de software
Theory of computation
Verification by model checking
Acceso en línea:http://hdl.handle.net/11086/17407
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-17407
record_format dspace
spelling I10-R141-11086-174072023-08-31T13:17:41Z Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas Kilmurray, Cecilia Noelia Castro, Pablo Francisco Métodos formales Tolerancia a fallas Lógicas deónticas Verificación de software Theory of computation Verification by 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, 2020. Fil: Kilmurray, Cecilia Noelia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. En la actualidad la tolerancia a fallas cada vez adquiere mayor importancia, debido a que cada día hay más sistemas críticos en donde es necesario garantizar cierto comportamiento deseado aún ante la ocurrencia ocasional de fallas. En este trabajo presentamos algunos formalismos lógicos que resultan adecuados para la especificación, y luego la verificación, de propiedades de sistemas tolerantes a fallas. En particular, nos enfocamos en el uso de aquellos que si bien, tradicionalmente fueron utilizados para representar y analizar la estructura lógica de normas o leyes (conocidos con el nombre de lógicas deónticas), nos posibilitan, a diferencia de otros enfoques, distinguir entre los comportamientos normal y anormal de un sistema. Hacia el final de esta tesis, además, se presentan algunas incursiones en el área de sistemas probabilistas, ya que cuando se piensa en sistemas tolerantes a fallas surge naturalmente pensar en un grado de tolerancia/robustez deseado o esperado; y es justamente este tipo de noción cuantificable la que conduce a la idea de utilizar las probabilidades para capturar este concepto. En particular se presentan algunos ejemplos para ilustrar la capacidad de dichos formalismos para capturar nociones relacionadas con tolerancia a fallas. At present, fault tolerance is becoming more and more important, because every day there are more critical systems where it's necessary to guarantee a certain desired behavior even in the event of occasional failure. In this work we present some logical formalisms suitable for the specification, and later verification, of properties for fault tolerant systems. In particular, we focus on the use of those formalisms traditionally used to represent and analyze the logical structure of norms or laws (known as deontic logics), that allow us to distinguish between normal and abnormal behaviors of a system. Towards the end of this thesis, some forays made into the area of probabilistic systems are also presented, due that when thinking about fault tolerant systems it naturally arises the notion of a desired or expected degree of tolerance / robustness; and it's precisely this kind of quantifiable notion that leads us to think about using probabilities to capture this concept. In particular we show some examples to illustrate the ability of such formalisms to capture notions related to fault tolerance. Fil: Kilmurray, Cecilia Noelia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. 2021-03-02T16:35:27Z 2021-03-02T16:35:27Z 2020-06 doctoralThesis http://hdl.handle.net/11086/17407 spa Atribución-NoComercial-CompartirIgual 4.0 Internacional http://creativecommons.org/licenses/by-nc-sa/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 Métodos formales
Tolerancia a fallas
Lógicas deónticas
Verificación de software
Theory of computation
Verification by model checking
spellingShingle Métodos formales
Tolerancia a fallas
Lógicas deónticas
Verificación de software
Theory of computation
Verification by model checking
Kilmurray, Cecilia Noelia
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
topic_facet Métodos formales
Tolerancia a fallas
Lógicas deónticas
Verificación de software
Theory of computation
Verification by 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, 2020.
author2 Castro, Pablo Francisco
author_facet Castro, Pablo Francisco
Kilmurray, Cecilia Noelia
format doctoralThesis
author Kilmurray, Cecilia Noelia
author_sort Kilmurray, Cecilia Noelia
title Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
title_short Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
title_full Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
title_fullStr Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
title_full_unstemmed Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
title_sort extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
publishDate 2021
url http://hdl.handle.net/11086/17407
work_keys_str_mv AT kilmurraycecilianoelia extensiondelogicastemporalesconnocionesdeonticasparalaespecificacionyanalisisdesistemastolerantesafallas
_version_ 1782014995096141824

Ejemplares similares