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.
bdd [Modell] Data[ Kontexktkommunikation ]<br />
<br />
<br />
<br />
BUe<br />
<br />
Schienenfahrzeug<br />
<br />
Strassenverkehrsteilnehmer<br />
Belegung ES<br />
<br />
<br />
Freimeldung AS, Belegung AS<br />
<br />
<br />
LzA_ist_aus, LzA_gelb_leuchtet, LzA_rot_leuchtet<br />
<br />
<br />
<br />
<br />
Schranke geoeffnet, Schranke geschlossen,<br />
Schranke schliessend, Schranke oeffnend<br />
<br />
<br />
Bedienhandlung_BUe_herunterfahren, Konfigurationsdaten<br />
Einschaltsensor<br />
Ausschaltsensor<br />
LZA<br />
Schrankenanlage<br />
Bedienschnitstelle LST<br />
UeS<br />
Uebergabepunkt EVU : ElectricCurrent<br />
HET<br />
Meldeschnittstelle<br />
ElectricCurrent<br />
<br />
<br />
Umweltbedingungen<br />
<br />
<br />
Systemzustandsanzeige<br />
<br />
<br />
BUe1, BUe0<br />
Hilfseinschaltanforderung<br />
Stoerungsmeldung<br />
<br />
LST-Mitarbeiter<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Treibfahrzeugfuehrer<br />
Leitstelle<br />
Abbildung 5.5.: Systemabgrenzung durch ein SysML Block-Definitions-Diagramm<br />
Oeffentl. Stromnetz<br />
Umwelt<br />
39