Verification of railway interlocking systems (original) (raw)
Related papers
Verification of a safety-critical railway interlocking system with real-time constraints
Fausto Giunchiglia, Alessandro Cimatti
1998
Formal verification of a railway interlocking system using model checking
Fausto Giunchiglia, Alessandro Cimatti
1998
Towards an Integrated Model Checker for Railway Signalling Data
Lecture Notes in Computer Science, 2002
Model checking railway interlocking systems
Australian Computer Science Communications, 2002
Validation process for railway interlocking systems
Science of Computer Programming, 2016
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design
2001
Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Transport Problems, 2009
2009
Automated Verification of Signalling Principles in Railway Interlocking Systems 1
2010
Automated Verification of Signalling Principles in Railway Interlocking Systems
Electronic Notes in Theoretical Computer Science, 2009
2018
2008
Pollack Periodica, 2019
Automatically Verifying Railway Interlockings using SAT-based Model Checking
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Compositional Verification of Railway Interlocking Systems
Formal Aspects of Computing
Verification of Interlocking Systems Using Statistical Model Checking
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), 2017
Moeketse Kuenane, Stěpán Klapka
Techniques for modelling and verifying railway interlockings
International Journal on Software Tools for Technology Transfer, 2014
Verification of Railway Interlocking - Compositional Approach with OCRA
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
Verification by discrete simulation of interlocking systems
2015
Practical Verification of Railway Signalling Programs
IEEE Transactions on Dependable and Secure Computing, 2023
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings
2012
A Model-based Approach for the Modeling and the Verification of Railway Signaling System
Validation of Railway Control Systems
Validation and Verification of Automated Systems, 2019
A formal modeling methodology of the French railway interlocking system via HCPN
Computers in Railways XIV, 2014
Verification of railway network models with EVEREST
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
A Formal IDE for Railways: Research Challenges
Springer eBooks, 2023
Model-Driven Engineering of a Railway Interlocking System
Zentai András, Roberto Pietrantuono
Compositional Verification of Railway Interlockings: Comparison of Two Methods
Springer eBooks, 2022