At the moment, railway signalling systems are designed in a manner which is based on concepts of interlocking and signalling which have grown up over the last 150 years. Considerable use is made of 'relay diagrams' and tables to define interlocking and routing. The excellent safety record of railways worldwide is due to a large extent to the rigour of the regulations which have been evolved by generations of signalling and telecommunications engineers. With the increasing use of microelectronics and computing in railway signalling, it is reasonable to ask if the rules promulgated by the UK Institute of Railway Signalling Engineers can be formulated in a mathematical way, which will suit the development of computer-controlled interlocking and routing. In particular, this paper considers the application of the specification language HOL and computer languages such as Pascal.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal methods for railway signalling


    Additional title:

    Signaltheorie für das Eisenbahn-Signalwesen


    Contributors:
    Cullyer, W.J. (author) / Wise, J.W. (author)


    Publication date :

    1989


    Size :

    6 Seiten, 7 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    Application on formal methods to the railway signalling system

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



    Formal specifications of railway signalling systems using Stateflow

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