DEPENDABLE SOFTWARE IN RAILWAY SIGNALLING

Abstract 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.