Die Computertechnik beeinflusst heute weite Bereiche in der Eisenbahnsignaltechnik. Sicherheitstechnisch weitestgehend etabliert ist die Hardware, während die Technologie bei der Software nicht den gleichen Fortschritt gemacht hat. In Japan wurde unter Anwendung formaler Methoden eine Studie zur Steigerung der Zuverlässigkeit der Software durchgeführt. Dieser Bericht beschreibt das Konzept der schrittweisen Verbesserung und präsentiert ein Beispiel anhand einer Berechnung der zulässigen Geschwindigkeit und der Bremskurve für einen vorgegebenen Bremsweg.
Application of formal methods to signalling systems using techniques based on stepwise refinement
Anwendung formaler Methoden in der Signaltechnik auf Grundlage der schrittweisen Verfeinerung
Quarterly Report of RTRI ; 49 , 3 ; 168-172
2008-01-01
5 pages
Aufsatz (Zeitschrift)
Englisch
Sicherheit , Bremsweg , Bremskurve , Japan , Computer , Software , Zuverlässigkeit
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Application of Formal Methods to Signalling Systems Using Techniques Based on Stepwise Refinement
Online Contents | 2008
|Application of Formal Methods to Signalling Systems Using Techniques Based on Stepwise Refinement
British Library Online Contents | 2008
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|Formal methods for railway signalling
Tema Archiv | 1989
|