Máquina de estados en tiempo real

diagrama de estados UML

Controlador de semáforo dibujado como una máquina de estados UML: un pseudoestado inicial, tres estados y cuatro transiciones con guarda. Al activar un evento o dejar correr el temporizador, un testigo se mueve: el estado activo se ilumina, la transición recorrida pulsa y un registro guarda los eventos. El diagrama es la propia máquina en ejecución.

Circuito en tiempo real estado RED

Live State Machine

Ejecute la máquina o active eventos manualmente. Active un estado o una transición para consultar sus datos.

Traza causal de la señal pausado

Entrar en la máquina Al encender, la transición inicial lleva a Red.

t_{\mathrm{stage}}=\htmlData{math-slot=value}{\mathtt{0.00}}\,\mathrm{s}

Paso 1 / 4 Entrar en la máquina

Cuaderno: 4 componentes y 4 cables, modelados mediante ejecutor de estados finitos por eventos

Laboratorio recomendado 7 de 18

Prediga transiciones con guarda e identifique un fallo de vivacidad.

Se basa en: Sumador digital de 8 bits

Prediga y después compruebe

Llega un evento sin transición habilitada desde el estado actual. ¿Qué debe hacer una máquina determinista?

Registre su predicción antes de que aparezca la explicación. Es una predicción, no una nota de examen.

Modelo que lo rige

\delta : S \times \Sigma \rightarrow S \;\cdot\; (s, e) \mapsto s_{\text{next}} \text{ if guard}(e)

Componentes

pseudoestado inicial
estados Red / Green / Yellow
4 transiciones con guarda
cola de eventos + registro de trazas

Límites del modelo

$\delta$ determinista
un estado activo
transiciones temporizadas con guarda

Reto de diagnóstico El fallo está oculto. Dedúzcalo primero a partir de los cambios en las salidas.