An object-oriented formal specification of a configuration language for railway interlockings

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.

Content

Author and article information

Contributors

Cydney Minkowitz

James Atkiss

Conference

Publication date: September 1998

Publication date (Print): September 1998

Pages: 1-20

Affiliations

[0001]ALSTOM Signalling Ltd

Post Office Box 146

Trafford Park

Manchester M60 1AX

United Kingdom

Article

DOI: 10.14236/ewic/NFM1998.14

SO-VID: 3fd3c46b-eee1-42ae-94a3-5f2f4c227841

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 3rd BCS-FACS Northern Formal Methods Workshop

Conference acronym: NFM

Conference number: 3

Conference location: Ilkley, UK

Conference date: 14-15 September 1998

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: BCS-FACS Northern Formal Methods Workshop

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/NFM1998.14

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

An object-oriented formal specification of a configuration language for railway interlockings

Abstract