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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Application on formal methods to the railway signalling system


    Additional title:

    Anwendung formaler Methoden in Eisenbahnsicherungssystemen



    Published in:

    Quarterly Report of RTRI ; 43 , 4 ; 169-174


    Publication date :

    2002-01-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archive | 1989


    Application of Formal Methods to the Railway Signalling Systems

    Terada, N. / Fukuda, M. | British Library Online Contents | 2002



    A formal approach to railway signalling

    Cullyer, W.J. / Wong, W. | Tema Archive | 1990


    A New Formal Methods Guidebook for the Railway Signalling Domain

    Schwencke, Daniel / Borälv, Arne / Mejia, Luis-Fernando | TIBKAT | 2023