Designing an event driven railway interlocking simulator in MATLAB software

Document Type : Scientific - Research

Authors

Abstract

Due to the important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems, hence it requires advanced formal modeling techniques and step-by-step development to ensure safety, quality and reliability of the system. Stateflow toolbox of MATLAB software is a convenient tool for formal design. In this paper, we present a new simulator of railway signaling and interlocking systems based on discrete-event dynamic. This simulator with receiving the basic information about physical features and policies of railway network, models and simulates the interlocking system.The primary features of this simulator are facility in design and developing the interlocking system, and its ability to test the new interlocking functions in it. The main innovation in this simulator is that the elements of the railway network are designed based on discrete-event dynamic and its ability to develop and communicate interlocking system with other railway traffic control systems.To evaluates the performance of the proposed simulator, we simulate the interlocking system of a railway station and line 2 of Tehran metro in this simulator.

Keywords

Main Subjects