Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems. The reliability, safety and integrity of these systems, relies on reliability and integrity of all stages in their lifecycle including the design, verification, manufacture, test, operation and maintenance.In this paper, the Automatic generation and verification of interlocking control tables, as one of the most important stages in the interlocking design process has been focused on, by the safety critical research group in the School of Railway Engineering, SRE. Three different subsystems including a graphical signalling layout planner, a Control table generator and a Control table verifier, have been introduced. Using NuSMV model checker, the control table verifier analyses the contents of control table besides the safe train movement conditions and checks for any conflicting settings in the table. This includes settings for conflicting routes, signals, points and also settings for route isolation and single and multiple overlap situations. The latest two settings, as route isolation and multiple overlap situations are from new outcomes of the work comparing to works represented on the subject recently.
Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
2009
Aufsatz (Zeitschrift)
Elektronische Ressource
Unbekannt
Metadata by DOAJ is licensed under CC BY-SA 1.0
Automatic instantiation for railway interlocking systems
Tema Archiv | 2007
|Verification of Railway Interlocking - Compositional Approach with OCRA
British Library Conference Proceedings | 2016
|Static Verification of Railway Schema and Interlocking Design Data
British Library Conference Proceedings | 2016
|Simulation and verification of UML-based Railway Interlocking Systems
Tema Archiv | 2007
|