DEPENDABLE SOFTWARE IN RAILWAY SIGNALLING

Timothy L. Johnson, Hunt A. Sutherland, Bart Ingleston, Bruce H. Krogh
2005 IFAC Proceedings Volumes  
Railway signalling software and safety requirements are summarized, and three short examples of the application of new methods to the assurance of dependability are provided. The strengths and shortcomings of existing methods relative to application needs are illustrated. The analogy between railway signalling and other distribution processes in manufacturing and supply chain management is noted.
doi:10.3182/20050703-6-cz-1902.01432 fatcat:6msyr6tljnf2zkoi7rw4x2diyq