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...

Descripción completa

Detalles Bibliográficos
Autor principal: Hubmann, Patricio Walter
Otros Autores: Brandán Briones, Laura
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/2824
Aporte de:
id I10-R141-11086-2824
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Sistemas probabilísticos
spellingShingle Sistemas probabilísticos
Hubmann, Patricio Walter
Análisis de diagnosticabilidad en sistemas probabilísticos
topic_facet Sistemas probabilísticos
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.
author2 Brandán Briones, Laura
author_facet Brandán Briones, Laura
Hubmann, Patricio Walter
format bachelorThesis
author Hubmann, Patricio Walter
author_sort Hubmann, Patricio Walter
title Análisis de diagnosticabilidad en sistemas probabilísticos
title_short 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_sort análisis de diagnosticabilidad en sistemas probabilísticos
publishDate 2016
url http://hdl.handle.net/11086/2824
work_keys_str_mv AT hubmannpatriciowalter analisisdediagnosticabilidadensistemasprobabilisticos
bdutipo_str Repositorios
_version_ 1764820392053047301