The SafeCap project develops modeling methods for increasing railroad capacity while ensuring that safety standards are maintained. This paper focuses on railway signaling verification and operational safety verification concerns. Aspects of verification such as rigor, scalability and feedback are discussed, as well as, techniques such as manual review, simulation, and model checking. The authors test their approach including modeling the Carlisle Citadel station and junctions.
['Alexei Iliasov', 'Ilya Lopatkin', 'Alexander Romanovsky']
Practical Formal Methods in Railways - The SafeCap Approach