Bases

Étude de cas : Machine d'état d'alarme

Construction de la machine

La valeur d'états sera stockée dans les bascules (chaque bascule peut être vue comme 1 mémoire de bit).
Ceci peut être fait dans bi-directionnel :

  • chaque bascule sera assignée à un état
  • les bascules stockeront le nombre d'état actuel exprimé en binaire

(Les deux circuits seront étudiés et établis ici)

Nous devrons simplement décrire les conditions (utilisant les entrées (le bras, désarment, intrusion, temporisation), et l'état actuel) pour être dans chaque état.

états

 

Ces conditions sont les conditions de transition et les conditions de séjour. Pour être dans un état, vous devez remplir une condition de transition et puis une condition de séjour.

états

 

 

Pour cette alarme, nous avons les équations suivantes :

 

ÉtatTransition
Condition
Séjour
Condition
  
1 2.Disarm + 3.Disarm 1.Arm
2 1.Arm + 3.TimeOut 2. (Disarm.Intrusion)
3 2.Intrusion 3. (Disarm.TimeOut)

 

Par conséquent, les conditions complètes pour chaque état :

 

ÉtatCondition
  
12.Disarm + 3.Disarm + 1.Arm
21.Arm + 3.TimeOut + 2. (Disarm.Intrusion)
32.Intrusion + 3. (Disarm.TimeOut)

 

La logique est faite et peut être easely construction quand chaque bascule correspondent à seulement un état.

 

 


 

 

 
X

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