A mathematical model of the railway signaling rules used in the United Kingdom is presented as an example of the application of formal methods to the design of high-integrity computer equipment. A theory which can be used to specify a general railway network and the proving of the safety of routes within that network has been constructed by use of higher order logic (HOL). The HOL system and the railway signaling model are reviewed. Representation of rail networks and route finding and proving are discussed.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A formal approach to railway signalling


    Weitere Titelangaben:

    Ein formales Modell für die Spezifikation eines sicheren Eisenbahnnetzes


    Beteiligte:
    Cullyer, W.J. (Autor:in) / Wong, W. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    7 Seiten, 7 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal methods for railway signalling

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


    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archiv | 2007


    Application of Formal Methods to the Railway Signalling Systems

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


    Application on formal methods to the railway signalling system

    Terada, Natsuki / Fukuda, Mitsuyoshi | IuD Bahn | 2002