Análisis de diagnosticabilidad en sistemas distribuidos
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2024
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/553515 |
| _version_ | 1811173598711250944 |
|---|---|
| author | Bonigo, Gonzalo |
| author2 | Brandán Briones, Laura |
| author_facet | Brandán Briones, Laura Bonigo, Gonzalo |
| author_sort | Bonigo, Gonzalo |
| collection | Repositorio Digital Universitario |
| description | Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. |
| format | bachelorThesis |
| id | rdu-unc.553515 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2024 |
| record_format | dspace |
| spelling | rdu-unc.5535152024-09-06T06:38:20Z Análisis de diagnosticabilidad en sistemas distribuidos Bonigo, Gonzalo Brandán Briones, Laura Control de estructura de confiabilidad Confiabilidad, pruebas y tolerancia a fallos Testeo y depuración Diagnosticabilidad Composición en paralelo Sincronización Twin-plant Sistemas distribuidos Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Fl: Bonigo, Gonzalo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Los sistemas complejos a menudo exhiben fallas intrı́nsecas que son difı́ciles de manejar. Es deseable que tales sistemas sean diagnosticables, es decir, que las fallas sean detectadas automáticamente cuando estas ocurren, permitiéndole al sistema manejar las fallas y/o recuperarse. Formalmente, un sistema es diagnosticable si es posible detectar todas las fallas, en un tiempo finito luego de su ocurrencia, observando solamente la información disponible en el sistema. Los sistemas complejos son generalmente construidos a partir de subsistemas más simples ejecutándose de manera concurrente. Con el fin de modelar diferentes métodos de comunicación y sincronización, la interacción entre los subsistemas puede ser especificada de varias maneras. En este trabajo abordamos el problema de la diagnosticabilidad en sistemas distribuidos sometidos a diferentes tipos de estrategias de interacción, con fallas que ocurren de manera arbitraria y libremente en los subsistemas. Definimos rigurosamente el concepto de diagnosticabilidad en este contexto, y probamos formalmente en qué casos esta propiedad se preserva bajo las distintas composiciones en paralelo. Desarrollamos una herramienta para el análisis de diagnosticabilidad en sistemas distribuidos la cual implementa un método existente, y a este se le suman las mejoras provistas por los resultados obtenidos durante la investigación; además tiene la capacidad de componer los sistemas de diferentes maneras a través de heurı́sticas de sincronización que pueden ser especificadas por el usuario. Fl: Bonigo, Gonzalo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. 2024-09-05T15:52:48Z 2024-09-05T15:52:48Z 2012 bachelorThesis http://hdl.handle.net/11086/553515 spa Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| spellingShingle | Control de estructura de confiabilidad Confiabilidad, pruebas y tolerancia a fallos Testeo y depuración Diagnosticabilidad Composición en paralelo Sincronización Twin-plant Sistemas distribuidos Bonigo, Gonzalo Análisis de diagnosticabilidad en sistemas distribuidos |
| title | Análisis de diagnosticabilidad en sistemas distribuidos |
| title_full | Análisis de diagnosticabilidad en sistemas distribuidos |
| title_fullStr | Análisis de diagnosticabilidad en sistemas distribuidos |
| title_full_unstemmed | Análisis de diagnosticabilidad en sistemas distribuidos |
| title_short | Análisis de diagnosticabilidad en sistemas distribuidos |
| title_sort | analisis de diagnosticabilidad en sistemas distribuidos |
| topic | Control de estructura de confiabilidad Confiabilidad, pruebas y tolerancia a fallos Testeo y depuración Diagnosticabilidad Composición en paralelo Sincronización Twin-plant Sistemas distribuidos |
| url | http://hdl.handle.net/11086/553515 |
| work_keys_str_mv | AT bonigogonzalo analisisdediagnosticabilidadensistemasdistribuidos |