ETR – Eisenbahntechnische Rundschau | Ausgabe 03/2005
Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950
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 ABS 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 LZB oder ETCS und die Stellwerkstechnik. Bombardier Transportation hat in den letzten drei Jahrzehnten weltweit mehr als 500 ESTW in Betrieb genommen.