• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제55권12호
• /
• pp.661-666
• /
• 2006

Interlocking signalling system plays key role as core system to manage railway operation. The core role of railway operation is to control routing, displaying signal and regulation for train. Interlocking system relate tightly to railway accident because collision and derailment is sometime taken place wrong route setting and signal displaying. Safety activity for interlocking system is inevitable to avoid the accident over its life cycle. The safety activity includes hazard identification and analysis, safety requirement allocation, safety plan, safety activity and ao on. The safety activity need a broad wide range work. In this paper, we concentrate on hazard identification for generic interlocking system and programmable electronic interlocking system and compare between two results. The hazards will be used for safety activity.

• 전기학회논문지
• /
• 제63권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.

• 한국철도학회논문집
• /
• 제20권1호
• /
• pp.55-63
• /
• 2017

철도에 사용되고 있는 Safety critical systems 중 하나인 연동장치는 relay-based systems에서 computer-based systems으로 급속히 변환되고 있다. computer-based interlocking systems (CBI)의 안전성확보가 중요한 문제 중 하나로 떠오르고 있다. CBI를 구성하는 연동논리 software는 시스템 안전성에 직접적으로 영향을 미치는 부분 중 하나이다. Formal methods 중 하나인 "Z"notation은 이 software 안전성 확보를 위해 software 명세에 많이 사용되고 있다. 본 논문에서는 "Z"notation을 이용하여 연동논리 일부분을 구현하였으며, Z/EVES를 이용하여 검증을 하였다.

• International Journal of Railway
• /
• 제2권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.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제55권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.

• 한국도로학회논문집
• /
• 제16권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.

• 한국철도학회논문집
• /
• 제1권1호
• /
• pp.10-19
• /
• 1998

Described in this paper is the software to design of a railway interlocking table, which describes the functional specifications of an interlocking device. Interlocking tables has been designed mainly based on personal expertise among signal engineers. However, this expertise needs to be analyzed with technical uniformity and integrated in an organized system. The proposed software is amount to the signal engineer's expertise, yet a generalization of interlocking reasoning. The algorithm is based on the train route setting principle, and is applicable in solving practical problems by computers. The software was evaluated through man-made and machine-made interlocking tables are compared. The evaluation results proves the software to be effective for computer control of the signaling system as interlocking system with a much improved safety.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 창립기념 춘계학술대회 논문집
• /
• 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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 A
• /
• pp.471-473
• /
• 1999

Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signaling which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in computer based control system. In this paper, the GRAFCET(GRAphe Fonctionnel do Commande Etape/Transition) language is used as a analysis and verification tool for safety-critical interlocking logic. The general description for Grafcet notation are provided and the general modeling for interlocking logic is presented.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 B
• /
• pp.1556-1558
• /
• 2005

As a result of the advancement of radio communications technologies, some investigations are in progress to apply this technologies to a train control system. Most of these investigations are focused on the train safety distance control between a preceding train and a succeeding train, an interlocking system uses train circuits to control the railway path. To make the best use of advantages and improve the safety of radio communications based train control systems, the interlocking system must use radio communications technologies. And the safety level of this system must be equal to track circuit based interlocking systems. This paper describes the train location detection method, the system configuration and the system safety of the new system.