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