Keyword

railway interlocking

Description: Railway interlocking is a system of signals, switches, and control logic that prevents conflicting train movements on railway routes.

Primary topic: Transportation Systems and Safety (31%)

Wikidata ID: wiki/Q630950

OpenAlex ID: keywords/railway-interlocking

Model Checking Interlocking Control Tables

2011 · Alessio Ferrari, Gianluca Magnani, et al. · Springer eBooks · 85

Formal Methods in railways: a systematic mapping study

2022 · Ferrari A., Ter Beek M. H. · ISTI Open Portal · 80

Model Checking PLC Software Written in Function Block Diagram

2010 · Olivera Pavlovic, Hans-Dieter Ehrich · International Conference on Software Testing, Verification, and Validation · 66

Formal Verification of a Railway Interlocking System using Model Checking

1998 · A. Cimatti, F. Giunchiglia, et al. · Formal Aspects of Computing · 61

PDF

Formal modelling and verification of interlocking systems featuring sequential release

2016 · Linh Hong Vu, Anne E. Haxthausen, et al. · Science of Computer Programming · 60

PDF

Some Trends in Formal Methods Applications to Railway Signaling

2012 · Alessandro Fantechi, Wan Fokkink, et al. · Formal Methods for Industrial Critical Systems · 56

Automated Verification of Signalling Principles in Railway Interlocking Systems

2009 · Karim Kanso, Faron Moller, et al. · Electronic Notes in Theoretical Computer Science · 55

PDF

Modelling large railway interlockings and model checking small ones

2003 · Kirsten Winter, Neil Robinson · 53

Testing of relay-contact circuits of railway signalling and interlocking

2017 · Dmitry Efanov, Andrey Lykov, et al. · IEEE East-West Design & Test Symposium (EWDTS) · 50

Techniques for modelling and verifying railway interlockings

2014 · Phillip James, Faron Moller, et al. · International Journal on Software Tools for Technology Transfer · 50

The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity

2002 · H. Kantz, C. Koza · 48

Model checking railway interlocking systems

2002 · Kirsten Winter · 44

Towards model checking executable UML specifications in mCRL2

2010 · Helle Hvid Hansen, Jeroen Ketema, et al. · Innovations in Systems and Software Engineering · 43

Verification of Railway Interlocking - Compositional Approach with OCRA

2016 · Christophe Limbrée, Quentin Cappart, et al. · Lecture notes in computer science · 40

Tool support for checking railway interlocking designs

2006 · Kirsten Winter, Wendy Johnston, et al. · 40

Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings

2012 · Kirsten Winter · Lecture notes in computer science · 38

Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System

1998 · Alessandro Cimatti, Fausto Giunchiglia, et al. · Lecture notes in computer science · 37

The Past, Present and Future of Railway Interlocking System

2020 · Lujiang Huang · IEEE International Conference on Intelligent Transportation Engineering (ICITE) · 36

The Future of Train Signaling

2008 · Andreas Svendsen, Gøran K. Olsen, et al. · Lecture notes in computer science · 36

Railway interlocking systems and Gröbner bases

2000 · Eugenio Roanes-Lozano, Eugenio Roanes-Macías, et al. · Mathematics and Computers in Simulation · 36

An approach to automatic development of interlocking logic based on Statechart

2011 · Xiangxian Chen, Yulin He, et al. · Enterprise Information Systems · 34

Verification of Interlocking Systems Using Statistical Model Checking

2017 · Quentin Cappart, Christophe Limbree, et al. · Proceedings - IEEE International Symposium on High-Assurance Systems Engineering/Proceedings · 33

PDF

Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

2015 · Linh H. Vu, Anne E. Haxthausen, et al. · Communications in computer and information science · 33

Applied Bounded Model Checking for Interlocking System Designs

2014 · Anne E. Haxthausen, Jan Peleska, et al. · Lecture notes in computer science · 33

Verification of Solid State Interlocking Programs

2014 · Phillip James, Andy Lawrence, et al. · Lecture notes in computer science · 33

Works count: 846

Citation count: 4,198