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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Anwendung formaler Methoden in der Signaltechnik auf Grundlage der schrittweisen Verfeinerung



    Erschienen in:

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


    Erscheinungsdatum :

    2008-01-01


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch