Toggle Main Menu Toggle Search

Open Access padlockePrints

Theories, Techniques and Tools for Engineering 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.


© Springer International Publishing AG 2017. Modernising outdated national railway systems will be done gradually due to practical constraints thus creating network areas with different signalling systems. Formal methods have been successfully applied in the railway domain for years. Yet the latest railway challenges such as heterogeneous railway signalling will require novel modelling techniques and adequate verification tools support. In this research we aim to develop new theories, techniques and tools for modelling and verification of complex networks comprising areas with a mixed signalling. This student paper discusses the research problem, related work and presents the ongoing work.

Publication metadata

Author(s): Stankaitis P, Iliasov A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: RSSRail 2017: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Year of Conference: 2017

Pages: 241-250

Print publication date: 20/10/2017

Online publication date: 19/10/2017

Acceptance date: 02/04/2016

ISSN: 0302-9743

Publisher: Springer Verlag


DOI: 10.1007/978-3-319-68499-4_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISBN: 9783319684987