Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
dd [Aktivitaet] Systemverhalten [ Dekomposition Komponentenverhalten ]<br />
<br />
System aufstarten<br />
<br />
Konfiguration setzen<br />
<br />
Pruefung Konfigurationsdaten<br />
{allocatedTo = BUe-Steuerung }<br />
<br />
Konfigurationsdateneingabe<br />
<br />
Systemverhalten<br />
<br />
Use-Case-Aktivitaeten<br />
<br />
System herunterfahren<br />
<br />
Regelbetrieb durchfuehren<br />
<br />
Stoerungsbetrieb durchfuehren<br />
Konfigurationsdaten<br />
<br />
Systemfehler verarbeiten<br />
<br />
Grundstellung herstellen<br />
<br />
Selbsttest durchfuehren<br />
<br />
Hilfseinschalten ueberwachen<br />
Abbildung 6.17.: Aktivitäts-Hierarchie des Beispielmodells<br />
<br />
Annaeherung ueberwachen<br />
<br />
BUe sichern<br />
<br />
Raeumung ueberwachen<br />
120