Text size
  • Small
  • Medium
  • Large
  • 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


    C. Minkowitz & J. Atkiss


    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.


    PDF filePDF Version of this Paper (124kb)