Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Durch die in dieser Arbeit erreichten Ziele wird ein Ersteller von Anforderungsspezifikationen
in die Lage versetzt, mit dem definierten Subset SysML(A) die funktionalen Anforderungen von
zukünftigen Systemen zu beschreiben und das Modell so zu strukturieren, dass die darin enthaltenen
Informationen leicht zugänglich sind. Er kann das modellierte Verhalten gegen seine
eigenen Verhaltensvorgaben prüfen, und - sobald die entsprechenden Voraussetzungen gegeben
sind - gegen Sicherheitsrandbedingungen formal verifizieren. Der Modellierer wird bei der
Anforderungserstellung durch eine Prozessvorgabe geführt, die sicherstellt, dass alle notwendigen
Aspekte des Systems berücksichtigt werden und zudem eine sinnvolle Reihenfolge bei der
Modellerstellung eingehalten wird. Insgesamt kann damit ein Qualitätsniveau für Anforderungsspezifikationen
erzielt werden, das weit über demjenigen rein natürlich-sprachlicher Dokumente
liegt.
148