Results 231 to 240 of about 285,209 (280)
Some of the next articles are maybe not open access.
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 +2 more
semanticscholar +1 more source
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems
IEEE International Requirements Engineering Conference, 2019Consistency verification of safety requirements is an important but still challenging task for safety-critical systems such as rail transit systems.
Xiaohong Chen +6 more
semanticscholar +1 more source
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
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
FPGA implementation of a critical railway interlocking system
IEEE Latin America Transactions, 2019An interlocking is a railway system that automatically controls that changes in routes are safely managed, avoidingtrain crashes and derailments. This article presents an analysis of the state of the art technology used in several commercial interlocking
Menéndez Martín Nicolás +4 more
semanticscholar +1 more source
Proceedings of the 2024 International Conference on Computer and Multimedia Technology
In response to the immense workload and error-prone nature of manually confirming the correct names of devices on the graphical user interface (GUI) of railway station layouts in large stations, which leads to inefficiency and long processing times, this
Bo Zhang, Qiang Li
semanticscholar +1 more source
In response to the immense workload and error-prone nature of manually confirming the correct names of devices on the graphical user interface (GUI) of railway station layouts in large stations, which leads to inefficiency and long processing times, this
Bo Zhang, Qiang Li
semanticscholar +1 more source
A fail-safe interlocking system for railways
IEEE Design & Test of Computers, 1991A new approach to the design of microprocessor-based failsafe systems for railways that was used to design the FIRM architecture is described. The approach involves assigning appropriate levels of safety to system functions, depending on how critical they are, instead of using the same safety standard for all functions.
V. Chandra, M.R. Verma
openaire +1 more source
Automatic Instantiation for Railway Interlocking Systems
2007Real-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
CSP Specification and Verification of a Relay-Based Railway Interlocking System
Brazilian Symposium on Formal Methods, 2023P. E. R. Bezerra +3 more
semanticscholar +1 more source
Validation of a railway interlocking model
1994This paper presents a VDM model of a real-life railway interlocking system, and describes how this model is validated through simulation in ML. The model development illustrates how concepts may be captured for a non-trivial system. The steps from a predicative VDM model to an executable ML program are also outlined.
openaire +1 more source
Case Study: Formal Verification of a Computerized Railway Interlocking
Formal Aspects of Computing, 1998Abstract. We describe a case study in system-level verification of a computerized railway interlocking developed by ADtranz Spain, installed and put into test use at a subway station in Madrid. The formal modelling and analysis was carried out by personell at ADtranz Sweden using a tool for automatic formal modelling of the interlocking ...
openaire +1 more source