Results 11 to 20 of about 15,562 (227)
Benefits of remote control on the railway lines
Acta Polytechnica CTU Proceedings, 2023 Railway transport in the Czech Republic largely uses transit corridors, which are significantly more used than the rest of the railway network. This assumption leads to an increase in the safety of these lines and gradual double-tracking.
Lukáš Křižan, Martin Vojtek
doaj +1 more source
Alister 2.0 - Programmable Logic Controllers in Railway Interlocking Systems for Regional Lines of the DB Netze AG [PDF]
, 2011 Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 -- an interlocking system based on industry-proven standard components: Safety PLCs in distributed nodes communicate over safe network ...
Bleidiessel, Joachim +2 more
core +1 more source
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 +1 more source
Towards Model Checking Executable UML Specifications in mCRL2 [PDF]
, 2009 We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events.
A Cimatti +11 more
core +8 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 ...
BONACCHI, ANDREA +3 more
openaire +1 more source
Dynamic Automated Search of Shunting Routes within Mesoscopic Rail-Traffic Simulators
Journal of Advanced Transportation, 2021 Software tools using computer simulations are frequently used in the research and optimization of railway transport systems. Such simulations serve to examine different railway traffic scenarios (which typically reflect different timetables and railway ...
Antonin Kavička, Pavel Krýže
doaj +1 more source
Applied Sciences, 2022 The identification of the position of rail vehicles plays a crucial role in the control of rail traffic. Available, up-to-date information on the position of vehicles allows us to efficiently deal with selected traffic situations where the position of ...
Jan Fikejz, Antonín Kavička
doaj +1 more source
GTN - Information System Supporting the Dispatcher and Remote Tracks Control
Communications, 2010 When constructing new corridor tracks, but also when reconstructing the existing ones of all categories, new significant improvements and innovations occur in the contruction area. Consequently, the same phenomenon occurs in the newly installed securing,
Emil Krsak +2 more
doaj +1 more source
Timed Fault Tree Models of the China Yongwen Railway Accident [PDF]
, 2014 Safety is an essential requirement for railway transportation. There are many methods that have been developed to predict, prevent and mitigate accidents in this context. All of these methods have their own purpose and limitations.
Johnson, Chris +4 more
core +1 more source
Model-Driven Engineering of a Railway Interlocking System
Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, 2015 Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification ...
SCIPPACERCOLA, FABIO +3 more
openaire +3 more sources