Anforderungsanalyse und Anforderungsdefinition für ...

Inhalt
1. Einleitung .............................................................................................................................. 03
2. Anforderungen an sicherheitskritische Systeme ................................................ 04
2.1. Funktionale Anforderungen .................................................................. 04
2.2. Allgemeine nicht funktionale Anforderungen ........................................ 04
2.3. Systemanforderungen ........................................................................... 04
2.4. Sicherheitsanforderungen ..................................................................... 06
2.5. Gesetzliche Anforderungen ................................................................... 07
2.6. Konflikte zwischen Anforderungen ....................................................... 07
3. Anforderungsspezifikation ........................................................................................... 08
3.1. Inhalt der Anforderungsspezifikation .................................................... 08
3.2. Eigenschaften einer guten Anforderungsspezifikation ........................... 09
3.3. Analyse der Anforderungsspezifikation ................................................. 11
4. Formale Methoden zur Anforderungsspezifikation ........................................... 12
4.1. Vorteile und Nachteile formaler Methoden ............................................ 12
4.1.1. Allgemein ..................................................................................... 12
4.1.2. Validierung der Spezifikation ........................................................ 13
4.1.3. Verifikation der weiteren Entwicklungsstufen .............................. 14
4.1.4. Automatische Entwicklungen aus der Anforderungsspezifikation . 14
4.2. Auswahl der geeigneten formalen Methode ........................................... 15
4.3. Die Z-Notation ...................................................................................... 16
4.4. Praxisbeispiel: Traffic Alert and Collision Avoidance System (TCAS) ...... 20
5. Fazit ......................................................................................................................................... 22
6. Anhang ................................................................................................................................... 23
6.1. Literaturverzeichnis .............................................................................. 23
6.2. Abbildungsverzeichnis ......................................................................... 23
Inhalt
2