Toggle Main Menu Toggle Search

Open Access padlockePrints

Safety Verification of Heterogeneous Railway Networks

Lookup NU author(s): Paulius Stankaitis, Dr Alexei Iliasov


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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

Publication metadata

Author(s): Stankaitis P, Iliasov A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail 2016)

Year of Conference: 2016

Pages: 150-159

Online publication date: 15/06/2016

Acceptance date: 02/04/2016

Publisher: Springer


DOI: 10.1007/978-3-319-33951-1_11

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319339504