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

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

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

• 한국철도학회논문집
• /
• 제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를 이용하여 검증을 하였다.