Solid State Interlocking (SSI), a computer-based railway signalling system, is used extensively by British Rail and also by other railway administrations. An interlocking is implemented as a generic program, the same for all areas, together with a geographic database which serves as a detailed map of the track and signalling equipment in a specific area of control. The authors formally model SSI behaviour as that of a finite state automaton with next-state and output functions defined by geographic data. Safety of interlocking is modelled as a family of predicates of state, and a proof strategy based on mathematical induction is designed for showing that safety predicates remain invariant over an indefinite number of cycles. The strategy allows for a mixed approach to proof: high-level and proof of lemmas relating to the transitivity of safety, and lower-level mechanized proof of detailed steps. The formal model also lends itself to investigation of the safety of behaviour patterns in the environment controlled by an interlocking. A pattern of is a subset of input sequences, and the automaton connects this to a set of states which remain invariant under such input. This connection is shown to induce topologies into state-space and into the environment.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Proving safety of a railway signalling system incorporating geographic data


    Weitere Titelangaben:

    Sicherheitserprobung eines Eisenbahnsigalsystems in Verbindug mit geograpischen Daten


    Beteiligte:
    Ingleby, M. (Autor:in) / Mitchell, I. (Autor:in)


    Erscheinungsdatum :

    1992


    Format / Umfang :

    6 Seiten, 1 Bild, 8 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Software Safety Technologies for Railway Signalling

    Hirao, Y. / Fukuda, M. | British Library Online Contents | 1998


    Software safety technologies for railway signalling

    Hirao, Yuji / Fukuda, Mitsuyoshi | IuD Bahn | 1999


    Railway signalling - achieving concurrent safety and reliability

    Cook, S. R. / Institution of Mechanical Engineers / Institution of Civil Engineers | British Library Conference Proceedings | 2001


    Safety critical computers for railway signalling applications

    Apperson, J. / Waterman, R. C. / Association of American Railroads| Railway Technical Research Institute, Japan | British Library Conference Proceedings | 1994


    Railway signalling

    Towers, H.C. | Engineering Index Backfile | 1949