Alle Verkehrsmittel setzen inzwischen Computertechnik ein um schneller und effizienter Menschen und Güter zu befördern. Dies gilt sowohl für den Luftfahrtbereich, wo Kabel und Elektronik Hydraulikleitungen in Flugzeugen verdrängen, wie auch in der Automobilindustrie, wo moderne Fahrzeuge ohne elektronische Helfer wie Antiblockierschutz oder Airbag nicht mehr denkbar sind. Auch im Bahnbereich, insbesondere in der Signaltechnik, spielen Software und Computertechnik bereits seit den 1970er Jahren eine zentrale Rolle. Einige Beispiele dafür sind verschiedene rechnergesteuerte Zugbeeinflussungssysteme, wie Linienzugbeeinflussung oder das European Train Control System und die Stellwerkstechnik. Der Einsatz von Software in der Entwicklung von Bahnsystemen eröffnet neue Möglichkeiten, wobei allerdings die Sicherheit der Systeme nicht vernachlässigt werden darf. Bombardier Transportation hat dafür Maßnahmen entwickelt, die in der Entwicklung des elektronischen Stellwerks ESTW (Elektronisches Stellwerk) B950 verwendet werden. Es wird am Beispiel des Entwurfs des zentralen Stellwerksrechners beschrieben, wie durch die Anwendung von formalen und semiformalen Methoden die Sicherheit der Software gesteigert wird und wie der generelle Ansatz darüber hinaus die Flexibilität und Effizienz bezüglich der Projektierung verschiedener Bahnhöfe erhöht. Bombardier Transportation hat in den letzten drei Jahrzehnten weltweit mehr als 500 ESTW in Betrieb genommen.


    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


    Additional title:

    Avoidance of systematic software faults through the use of formal methods for the ESTW B950 interlocking system


    Contributors:

    Published in:

    Publication date :

    2005


    Size :

    6 Seiten, 3 Bilder, 6 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German