Results 181 to 190 of about 15,562 (227)

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 of taking formal requirements and implementing them accordingly to the required application.
Ramiro Adrián Ghignone, Cristian Federico Falco, Facundo Santiago Larosa, Hernán Pablo Mendes Gouveia, Leandro Alejandro Chang, Martín Nicolás Menéndez, Ariel Lutenberg   +6 more
openaire   +2 more sources

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

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

A tool for automatic formal modeling of railway interlocking systems

IEEE EUROCON 2015 - International Conference on Computer as a Tool (EUROCON), 2015
This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from the railway station topology for interlocking systems. The introduced software tool has two components, ‘Graphical User Interface’ to draw the station topology and ‘Application Software’ to generate TAPN models from the ...
CANSEVER, Galip, Ustoglu, Ilker, KAYMAKÇI, ÖZGÜR TURAY, Sener, Ibrahim, Oz, Muhammed Ali Nur   +4 more
openaire   +2 more sources

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