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.
Vermeidung systematischer Softwarefehler durch den Einsatz formaler Methoden für das ESTW B950
ETR - Eisenbahntechnische Rundschau ; 54 , 3 ; 111-116
2005-01-01
6 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
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
|