Integrated power supply system for station equipment of rail traffic control

摘要

Railway Traffic Control Systems (RTCS) provide a safe, reliable and efficient movement of rolling stock on railway networks. RTCSs are classified as critical process systems. The power supply system is required to provide a high level of power reliability so that a station equipment of an RTCS safely executes the rail traffic process. The article describes typical solutions of power supply of station equipment of RTCSs. Analysis of these solutions led to the development of assumptions and structures for the integrated power supply system of station equipment. Useful tools for the formal modeling of such systems can be Petri Nets. These nets are a graphical and formal tool for modeling, formal analysis, and design of discrete event systems. The basic element of the integrated power system which is described in the article is the Automatic Reserve Switching system (ARS system). The ARS controller Marked Petri Net (ARS controller MPN) that has been developed by the authors is presented here. The net was subject to reduction resulting in an ARS controller hierarchical simplified MPN. The article also presents the practical application of the ARS controller built using the hardware platform and graphical programming environment LabView National Instruments (NI).