The safety of railway signalling systems depends on the correctness of the programming of a logical controller known as an interlocking. Assurance of correctness is usually achieved by a combination of testing, both on simulation systems and on the target hardware, and manual or tool-assisted checking of the data, with use being made in some cases of techniques of static analysis and formal methods. The paper proposes a common model for assessing disparate techniques used as part of various proprietary systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety assurance of configuration data for railway signal interlockings


    Beteiligte:
    Short, R.C. (Autor:in)

    Erscheinungsdatum :

    01.01.2006


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Consolidated interlockings

    Engineering Index Backfile | 1933


    Simulating and analyzing railway interlockings in ExSpect

    Basten, Twan / Bol, Roland / Voorhoeve, Marc | TIBKAT | 1994



    Electric railway traction. Part 4: Signalling and interlockings

    Hill, R.J. | IET Digital Library Archive | 1995


    NYC combines interlockings

    Engineering Index Backfile | 1954