Princípios

Estudo de caso: Máquina de estado do alarme

Construindo a máquina

O valor dos estados será armazenado nos flip-flops (cada flip-flop pode ser considerado como uma 1 memória do bocado).
Isto pode ser feito em em dois sentidos:

  • cada flip-flop será atribuído a um estado
  • os flip-flops armazenarão o número do estado actual expressado no binário

(Os dois circuitos serão estudados e construídos aqui)

Nós apenas teremos que descrever as circunstâncias (usando as entradas (o braço, desarma, intrusão, intervalo de parada), e o estado actual) para estar em cada estado.

estados

 

Estas circunstâncias são as condições da transição e as condições da estada. Para estar em um estado, você tem que satisfazer uma condição da transição e então uma condição da estada.

estados

 

 

Para este alarme, nós temos as seguintes equações:

 

EstadoTransição
Circunstância
Estada
Circunstância
  
1 2.Disarm + 3.Disarm 1.Arm
2 1.Arm + 3.TimeOut 2. (Disarm.Intrusion)
3 2.Intrusion 3. (Disarm.TimeOut)

 

Daqui, as condições completas para cada estado:

 

EstadoCircunstância
  
12.Disarm + 3.Disarm + 1.Arm
21.Arm + 3.TimeOut + 2. (Disarm.Intrusion)
32.Intrusion + 3. (Disarm.TimeOut)

 

A lógica está feita e pode ser easely construção quando cada flip-flop corresponde a somente um estado.

 

 


 

 

 
X

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