Safety of Application Programming for Railway Signal Controllers

Burch S. Wall M. “Worth of Modelling for Assessing the Intrinsic Capability of NDT”, 15th World Conference on Non-Destructive Testing, Rome, October 2000.

Campos S. Cimatti A. Clarke E. Giunchiglia F.V. Hartonas-Garmhausen. “Verification of a Safety-Critical Railway Interlocking System with Real-time Constraints”, Various Universities, available on the internet.

Cribbens A.H. Solid-state interlocking (SSI): An integrated electronic signalling system for mainline railways. IEE Proceedings, 134(B3), 1987.

Eriksson L.-H. Johansson K. “Using formal methods for quality assurance of interlocking systems”. COMPRAIL98.

Fokkink W. Hollingshead P. “Verification of Interlockings: from Control Tables to Ladder Logic”, University of Swansea, available on the internet.

IEC 61131–3, Programmable Controllers — Part 3 Programming Languages.

Littlewood B. Popov P. Strigini L. “Modelling the effects of combining diverse software fault detection techniques”, IEEE Transactions on Software Engineering, Vol. 26, No. 12, 2000.

McDermid J. “Software Safety: Where's the Evidence?”, 6th Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS ′01), Brisbane.

Shannon I. Short R. “Interlocking Developments”, IRSE Proceedings, 2004–2005.

IEC 61508, Functional safety of electrical/electronic/ programmable electronic safety-related systems.

EN 50128, Railway applications — communications, signalling and processing systems — software for railway control and protection systems. (Note: this is in effect the railway sector-specific version of the software parts of IEC 61508).