Results 191 to 200 of about 99,408 (239)

Automated interlocking algorithm generation from interlocking tables for railway signalization systems

2011 IEEE International Conference on Mechatronics, 2011
In this paper, an algorithm for automated interlocking generation and its implementation in Microsoft Visual Basic is introduced. The software developed generates an automaton model and necessary pseudo code to realize a given railway interlocking table.
Serhat Turk, Arcan Sonat, Ahmet Kuzu, M.T. Soylemez, Ozgur Songuler, Tarkan Taralp   +5 more
openaire   +1 more source

FPGA implementation of a critical railway interlocking system

IEEE Latin America Transactions, 2020
Fil: Ghignone, Ramiro Adrian. Universidad Tecnológica Nacional.
Menéndez Martín Nicolás, Larosa Facundo Santiago, Ghignone Ramiro Adrián, Álvarez Nicolás, Lutenberg Ariel   +4 more
openaire   +2 more sources

A fail-safe interlocking system for railways

IEEE Design & Test of Computers, 1991
A 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

Computerized Interlocking System for Railway Signaling Control: SMILE

IEEE Transactions on Industry Applications, 1985
A computerized interlocking system for railway signaling control is proposed. The overall architecture of this system, aiming at a high degree of safety, reliability, and flexibility, is shown. The basic architecture of both a fail-safe microcomputer subsystem which is the kernel of this system and system-bus structured multimicrocomputer subsystem is ...
Katsuji Akita, Toshikatsu Watanabe, Hideo Nakamura, Ikumasa Okumura   +3 more
openaire   +1 more source

Railway Signal Interlocking Logic Simulation System

Proceedings of the 2nd International Conference on Control and Computer Vision, 2019
Railway interlocking systems are apparatuses that prevent conflicting movements of trains through an arrangement of tracks. In this paper, we formulated the main way to design a railway signal interlocking simulation system. To simulate the interlocking logic of railway signal, we first analyzed such devices as signals, track circuit, switches and ...
openaire   +1 more source

Novel Online Safety Observer for Railway Interlocking System

Journal of Transportation Engineering, 2013
AbstractDue to the complexity and size of railway interlocking systems, conventional verification and testing techniques are not able to provide sufficient safety assurance. This paper proposes an online observer for safety assurance of railway interlocking systems.
Haifeng Wang, Tianhua Xu, Tangming Yuan
openaire   +1 more source

Component-Based Safety Computer of Railway Signal Interlocking System

2008 ISECS International Colloquium on Computing, Communication, Control, and Management, 2008
Computer is the vital element for safety-critical control system. This paper presents a component-based fail-safe computer in railway signal interlocking system (safety interlock computer - SIC). We discuss the methodology and the safety tactics of SIC in detail, moreover, the architecture and safety computation principle are deeply analyzed.
Hai-feng Wang, Wei Li
openaire   +1 more source

Formal validation method for computerized railway interlocking systems

2009 International Conference on Computers & Industrial Engineering, 2009
SNCF is responsible for putting into service all interlocking systems on the French railway network. It is therefore essential, especially for computerized SIL4 systems that, SNCF has its own approval process to ensure that new interlocking systems are safe in the context of the French network.
openaire   +1 more source

Modelling and Verification of Interlocking Systems for Railway Lines

IFAC Proceedings Volumes, 2003
Abstract In this paper we present a formal model of interlocking systems for railway lines. The model is divided into a part describing the physical system and a part describing the interlocking system. Furthermore, the static properties of the domain are parameters of the model and thus the model describes a class of railway lines and interlocking ...
Torben Gjaldbæk, Anne E. Haxthausen
openaire   +1 more source

The Past, Present and Future of Railway Interlocking System

2020 IEEE 5th International Conference on Intelligent Transportation Engineering (ICITE), 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, relay interlocking system and computer-based interlocking system.
openaire   +1 more source