Lookup NU author(s): Dr Alexei Iliasov,
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The paper presents an experience of verifying a large scale, real-life dataset describing various aspects of railway station design. We discuss how a number of assorted digital artefacts were pooled together and converted into a set-theoretic model over which a type inference procedure is run. The typed model is then used to confirm or contradict logical conjectures over data elements. We employ a number of state-of-the-art SMT solvers as a verification back-end. The project is ongoing but has already identified a number of issues in topology definition and signalling data that were missed by other automated tests and not revealed by simulation tools.
Author(s): Iliasov A, Stankaitis P, Adjepon-Yamoah D
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
Online publication date: 15/06/2016
Acceptance date: 02/04/2016
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science