Results 11 to 20 of about 285,209 (280)
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
IEEE AccessInterlocking tests are an important part of ensuring the safe and secure operation of trains, and it is urgent for these tests to be more intelligent, automatic, and networked. The requirements for interlocking tests are particularly stringent during the
Rui Zhang
doaj +2 more sources
Real-Time Control System for Model Railway Based on SIMIS W Interlocking System
Applied SciencesModern railway signalling systems are critical for ensuring the safe and efficient operation of railway networks. Educational institutions play a vital role in training students to design and implement these systems, replicating practical scenarios to ...
Dávid Macko +3 more
doaj +2 more sources
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
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
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
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
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
International Journal of Automation and Logistics, 2015 A railway junction is a critical element for a reliable rail transport operation. An incorrectly selected interlocking type may cause delayed and unsafe rail transport operations. Our research shows that the use of railway junction interlocking and signalling formal methods enables a consistent comparison of various types of interlockings and ...
Mocki, Jacek, Vlacic, Ljubo
openaire +2 more sources
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