Für Zugsteuerungssysteme mit Signalverbindungen wurde die CBTC-Software (computer-based train control) entwickelt, die ein Netzwerk miteinander kommunizierender Computer umfasst: sogenannte "on-board"-Computer (im Zug) und "track-side"-Computer (an entsprechenden Stellen, die eine zuverlässige Zugsteuerung und Überwachung gewährleisten). Um die sicherheitsrelevanten Aufgaben der Zugsteuerung über Signalverbindungen zu erfüllen, muss die Software in Bezug auf die Sicherheitsnorm EN 50128 zertifiziert werden. Die den gesamten Entwicklungszyklus abdeckende Lösung heißt Esterel SCADE und wurde als systematische Methode für die Softwareentwicklung für die Zugsteuerung über Signalverbindungen entwickelt. Diese Methode erfüllt die Norm EN 50128 und ist kostengünstiger als andere Methoden. Der Beitrag beschreibt die Softwareentwicklung sowie die Systemarchitektur und Funktion der systematischen Methode Esterel SCADE.
Formal model-based software development for communication-based train control
Systematische Softwareentwicklung für die Zugsteuerung über Signalverbindungen
eb - Elektrische Bahnen ; 108 , 3 ; 119-125
2010-01-01
7 pages
Aufsatz (Zeitschrift)
Deutsch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Formal model-based software development for communication-based train control
Tema Archiv | 2010
|Formal model-based software development for communication-based train control
British Library Online Contents | 2010
|CBTC (Communication Based Train Control): system and development
British Library Conference Proceedings | 2006
|Train autonomous control system and method based on train-train communication
Europäisches Patentamt | 2020
|