Results 1 to 10 of about 285,209 (280)
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
Integral railway interlocking system and its assessment according to European standards
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 +2 more sources
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
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 +4 more sources
Experience using Coloured Petri Nets to Model Railway Interlocking Tables [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified.
Somsak Vanit-Anunchai
doaj +4 more sources
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
Model of the synchronization network functioning process in the context of intellectualization of network control functions [PDF]
E3S Web of Conferences, 2020 This paper provides a simulation model of the synchronization network (SN) functioning process, which is distinguished by the completeness of accounting for the functioning states.
Kanaev A.K., Oparin E.V., Oparina E.V.
doaj +1 more source
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
Interlocking Settlement Induced by Widening Subgrade of Railway Line
Applied Sciences, 2022 In areas where it is difficult to secure additional land for railways, a plan to increase rail transport capacity by widening existing embankments is required.
Dae Sang Kim, Ungjin Kim, Young Kon Park
doaj +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