Análisis de diagnosticabilidad en sistemas probabilísticos
Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas. Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos métodos han sido propuestos para realizar un análisis exhaustivo de las falla...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/2824 |
| _version_ | 1801216001104150528 |
|---|---|
| author | Hubmann, Patricio Walter |
| author2 | Brandán Briones, Laura |
| author_facet | Brandán Briones, Laura Hubmann, Patricio Walter |
| author_sort | Hubmann, Patricio Walter |
| collection | Repositorio Digital Universitario |
| description | Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas.
Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos métodos han sido propuestos para realizar un análisis exhaustivo de las fallas.
Dado un modelo de un sistema con observabilidad parcial, la propiedad de diagnosticabilidad garantiza que toda falla pueda ser inequívocamente detectada basado solamente en una serie de observaciones. Esto se hace a partir de un monitoreo sistemático del sistema (información de sensores o logs del sistema). Cabe destacar que nos referimos a fallas inherentes al sistema que no pueden ser excluidas en la etapa de diseño (ej. un corte de electricidad o un defecto de hardware).
Se han realizados muchos intentos para determinar la verificación formal de diagnosticabilidad, pero la mayoría de los trabajos asumen sistemas sin probabilidades, lo cual motiva la presente propuesta.
En este trabajo nos focalizamos en el análisis de diagnosticabilidad en sistemas probabilísticos. En primer lugar presentamos el problema para sistemas discretos, luego introducimos probabilidades en los sistemas y finalmente analizamos el caso de sistemas probabilistas no deterministas. |
| format | bachelorThesis |
| id | rdu-unc.2824 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2016 |
| record_format | dspace |
| spelling | rdu-unc.28242022-10-13T11:33:54Z Análisis de diagnosticabilidad en sistemas probabilísticos Hubmann, Patricio Walter Brandán Briones, Laura Sistemas probabilísticos Un aspecto fundamental en sistemas computacionales es poder diseñar mecanismos automáticos de detección de fallas. Debido al incremento en los requerimientos de confiabilidad (particularmente en sistemas críticos), muchos métodos han sido propuestos para realizar un análisis exhaustivo de las fallas. Dado un modelo de un sistema con observabilidad parcial, la propiedad de diagnosticabilidad garantiza que toda falla pueda ser inequívocamente detectada basado solamente en una serie de observaciones. Esto se hace a partir de un monitoreo sistemático del sistema (información de sensores o logs del sistema). Cabe destacar que nos referimos a fallas inherentes al sistema que no pueden ser excluidas en la etapa de diseño (ej. un corte de electricidad o un defecto de hardware). Se han realizados muchos intentos para determinar la verificación formal de diagnosticabilidad, pero la mayoría de los trabajos asumen sistemas sin probabilidades, lo cual motiva la presente propuesta. En este trabajo nos focalizamos en el análisis de diagnosticabilidad en sistemas probabilísticos. En primer lugar presentamos el problema para sistemas discretos, luego introducimos probabilidades en los sistemas y finalmente analizamos el caso de sistemas probabilistas no deterministas. 2016-07-15T16:04:19Z 2016-07-15T16:04:19Z 2015-07 bachelorThesis http://hdl.handle.net/11086/2824 spa Atribución-NoComercial-CompartirIgual 2.5 Argentina http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
| spellingShingle | Sistemas probabilísticos Hubmann, Patricio Walter Análisis de diagnosticabilidad en sistemas probabilísticos |
| title | Análisis de diagnosticabilidad en sistemas probabilísticos |
| title_full | Análisis de diagnosticabilidad en sistemas probabilísticos |
| title_fullStr | Análisis de diagnosticabilidad en sistemas probabilísticos |
| title_full_unstemmed | Análisis de diagnosticabilidad en sistemas probabilísticos |
| title_short | Análisis de diagnosticabilidad en sistemas probabilísticos |
| title_sort | analisis de diagnosticabilidad en sistemas probabilisticos |
| topic | Sistemas probabilísticos |
| url | http://hdl.handle.net/11086/2824 |
| work_keys_str_mv | AT hubmannpatriciowalter analisisdediagnosticabilidadensistemasprobabilisticos |