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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal model-based software development for communication-based train control


    Weitere Titelangaben:

    Systematische Softwareentwicklung für die Zugsteuerung über Signalverbindungen



    Erschienen in:

    eb - Elektrische Bahnen ; 108 , 3 ; 119-125


    Erscheinungsdatum :

    2010-01-01


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch





    Formal model-based software development for communication-based train control

    Bouali, A. / Hodgson, I. | British Library Online Contents | 2010


    CBTC (Communication Based Train Control): system and development

    Bin, N. / Tao, T. / Min, Q. K. et al. | British Library Conference Proceedings | 2006


    Train-Centric Communication Based Autonomous Train Control System

    Song, Haifeng / Gao, Shigen / Li, Yidong et al. | IEEE | 2023


    Train autonomous control system and method based on train-train communication

    XU HAIGUI / WANG XIAOYONG / LU YIRAN | Europäisches Patentamt | 2020

    Freier Zugriff