Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    An Object-oriented Formal Specification of a Configuration Language for Railway Interlockings

    3rd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th September 1998

    AUTHORS

    C. Minkowitz & J. Atkiss

    ABSTRACT

    The Solid-state interlocking system (SSI) [1] is one of the most popular railway signalling systems in use today.

    It has been successfully installed in several hundred sites around the world, and has a proven safety track record.

    The concept of SSI was developed in the late 1970s by British Railways Research and Development Division, and the system was engineered by British Railways, GECGeneral Signal Limited and Westinghouse Signals Limited in the early 1980s.

    Since then, the system has been enhanced by the three industrial partners.

    PAPER FORMATS

    PDF filePDF Version of this Paper (124kb)