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

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

5.6 Sicherheits-Nachweisverfahren<br />

Safety-Pattern - Konzept<br />

Formale Spezifikation von Sicherheitsanforderungen<br />

mit Hilfe einer endlichen<br />

Menge von Spezifikationsmustern<br />

(Safety-Pattern).<br />

Konventionelle Spezifikation<br />

Software-<br />

Assistent<br />

Verwendung des<br />

geeigneten Safety-Patterns<br />

Safety-Pattern<br />

• Bezeichnung<br />

• Klassenzuordnung<br />

• generische Spezifikation<br />

in formaler Sprache<br />

• generische Spezifikation<br />

in Normsprache<br />

• generische Spezifikation<br />

in grafischer Notation<br />

• grafische Veranschaulichungen<br />

AT II<br />

• Erläuterung in natürlicher Sprache<br />

• Musterbeispiel<br />

Instanziierung<br />

Safety-Pattern-Katalog<br />

Instanziierte Spezifikation<br />

© 2013 IAS, Universität Stuttgart 440

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!