Grundlagen

Fallstudie: Warnungs-Zustand-Maschine

Errichten der Maschine

Der Zustandwert wird in den Purzelbäumen gespeichert (jeder Purzelbaum kann als 1 Bitgedächtnis gesehen werden).
Dieses kann in Zweiweg getan werden:

  • jeder Purzelbaum wird einem Zustand zugewiesen
  • die Purzelbäume speichern die Lagezahl, die in der Zweiheit ausgedrückt wird

(Die zwei Stromkreise werden hier studiert und errichtet)

Wir müssen nur die Bedingungen beschreiben (unter Verwendung der Eingänge (Arm, entwaffnen, Eindringen, Abschaltung) und der gegenwärtigen Lage) um in jedem Zustand zu sein.

Zustände

 

Diese Bedingungen sind die Übergangszustände und die Aufenthaltzustände. Um in einem Zustand zu sein, müssen Sie einen Übergangszustand und dann einen Aufenthaltzustand erfüllen.

Zustände

 

 

Für diese Warnung haben wir die folgenden Gleichungen:

 

ZustandÜbergang
Bedingung
Aufenthalt
Bedingung
  
1 2.Disarm + 3.Disarm 1.Arm
2 1.Arm + 3.TimeOut 2. (Disarm.Intrusion)
3 2.Intrusion 3. (Disarm.TimeOut)

 

Folglich die kompletten Bedingungen für jeden Zustand:

 

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

 

Logik ist erfolgt und kann Konstruieren easely sein, wenn jeder Purzelbaum nur einem Zustand entsprechen.

 

 


 

 

 
X

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