DEPENDABLE SOFTWARE IN RAILWAY SIGNALLING
2005
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
28
References
3
Citations
NaN
KQI