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.
bdd [Modell] Data[ Kontexktkommunikation ]<br />
<br />
<br />
<br />
BUe<br />
<br />
Schienenfahrzeug<br />
Annaeherungsinformation<br />
<br />
<br />
Raeumungsinformation<br />
<br />
<br />
Einschaltsensor : Annaeherungsinformation<br />
<br />
Ausschaltsensor : Raeumungsinformation<br />
<br />
Uebergabepunkt EVU : ElectricCurrent<br />
<br />
ElectricCurrent<br />
<br />
<br />
<br />
<br />
oeffentl. Stromnetz<br />
<br />
Strassenverkehrsteilnehmer<br />
Befahrbarkeit_Strasse<br />
<br />
<br />
<br />
<br />
Befahrbarkeit_Strasse<br />
<br />
<br />
Bedienhandlung_BUe_herunterfahren, Konfigurationsdaten<br />
LZA : Befahrbarkeit_Strasse<br />
<br />
Schrankenanlage : Befahrbarkeit_Strasse<br />
<br />
Bedienschnitstelle LST<br />
<br />
UeS : Befahrbarkeit_Schiene<br />
<br />
HET<br />
<br />
Meldeschnittstelle : Stoerungsmeldung<br />
<br />
Umweltbedingungen<br />
<br />
<br />
<br />
<br />
Umwelt<br />
<br />
LST-Mitarbeiter<br />
Systemzustandsanzeige<br />
<br />
<br />
Befahrbarkeit_Schiene<br />
<br />
<br />
Hilfseinschaltanforderung<br />
Stoerungsmeldung<br />
<br />
<br />
<br />
<br />
<br />
Treibfahrzeugfuehrer<br />
<br />
<br />
Leitstelle<br />
Abbildung 6.14.: Systemabgrenzungssicht nach Ende Phase 1 mit Modifikationen gegenüber Phase 0<br />
115