Zur Qualitätsverbesserung der Software elektronischer Signalanlagen erscheint der Übergang auf Methoden, die sich formaler Sprachen bedienen, geeignet zu sein. Dazu müssen auch die Spezifikationen in eine formale Sprache übertragen werden. Der anfänglich erhöhte Aufwand steht späteren Einsparungen gegenüber, da logische Widersprüche sofort aufgedeckt werden. Beschrieben wird die Anwendung formaler Methoden auf ein digitalisiertes ATC-System (ATC=Automatic Train Control). Besonders eingegangen wird auf die Prüfpflichten, die zum überwiegenden Teil automatisch und zum Teil aber auch interaktiv ausgelöst werden müssen.
Application on formal methods to the railway signalling system
Anwendung formaler Methoden in Eisenbahnsicherungssystemen
Quarterly Report of RTRI ; 43 , 4 ; 169-174
2002-01-01
6 pages
Aufsatz (Zeitschrift)
Englisch
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Formal methods for railway signalling
Tema Archiv | 1989
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|A formal approach to railway signalling
Tema Archiv | 1990
|A New Formal Methods Guidebook for the Railway Signalling Domain
TIBKAT | 2023
|