Results 211 to 220 of about 285,209 (280)

Formal verification of railway interlocking and its safety case

Safer Systems: The Next 30 Years, 2022
The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods for assurance and verification of their safety.
A. Romanovsky, A. Iliasov, Dominic Taylor, Linas Laibinis   +3 more
semanticscholar   +1 more source

THE PROGRAMMABLE RAILWAY SIGNALLING INTERLOCKING

IFAC Proceedings Volumes, 1987
Abstract In many countries, railway companies and interlocking manufacturers are designing computerized interlockings. ACEC, in Belgium, is developing a system based on a triple hardware redundancy of the signal box computers and double hardware redundancy for the lineside equipments.
P. De Beck, J. Demeur, V. Passau, P. Zoetardt   +3 more
openaire   +1 more source

i*-Based Goal-Oriented Modeling and Requirements Specification of an Urban Railway Interlocking System

, 2022
. Urban railway interlocking system is a safety-critical system, for which interlocking rules are well-defined by international standards to assure safe operations.
Lokanna Kadakolmath, Umesh D R
semanticscholar   +1 more source

Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems

IEEE Latin America Transactions, 2021
Electronic railway interlockings are critical embedded systems which control the safe operation of train signals. Due to the broad variety of railway network topologies and the high functional safety level required, a flexible solution is needed, capable
R. Ghignone, Cristian Federico Falco, F. S. Larosa, Hernán Pablo Mendes Gouveia, L. Chang, M. N. Menéndez, Ariel Lutenberg   +6 more
semanticscholar   +1 more source

Instantiating generic charts for railway interlocking systems

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
The development of computer controlled Railway Interlocking Systems has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard.
M. BANCI, FANTECHI, ALESSANDRO
openaire   +4 more sources

Model-Based Testing of Railway Interlocking Systems

Leveraging Applications of Formal Methods
Alessandro Cimatti, Shaker Khandaker, Fitsum Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli   +7 more
openaire   +2 more sources

Interlocking principles [railway signalling]

IET Professional Development Course on Railway Signalling and Control Systems (RSCS 2010), 2010
The derivation of the purpose of signalling has been discussed and those for interlocking expanded upon. In turn the interlocking requirements can be broken down to fundamental requirements of trailing, facing and crossing elements, from which any layout, however complex, can be constructed.
openaire   +1 more source

Railway interlocking systems and Gröbner bases

Mathematics and Computers in Simulation, 2000
Railway interlocking systems are designed to prevent conflicting actions (related to the position of switches and signals) during everyday railway exploitation. A decision model (independent from the topology of the station) based on the use of polynomial ideals and Grobner bases is presented.
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita   +2 more
openaire   +1 more source

Deep Learning Based Online Diagnosis for Railway Interlocking System

2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)
Intelligent fault diagnosis based on operational data for railway interlocking systems is now an innovative approach to system maintenance. However, the main barriers to fault diagnosis are high-dimension and long-sequence features of the railway ...
Huan Zheng, Zhiguo Liang, Hongyang Zhang, Zhihua Qi, Haifeng Wang, Wei Zheng   +5 more
semanticscholar   +1 more source

The Past, Present and Future of Railway Interlocking System

International Conferences on Intelligent Transportation Engineering, 2020
Railway Interlocking system is the most fundamental and important part of railway signaling system. It ensures the safety of train movement. With the development of railway signaling system, it has experienced three stages: mechanical interlocking system,
Luji Huang
semanticscholar   +1 more source