Results 221 to 230 of about 119,017 (241)

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

Automatic interlocking table generation from railway topology

2011 IEEE International Conference on Mechatronics, 2011
In this paper, an algorithm for automatic interlocking table generation and its implementation is introduced. The specially developed software generates an interlocking table conforming to Turkish Railway regulations. Pseudo codes of the method and their descriptions are given.
Ahmet Kuzu, Ozgur Songuler, Arcan Sonat, Serhat Turk, Berkin Birol, Ersin H. Dogruguven   +5 more
openaire   +1 more source

Model Checking Interlocking Control Tables

2011
A challenging problem for model checking is represented by railway interlocking systems. It is a well known fact that interlocking systems, due to their inherent complexity related to the high number of variables involved, are not amenable to automatic verifi cation, typically incurring in state space explosion problems. The literature is however quite
FERRARI, ALESSIO, MAGNANI, GIANLUCA, GRASSO, DANIELE, FANTECHI, ALESSANDRO   +3 more
openaire   +3 more sources

Automatic Interlocking Table Generation for Non-ideal Railway Yards

IFAC Proceedings Volumes, 2013
Abstract Interlocking systems that can be regarded as the main decision making component of fixed block railway signaling systems, are directly responsible for ensuring the safe movements of trains. Software of an interlocking system depends on the interlocking table of the related railway yard.
İlhan Mutlu, Uğur Yıldırım, Mustafa Seçkin Durmuş, Mehmet T. Söylemez   +3 more
openaire   +1 more source

Effects of Closed Reduction and Interlock Nailing of Femoral Shaft Fractures by Traction Table Vs Modified NA Fixator

Pakistan Journal of Medical and Health Sciences, 2022
Background: Femoral fractures are common fractures in orthopedics. Aim: To study the outcomes in patients with fracture shaft of femur, managed by close reduction and Inter Locking nail by traction table versus modified Naseer Awais fixator. Study design: Non randomized clinical study.
Tariq Mahmood, Muhammad Badar ud Din Zafir, Muhammad Khalid Chishti, Saeed Ahmad, Azmat Rasool, Mukhtar Ahmad Tariq   +5 more
openaire   +1 more source

Automatic Interlocking Table Generation for Railway Stations using Symbolic Algebra

IFAC Proceedings Volumes, 2012
Abstract Interlocking is the most important component of a signalization system, which ensures safe travel and transportation. An interlocking system helps movement of trains on desired routes in fixed block signaling systems. The first step in the design of interlocking systems is to generate interlocking tables.
U˘ur Yıldırım, Mustafa S. Durmuş, Mehmet T. Söylemez   +2 more
openaire   +1 more source

Automatic generation and verification of interlocking tables based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI)

2011 IEEE International Conference on Computer Science and Automation Engineering, 2011
Interlocking tables, as the function specification of the Computer Based Interlocking System (CBI), play an important role in ensuring safe train movements at a railway station. The development and verification of interlocking tables is entirely manual process currently, which is inefficient and error-prone due to the complexity of the CBI and the ...
null Yan Cao, null Tianhua Xu, null Tao Tang, null Haifeng Wang, null Lin Zhao   +4 more
openaire   +1 more source

Method for automation of generation of interlocking tables for station traffic control devices

WUT Journal of Transportation Engineering, 2020
On account of the growing number of railway upgrading projects implemented in Poland, numerous problems are emerging when prepared and performed. While preparing detailed plans and specifications for railway traffic control devices intended to secure traffic at a railway station, one must deal with numerous alterations related to the work's phasing ...
Mateusz Jurczak, Jakub Młyńczak
openaire   +1 more source

Model-Based Generation of Interlocking Controller Software from Control Tables

2008
Railroad interlocking software drives specialised micro-devices, known as interlocking controllers. These controllers primarily actuate railroad points and change signal aspects in real-time, based on sensor and timer input. Due to their central function in railroad control, interlocking controllers and their firmware are safety-critical.
Cédric Chevillat, David Carrington, Paul Strooper, Jörn Guy Süß, Luke Wildman   +4 more
openaire   +1 more source

Distributing the Challenge of Model Checking Interlocking Control Tables

2012
Railway interlocking systems represent a challenge for model checkers: although encoding interlocking rules as finite state machines can be quite straightforward, and safety properties to be proved are easily expressible, the inherent complexity related to the high number of variables involved makes the verification of such systems typically incur ...
openaire   +2 more sources