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.
ibd [System] BUe[ Subsystem-Struktur ]<br />
BUe-Steuerung : BUe-Steuerung [1]<br />
p_Uebergabepunkt EVU<br />
<br />
ElectricCurrent<br />
p_Meldeschnittstelle BZ<br />
<br />
Meldung Systemzustand BZ<br />
p_Bedienschnitstelle LST-MA<br />
Bedienhandlung BUe ausser Betrieb nehmen Konfigurationsdateneingabe,<br />
<br />
Anzeige Systemzustand LST MA<br />
p_Ausschaltsensor<br />
<br />
Freifahren AS,<br />
Belegung AS<br />
p_Einschaltsensor<br />
AS : Induktionsschleife [1] <br />
<br />
HET : HET [2..4]<br />
ES : Radsensor [2..4]<br />
<br />
Hilfseinschaltanforderung<br />
p_HET : HET Eingabe<br />
p_LZA<br />
<br />
Belegung ES<br />
<br />
<br />
Lichtzeichenanlage : LZA [4...6]<br />
<br />
Aktuelles LzA-Signalbild<br />
p_Schrankenanlage<br />
<br />
<br />
Schrankenanlage : Schrankenanlage [2..4]<br />
<br />
Aktuelle Schrankenposition<br />
p_UeS <br />
Aktuelles UeS-Signalbild<br />
<br />
<br />
UeS : UeS<br />
Abbildung 5.21.: Beispielhafte Subsystemstruktur<br />
74