Richtungsbetrieb

Zustandsdiagramme (state charts)

Dargestellt ist die erzwungene Verkehrsrichtung auf den Gleisen einer zweigleisigen Strecke im Richtungsbetrieb. Da es sehr viele Zustandsübergänge von irgendwo zu einem bestimmten Zustand gibt, habe ich die komplette Maschine jeweils in einen komplexen Zustand eingesperrt, damit ich diesen als Ausgangspunkt für solche Übergänge angeben kann.

Eingehendes Gleis	Abgehendes Gleis
Die Erlaubnis wird immer pauschal abgegeben bei Verbinden der Leitung und bei eingehender Erlaubnisanfrage bzw. -abgabe.	Die Erlaubnis wird bei Verbinden der Leitung angefragt, das Ausfahrsignal wird nur frei, wenn die Gegenstelle die Erlaubnis abgegeben hat.

Zustände (states)

Es gibt folgende Zustände. Sie sind in beiden Zustandsdiagrammen enthalten:

• boot
  Dieser Zustand wird nach dem Einschalten oder bei Bedienung des System-Resets erreicht.
• broken
  Die Block-Leitung ist unterbrochen. Dieser Zustand wird von jedem Zustand angesprungen, sobalt das Modul BlockFailure die Trennung der Leitung feststellt.
• timer
  Wenn im Zustand broken festgestellt wird, dass die Leitung wieder verbunden ist, wird dieser Zustand angesprungen. Zweck ist eine kleine Verzögerung zur dann zu sendenden Message. Falls eine Fehlkonfiguration vorliegt, die zum Ping-pong der Erlaubnis führt, dann erlaubt diese Verzögerung, den Vorgang mit dem Auge zu erfassen.
• connected
  Wenn die Leitung 1s lang stabil verbunden scheint, wird dieser Zustand erreicht. Beim Betreten werden Aktionen ausgeführt, je nachdem, um welches Zustandsdiagramm es sich handelt:
  • Eingehendes Gleis: Erlaubnis wird abgegeben
  • Abgehendes Gleis: Erlaubnis wird angefragt
  Anmerkung: die Zeit wurde auf 1s erhöht, um größer zu sein als die 500ms im Erlaubnisfeld.
• permission
  Wir haben die Erlaubnis. Dieser Zustand ist nur für das abgehende Gleis implementiert und ist der einzige Zustand, in dem die Ausfahrsignale entsperrt sind (wird nur wirksam, wenn das Anfangsfeld zustimmt).

Ereignisse (events)

Folgende externe Ereignisse bewirken Zustandsübergänge:

• ErlaubnisEmpfangen
  Es wurde von der Block-Schnittstelle eine Erlaubnisabgabe-Message vom anderen Bahnhof empfangen.
• ErlaubnisanfrageEmpfangen
  Es wurde von der Block-Schnittstelle eine Erlaubnisanfrage-Message vom anderen Bahnhof empfangen.
• Reset
  Der Signaltechniker hat den "Relaisschrank" geöffnet, um einen Grundzustand herzustellen.

Wächter (guards)

• ÜStör - "Übertragungsstörung"
  Dieser Wächter ist wahr, wenn das Modul BlockFailure die Blockleitung als unterbrochen sieht. Dies wird von der Hardware darüber festgestellt, dass keine Spannung am Adernpaar für eingehende Daten anliegt.
• !ÜStör
  Dieser Wächter ist wahr, wenn das Module BlockFailure die Blockleitung als verbunden sieht.

Melder, Persistenz und Außensicht

Die Zustandsmaschine für das eingehende Gleis hat keinen Einfluß auf den Rest der lokalen Software. Die Zustandsmaschine für das abgehende Gleis sperrt das Ausfahrsignal so lange, bis der Zustand permission erreicht ist. Um dies anzuzeigen, blinkt der gelbe Vorblockmelder, wenn die Strecke zwar frei ist, aber permission noch nicht erreicht wurde. Dies deutet auf einen Konfigurationsfehler hin. Die Gegenstelle sollte die Erlaubnis pauschal abgeben, wenn hier Richtungsbetrieb stattfinden soll.

Diese Seite wurde zusammengestellt von Stefan Bormann. Stand: 30.6.2013

Site hosted by: