Fundamentos

Estudio de caso: Máquina de estado de la alarma

Construcción de la máquina

El valor de los estados será almacenado en flip-flop (cada flip-flop se puede considerar como 1 memoria del pedacito).
Esto se puede hacer en de dos vías:

  • cada flip-flop será asignado a un estado
  • los flip-flop almacenarán el número del estado actual expresado en binario

(Los dos circuitos serán estudiados y construidos aquí)

Apenas tendremos que describir las condiciones (usando las entradas (el brazo, desarma, intrusión, descanso), y el estado actual) para estar en cada estado.

estados

 

Estas condiciones son las condiciones de la transición y las condiciones de la estancia. Para estar en un estado, usted tiene que satisfacer una condición de la transición y entonces una condición de la estancia.

estados

 

 

Para esta alarma, tenemos las ecuaciones siguientes:

 

EstadoTransición
Condición
Estancia
Condición
  
1 2.Disarm + 3.Disarm 1.Arm
2 1.Arm + 3.TimeOut 2. (Disarm.Intrusion)
3 2.Intrusion 3. (Disarm.TimeOut)

 

Por lo tanto, las condiciones completas para cada estado:

 

EstadoCondición
  
12.Disarm + 3.Disarm + 1.Arm
21.Arm + 3.TimeOut + 2. (Disarm.Intrusion)
32.Intrusion + 3. (Disarm.TimeOut)

 

La lógica se hace y puede ser easely construcción cuando cada flip-flop corresponde a solamente un estado.

 

 


 

 

 
X

http://logiflash.com/basics/11.php