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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Application of formal methods to signalling systems using techniques based on stepwise refinement


    Additional title:

    Anwendung formaler Methoden in der Signaltechnik auf Grundlage der schrittweisen Verfeinerung



    Published in:

    Quarterly Report of RTRI ; 49 , 3 ; 168-172


    Publication date :

    2008-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English