4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4.3 Vorgehensweise bei der formalen <strong>Software</strong>entwicklung<br />
ST II<br />
<strong>Formale</strong> Spezifikation des Systems<br />
Informelle<br />
Anforderungsbeschreibung<br />
Sicherheitsrelevante<br />
Anforderungen<br />
<strong>Formale</strong><br />
Eigenschaften<br />
formal<br />
Beweis über Erfüllung<br />
der sicherheitsrelevanten<br />
Anforderungen<br />
Operationelle<br />
Anforderungen<br />
<strong>Formale</strong><br />
Systembeschreibung<br />
Beweis über Umsetzung der<br />
formalen Systembeschreibung<br />
nicht formal<br />
Rahmensystem<br />
Verfeinerung<br />
<strong>Formale</strong> Beschreibung<br />
der Implementierung<br />
Programmquelltext<br />
Physikalischtechnische<br />
Realisierung<br />
© 2013 IAS, Universität Stuttgart 185