17.01.2014 Aufrufe

Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

§ 4 Anforderungen, Beeinflussende Faktoren<br />

ZSA<br />

Beispiel: Sicherheitsanforderungen<br />

Anforderungen an Eisenbahnsicherungsanlagen:<br />

– Die Meldung "FREI (grün)" darf auch nicht kurzzeitig zur Unzeit<br />

ausgegeben werden.<br />

– Wenn die Meldungen "BELEGT" und "GESTÖRT" zur Unzeit ausgegeben<br />

werden, muss verhindert werden, dass danach ohne Grundstellung die<br />

Meldung "FREI" ausgegeben wird.<br />

– Die Meldungen "BELEGT" und "GESTÖRT" stellen den sicheren Zustand<br />

eines Abschnitts dar.<br />

© <strong>2012</strong> IAS, Universität Stuttgart<br />

71

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!