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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Application on formal methods to the railway signalling system


    Weitere Titelangaben:

    Anwendung formaler Methoden in Eisenbahnsicherungssystemen



    Erschienen in:

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


    Erscheinungsdatum :

    2002-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archiv | 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 Archiv | 1990


    A New Formal Methods Guidebook for the Railway Signalling Domain

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