17.01.2014 Aufrufe

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

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.

5.6 Sicherheits-Nachweisverfahren<br />

AT II<br />

Safety-Pattern - Beispiel<br />

Sicherheitsanforderung<br />

konventionell formuliert<br />

Die Schranken dürfen nur geöffnet<br />

werden, wenn der Zug den<br />

Bahnübergang passiert hat.<br />

Verwendung des<br />

geeigneten Safety-Patterns<br />

Instanziierung<br />

Sicherheitsanforderung<br />

formal formuliert (CTL)<br />

Geeignetes<br />

Safety-Pattern<br />

Spezifikation<br />

in Normsprache:<br />

Die Geltung von q ist erst<br />

strikt nach dem Zeitpunkt, zu<br />

dem p gültig ist, erlaubt.<br />

Spezifikation<br />

in formaler Sprache:<br />

A((not q) W (p and (not q)))<br />

A((not level_crossing.opening ) W<br />

(train.train_passed and<br />

(not level_crossing.opening )))<br />

Video: Spezifikation von Sicherheitsanforderungen<br />

© 2013 IAS, Universität Stuttgart 441

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!