Der Einsatz von Software und Computertechnik spielt bei der Bahn - insbesondere in der Stellwerkstechnik und bei der Zugbeeinflussung - eine wesentliche Rolle. Die europäische CENELEC-Norm 50128 schafft für Softwareanwendungen im Bahnbereich den Rahmen für und Anforderungen an die Entwicklung sicherheitskritischer Software. Der Beitrag schildert die von Bombardier Transportation bei der Entwicklung der Software des ESTW B950 eingesetzten Verfahren, mit besonderem Schwerpunkt auf der Software des Stellwerkrechners. Präsentiert werden Kodierungsrichtlinien und weniger verwendete Techniken wie formale und semi-formale Methoden, die ausdrücklich von der CENELEC-Norm 50128 zur Entwicklung von SIL3- und SIL4-Software empfohlen werden.. Am Beispiel des Entwurfs des zentralen Stellwerksrechners wird beschrieben wie der Einsatz dieser Methoden die Sicherheit der Software steigert. Der generelle Ansatz erhöht außerdem die Flexibilität und Effizienz bezüglich der Projektierung verschiedener Bahnhöfe.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950



    Published in:

    Publication date :

    2005-01-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German