Equipos y sistemas confiables es una asignatura finalista de 4º curso del Grado en Ingeniería Aeroespacial de la UCLM. Desde una perspectiva muy práctica, combina modelado con máquinas de estados jerárquicas, extendidas y no deterministas, junto a control de concurrencia, planificación de sistemas de tiempo real y verificación formal con model-checking. Los detalles acerca de la docencia de la asignatura pueden consultarse en la Guía-e.
Pincha en los eventos del calendario para ir directamente al tema correspondiente.
Emplearemos una metodología para el diseño de equipos y sistemas confiables eminentemente práctica, utiliza una combinación de modelado formal con análisis de tiempo de ejecución. El siguiente gráfico sintetiza los pasos.
| 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|
| Especificación | Modelado | Verificación | Implementación | Verificación | Análisis |
| PARA QUÉ | QUÉ | CÓMO | |||
| ¿Cuál es el problema? | ¿Qué tiene que hacer el sistema? | ¿El modelo cumple la especificación? | ¿Cómo hace lo que tiene que hacer? (modelo refinado) | ¿La implementación cumple la especificación? | ¿Se cumplen los plazos en el caso peor? |
| LTL, CTL | FSM / xFSM | nuXmv | fsm.h / fsm.c | nuXmv | Análisis del tiempo |
| (model checking) | Ejecutivo cíclico / FreeRTOS / Reactor | (model checking) | de respuesta |
Ten presente que por motivos docentes no vamos a seguir este mismo orden en las explicaciones.
Utiliza el calendario o la barra lateral para navegar a los temas de la asignatura. O avanza secuencialmente con los botones de navegación de la parte inferior.