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.
Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950
Avoidance of systematic software faults through the use of formal methods for the ESTW B950 interlocking system
ETR - Eisenbahntechnische Rundschau ; 54 , 3 ; 111-116
2005
6 Seiten, 3 Bilder, 6 Quellen
Article (Journal)
German
Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950
Online Contents | 2005
|Migration des ESTW B950 - Release 2.0 in Mannheim-Rheinau
Tema Archive | 2009
|Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz
Automotive engineering | 1998
|Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Tema Archive | 1997
|