Zeit in Zuständen

Nach einem Gasunfall im Labor soll eine Taste den Raum leer saugen. Die Lüftung saugt, bis der Druck unter 5 kPa liegt, und läuft dann noch 5 Sekunden nach, damit auch der Rest im Rohr landet.

Zwei Fragen beantwortet dein Automat bisher nicht: Wie lange läuft der Nachlauf schon? Und was, wenn der Druck nie unter 5 kPa fällt – weil eine Tür offen steht oder der Tank hinter der Lüftung voll ist? Dann saugt die Lüftung ewig, und niemand merkt es.

Takte zählen#

Ein Takt dauert 0,5 s. Ein Register takte zählt in jedem Takt eins hoch:

define NACHZEIT 10      # Takte = 5 s Nachlauf
define MAXZEIT 40       # Takte = 20 s, dann Stoerung
alias takte r2
add takte takte 1       # ein Takt mehr im Zustand

Schreib die Zeiten als Takte ins define und die Sekunden in den Kommentar. Wer den Wert später ändert, sieht sofort, was gemeint ist.

Wartezeit je Zustand#

Der Nachlauf wartet einfach, bis der Zähler groß genug ist:

z_nachlauf:
sge tmp takte NACHZEIT
select neu tmp BEREIT neu
j ausgabe

Zeitüberschreitung erkennen#

Beim Absaugen gibt es zwei Ausgänge: Erfolg (Druck unter 5 kPa) und Zeitüberschreitung. Prüf erst die Zeit und dann den Erfolg. Der letzte select überschreibt neu, also gewinnt im selben Takt der Erfolg:

z_saugen:
sgt tmp takte MAXZEIT
select neu tmp STOERUNG neu
slt tmp druck LEER
select neu tmp NACHLAUF neu
j ausgabe

Zähler beim Wechsel zurücksetzen#

Jeder neue Zustand muss bei null anfangen. Am sichersten passiert das an einer Stelle, nämlich dort, wo der neue Zustand übernommen wird:

ausgabe:
seq tmp neu zustand        # Zustand gleich geblieben?
select takte tmp takte 0   # sonst Zaehler auf 0
move zustand neu

So kann kein Übergang das Zurücksetzen vergessen, auch keiner, den du nächsten Monat einbaust.