Results 1 to 10 of about 99,408 (239)
Verification of railway interlocking systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to allow a safe operation of the train traffic.
Simon Busard +4 more
doaj +7 more sources
Integral railway interlocking system and its assessment according to European standards [PDF]
Acta Polytechnica CTU Proceedings, 2023 This paper analyses the component of the Integrated Interlocking System which forms the central logical and functional unit implementing all logical and computational functions necessary for railway traffic control in the Railway 4.0 concept.
Tomáš Brandejský +2 more
doaj +5 more sources
Electronic Research Archive, 2023 Decision-making in a railway station regarding the compatibility of the positions of the switches of the turnouts and the indications (proceed/stop) of the railway colour light signals is a safety-critical issue that is considered very labor-intensive ...
Antonio Hernando +3 more
doaj +2 more sources
Compositional Verification of Railway Interlocking Systems
Formal Aspects of Computing, 2022 Model checking techniques have often been applied to the verification of railway interlocking systems, responsible for guiding trains safely through a given railway network.
A. Haxthausen, A. Fantechi
semanticscholar +4 more sources
Journal of Advanced Transportation, 2022 Railway systems should be resilient to play a key role in creating sustainable development. Single-track railway lines are seen as potential bottlenecks due to limited capacity.
Michael Bažant, Josef Bulíček
doaj +2 more sources
Validation process for railway interlocking systems
Science of Computer Programming, 2016 Abstract An interlocking system monitors the status of the objects in a railway yard, allowing or denying the movement of trains, in accordance with safety rules. The high number of complex interlocking rules that guarantee the safe movements of independent trains in a large station makes the verification of such systems a complex task, which needs ...
A. Bonacchi +3 more
semanticscholar +2 more sources
Towards safe and secure computer based railway interlocking systems [PDF]
International Journal of Transport Development and Integration, 2020 Railway interlocking systems (RIS) are responsible for the control of trains’ movements by allowing or denying their routing according to safety rules.
Sebastien Martinez +4 more
semanticscholar +2 more sources
RailML application for description of railway interlocking systems
AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe, 2018 The original RailML specification comes from 2002 and was defined using XML. Files in the RailML standard can be used for storing and exchanging data between numerous interfaces of railway ICT systems.
T. Ciszewski +2 more
semanticscholar +3 more sources
A fast and general algebraic approach to Railway Interlocking System across all train stations
AIMS MathematicsRailway interlocking systems are crucial safety components in rail transportation, designed to prevent train collisions by regulating switch positions and signal indications.
Antonio Hernando +2 more
doaj +2 more sources
A library in CoCoA for implementing railway interlocking systems
Journal of Computational and Applied Mathematicshttps://openpolicyfinder.jisc.ac.uk/id/publication ...
Antonio Hernando +4 more
semanticscholar +4 more sources