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 />

Einsatz formaler Methoden zur Entwicklung sicherer<br />

Software<br />

Gesamtsystembeschreibung<br />

Lastenheft<br />

formal<br />

konventionell<br />

sicherheitsrelevante<br />

Anforderungen<br />

Modellierungsausschnitt<br />

operationelle<br />

Anforderungen<br />

Rahmensystem<br />

Sicherheitsnachweis<br />

Sicherheitsanforderungen<br />

Leistungs-<br />

Spezifikation<br />

Korrektheitsnachweis<br />

Programm-<br />

Quelltext<br />

Abstrakte<br />

Programme<br />

Umsetzung<br />

Verfeinerung<br />

© 2013 IAS, Universität Stuttgart 437

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!