• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.255-261
• /
• 2007

In this paper we introduce the method, procedure and result of RAM prediction for interlocking system which is applied for AREX signaling system. For RAM prediction, we breakdown the interlocking system to the LRU level and select the LRUs of which failure can cause the service delay. The prediction of reliability is based on the Reliability Block Diagram which is the functional diagram composed of selected LRUs and finally, the availability of interlocking system is estimated from the combination of reliability and maintainability.

• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.55-63
• /
• 2017

Railway interlocking systems which are safety-critical systems are rapidly changed from relay-based systems to computer-based systems which have high flexible. Computer-based interlocking systems (CBI) are consisted of hardware and software in which system safeties arise one of important problems. The interlocking software of the CBI influences directly to the system safeties. "z" notation is one of formal methods have been used for system software specification to secure system safety. In this paper, the specification of interlocking logics for CBI systems is realized using "z" notation and verifies it with Z/EVES.

• Proceedings of the KSR Conference
• /
• 1998.05a
• /
• pp.427-435
• /
• 1998

In this paper will be presented an algorithm for designing of a railway interlocking table which is a document describing the functional specification of the interlocking device. The ability to produce an interlocking table has been handed down in the signalling engineers society. And the signalling engineer makes the most of his expertise to produce an interlocking table. But, the expertise has not yet been organized into technical system, the core of the expertise is a hard nut to crack. Therefore, we analyze into signal engineering expertise, and propose a generalization of interlocking notion. Also, an algorithm is drawn up based on a train route setting principle to solve practical and general problems by computer And the performance of the algorithm is evaluated for test program based on AutoCAD technology. The evaluation result shows that it can be utilized as the effective algorithm for computer control of the signalling system as interlocking device, that it improved in safety

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.11
• /
• pp.1526-1532
• /
• 2014

The Electronic Interlocking unit in railway signalling system is safety-related facilities to determine route and speed for train running. In particular, the SSI(Solid State Interlocking) is Electronic Interlocking unit for high-speed railway, and it performs safety-critical function by MPM(Micro-Processor Module). Meanwhile, MPM is composed of the PES(Programmable Electronic System)-based system, and the PES-based system in railway safety-related facilities should be implemented by complying with the safety requirements defined in IEC 62425 and IEC 61508. In this paper, we performed modeling of failure rate and reliability for MPM implemented by fault tolerance methods and analyzed functional safety for MPM. Moreover, we determined SIL(Safety Integrity Level) for MPM according to the safety requirements defined in IEC 61508 based on an analyzed functional safety.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.55 no.12
• /
• pp.667-673
• /
• 2006

Programmable electronic interlocking system plays key role in railway operation and is closely related to railway accidents, in which the programmable electronic controller of interlocking system may become sources. Redundant digital controllers are adopted as the interlocking controllers to prevent the accidents from the controllers being out of order. The redundant digital controllers being fault tolerant are realized through dual or triplex controllers. In this paper, we calculated safety and availability of the redundant digital controllers using Markov models, demonstrated key part to determine the availability ana the safety.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.284-291
• /
• 2000

Interlocking software used in the electronic interlocking has been implemented through the structured approach until now. But there was the demerit that interlocking software has some problem in the standardization and the maintenance because of the limit in structured approach. Object-Oriented method overcoming this demerit was specified in the design step and the analysis step. There were object model, dynamic model and functional model in the analysis step and there were also two steps which were system design and object design in the design step. In this paper, Interlocking software was designed using Object-Oriented method to improve the standardization and the maintenance of the electronic interlocking. The electronic interlocking was analyzed with object modeling, dynamic modeling and functional modeling.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.12
• /
• pp.1747-1751
• /
• 2014

Interlocking system along with point machine for efficient route control secures safety of train operation by interchanging information each other. However, various types of interlocking system and point machine operating on bender specific interface bring obstacles to effective maintenance and safety. In this paper, we have investigated on interface methods to suggest standard interface module applicable to various operating system

• International Journal of Highway Engineering
• /
• v.16 no.2
• /
• pp.1-9
• /
• 2014

PURPOSES : This study aims to evaluate the performance of interlocking block pavement system for low speed highway. METHODS : Through on-site monitoring, environmental impact assessment of interlocking block pavement such as heat island reduction, traffic safety, noise pollution were evaluated as compared with asphalt pavement. Also the pavement condition and roughness were evaluated according to performance period. RESULTS : Surface temperature of interlocking block pavement was about 7 degree lower than asphalt pavement in midsummer. Compared to asphalt pavement, vehicle speed reduction effect of interlocking block pavement was about 2kph. For low speed driving, the noise pollution was measured at a similar level for both asphalt and interlocking block pavement. After 42month service period, the breakage of block was only 0.24% for the whole surveyed area. IRI of interlock block pavement was estimated within the range of 5~8m/km. CONCLUSIONS : Depending on the performance monitoring results such as heat island reduction, providing traffic safety and keeping a good pavement condition for a long service period, it assures that interlocking block pavement was applicable for low speed road.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.11
• /
• pp.1-9
• /
• 2016

Train control systems have changed from wayside electricity-centric to onboard communications-centric. The latest train control system, the CBTC system, has high efficiency for interval control based on two-way radio communications between the onboard and wayside systems. However, since the wayside system is the center of control, the number of input trains to allow a wayside system is limited, and due to the cyclic-path control flows between onboard and wayside systems, headway improvement is limited. In this paper, we propose a train interval-control and train-centric distributed interlocking algorithm for an autonomous train-driving control system. Because an autonomous train-driving control system performs interval and branch control onboard, both tracks and switches are shared resources as well as semaphore elements. The proposed autonomous train-driving control performs train interval control via direct communication between trains or between trains and track-side apparatus, instead of relying on control commands from ground control systems. The proposed interlocking algorithm newly defines the semaphore scheme using a unique key for the shared resource, and a switch that is not accessed at the same time by the interlocking system within each train. The simulated results show the proposed autonomous train-driving control system improves interval control performance, and safe train control is possible with a simplified interlocking algorithm by comparing the proposed train-centric distributed interlocking algorithm and various types of interlock logic performed in existing interlocking systems.