Formal verification of safety-critical systems is crucial for demonstrating their safety to the certification bodies. In particular, the railway network validation requires rigorous analyses and the use of for- mal methods to meet railway standards. This student paper outlines objectives and the current progress of the work on verification of complex railway networks consisting of the areas with different signalling and interlocking.
CITATION STYLE
Stankaitis, P., & Iliasov, A. (2016). Safety verification of heterogeneous railway networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9707, pp. 150–159). Springer Verlag. https://doi.org/10.1007/978-3-319-33951-1_11
Mendeley helps you to discover research relevant for your work.