Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

• Eignung für das Systems Engineering - Die Anforderungsspezifikation ist ein Dokument
auf Systemebene, in der Funktionen und Strukturen ohne Unterscheidung von Hard- und
Software beschrieben werden. Das Beschreibungsmittel muss diese Art von Spezifikation
unterstützen.
• Nicht-funktionale Anforderungen beziehen sich oftmals nur auf Teile des Systems oder
bestimmte Funktionen - es soll daher möglich sein, bestimmte nicht-funktionale Anforderungen
explizit einzelnen Entitäten des funktionalen Modells zuzuordnen
In der folgenden Tabelle werden alle Anforderungen zusammengefasst und dienen im nachfolgenden
Abschnitt 5.1.1.5 der Ermittlung eines geeigneten Beschreibungsmittels.
Aspekt Anforderung Beschreibung
inhaltlich Darstellung Systemabgrenzung Beschreibungsmittel muss die Abgrenzung des Systems
gegen die Umwelt beschreiben können
inhaltlich Darstellung Systemfunktionen Beschreibungsmittel muss die Systemfunktionen beschreiben
können
inhaltlich Darstellung Systemverhalten Beschreibungsmittel muss das Systemverhalten beschreiben
können
inhaltlich Darstellung Subsystemarchitektur Beschreibungsmittel muss eine Subsystemarchitektur
beschreiben können
strukturell Organisation von Hierarchien Beschreibungsmittel muss eine hierarchische Gliederung der
Anforderungsspezifikation in Ebenen erlauben
strukturell Organisation von Sichten Beschreibungsmittel muss eine fachliche Gliederung der
Anforderungsspezifikation in Sichten erlauben
sonstige Anwendbarkeit durch die Zielgruppe Domänenexperten müssen das Beschreibungsmittel
anwenden können
sonstige Gute Werkzeugunterstützung Für das Beschreibungsmittel muss eine gute
Werkzeugunterstützung existieren
sonstige Integration in den weiteren
Entwicklungsprozess
Das Beschreibungsmittel muss kompatibel zu den
Beschreibungsmitteln im weiteren Systementwicklungsprozess
sein
sonstige Eignung für Fachdomäne
Eisenbahnwesen
Für Problemstellungen im Eisenbahnwesen eignet sich der
objektorientierte Ansatz. Diesen muss das
Beschreibungsmittel unterstützen.
sonstige Anwendung von Test- und
Verifikationstechnologien
Das Beschreibungsmittel soll den Einsatz von Test- und
formalen Verifikationstechnologien ermöglichen
sonstige Beschreibung auf Systemebene Das Beschreibungsmittel soll Anforderungsspezifikationen auf
Systemebene ermöglichen
sonstige Einbindung nicht-funktionaler
Anforderungen
Das Beschreibungsmittel soll Schnittstellen zu
nicht-funktionalen Anforderungen vorsehen
5.1.1.5. Diskussion möglicher Beschreibungsmittel für das funktionale Modell
Im Abschnitt 3.1.1 wurden neben der natürlichen Sprache drei wesentliche Gruppen von Beschreibungsmitteln
definiert, die im Folgenden gegen die im vorherigen Abschnitt gesammelten
Anforderungen evaluiert werden. Diese Gruppen von Beschreibungsmitteln sind:
1. formale Sprachen (siehe Abschnitt 3.1.1.2)
29