Results 201 to 210 of about 99,408 (239)

Automatic Instantiation for Railway Interlocking Systems

2007
Real-life systems can be conveniently modeled by the replication and interconnection of simple components of few types: different configurations of the same system may vary just for the number of components and for the topology of their interconnections.
Banci M, Gnesi S
openaire   +2 more sources

An applicable topology-independent model for railway interlocking systems

Mathematics and Computers in Simulation, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roanes-Lozano, Eugenio, Laita, Luis M.
openaire   +1 more source

The safety-bag expert system in the electronic railway interlocking system elektra

Expert Systems with Applications, 1991
Abstract The real-time expert system “Safety-Bag” is an integral part of the electronic railway interlocking system ELEKTRA. The interlockinh system contains a logic channel, which processes commands, and a safety channel, which checks the commands according to safety rules.
openaire   +1 more source

System Structure for Railway Switch Points and Signals Electrical Interlocking Powered by Renewable Energy Sources and Emergency Cable Network

International Conference on Industrial Engineering, Applications and Manufacturing
Article propose a hybrid technology of power supply in the electrical interlocking systems development for railway stations. The main feed input is proposed to be carried out from renewable energy sources.
D. V. Efanov, D. Ruziev, V. Khóroshev
semanticscholar   +1 more source

Research of the Reliability of Interlocking Stations in Railway Transport

2024 5th International Conference on Communications, Information, Electronic and Energy Systems (CIEES)
The reliability of the interlocking stations in railway transport is very important, as it is related to ensuring failure-free operation. These devices perform multiple functions and there is a constant interaction between them and the signalling systems
E. Dimitrova, Vasil Dimitrov, Emil Borisov   +2 more
semanticscholar   +1 more source

Applying SOFL to a Railway Interlocking System in Industry

2017
This paper describes another application of the SOFL three-step specification approach in specifying a railway interlocking system in industrial setting. We also explore the way of deriving hazard conditions from formal specifications, and propose a way to analyze the conditions for the assurance of the safety of the interlocking system in the early ...
Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou   +3 more
openaire   +1 more source

IOT Based Interlocking System for Modem Electric Railway System

2022 International Conference on Smart and Sustainable Technologies in Energy and Power Sectors (SSTEPS), 2022
Anuhya Thota, L Shanmukha Rao, M Pala Prasad Reddy, B Lakshmi Prasanna, Kumara Swamy Garimella, Ashok Gogu   +5 more
openaire   +1 more source

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

International Conference on Reliability, Safety, and Security of Railway Systems, 2019
Dalay Israel de Almeida Pereira, D. Déharbe, M. Perin, P. Bon   +3 more
semanticscholar   +1 more source

Automatic digitalization of railway interlocking systems engineering drawings based on hybrid machine learning methods

Expert systems with applications
S. Stefenon, M. Cristoforetti, A. Cimatti   +2 more
semanticscholar   +1 more source

Anti-corrosion coatings for protection of steel railway structures exposed to atmospheric environments: A review

Construction and Building Materials, 2021
Georgy Lazorenko, Anton Kasprzhitskii, Tatiana Nazdracheva   +2 more
exaly