Results 1 to 10 of about 15,562 (227)
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 +5 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 +4 more sources
Formal Verification of the Danish Railway Interlocking Systems [PDF]
, 2014 In this paper, we present a method for formal verification of the new Danish railway interlocking systems. We made a generic and reconfigurable model of the behaviors and high-level safety properties of non-collision and nonderailment. This model accommodates sequential release – a new feature in the new Danish interlocking systems.
Haxthausen, Anne Elisabeth +2 more
core +1 more source
Research on Shunting Protection Function Based on Radio Based Signalling Control System
Kongzhi Yu Xinxi Jishu, 2022 Traditional shunting protection system realizes shunting protection function by setting up special control equipment, which has large investment and complex system structure.In order to avoid repeated investment in new equipment, a shunting protection ...
LI Tao +5 more
doaj +3 more sources
Compositional Verification of Railway Interlocking Systems
Formal Aspects of Computing, 2023 Model checking techniques have often been applied to the verification of railway interlocking systems, responsible for guiding trains safely through a given railway network. However, these techniques fail to scale to the interlocking systems controlling large stations, composed of hundreds and even thousands of controlled entities, due to the state ...
Haxthausen, AE, Fantechi, A
openaire +3 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 +1 more source
Rationing of the number of signals and interlockings in the operational stock of railway stations [PDF]
MATEC Web of Conferences, 2019 The operational stock of signals and interlockings is necessary to ensure the uninterrupted operation of the electric interlocking systems in the event of their component failure.
Lebid Iryna +5 more
doaj +1 more source
Algorithms, 2022 The author recently designed, developed and implemented in Maple a package based on the use of digraphs that analyses the connectivity of an overtaking station on a double-track line.
Eugenio Roanes-Lozano
doaj +1 more source
Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe
Promet (Zagreb), 2022 Interlockings are an essential element of the railway system. They are necessary to command and control devices, such as points and signals in order to route trains within the bounds of railway stations.
Florin BĂDĂU
doaj +1 more source
Applied Sciences, 2022 In the field of railway operation, it is essential to establish uniform conditions for interconnectivity requirements and compatibility of equipment in the Pan-European railway area to ensure effective interoperability. It also includes, for example, the
Milan Dedík +4 more
doaj +1 more source