El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
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...
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.