열차제어 S/W 변경영향 분석을 위한 방법 연구

조현정(Jo Hyun-Jeong),황종규(Hwang Jong-Gyu) 한국철도학회 2009 한국철도학회 학술발표대회논문집 Vol.2009 No.5월

Recent advances in computer technology have brought more dependence on software to railway signaling systems. Hence, the safety assurance of the vital software running on the railway signaling system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety. In this paper, we suggested an automated analysis tool for S/W change impact in railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway signaling system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway signaling system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.

Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석

趙賢庭(Hyun-Jeong Jo),黃宗奎(Jong-Gyu Hwang),尹用基(Yong-Ki Yoon) 대한전기학회 2008 전기학회논문지 P Vol.57 No.2

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

철도제어시스템을 위한 높은 신뢰성을 갖는 제어시스템 구조 연구

조현정(Hyun-Jeong Jo),신경호(Kyung-Ho Shin),황종규(Jong-Gyu Hwang),임인택(In-Taek Lim),권혁빈(Hyeok-Bin Kwon) 대한전기학회 2020 전기학회논문지 P Vol.69 No.1

In the railway, signaling systems are located in the wayside and on-board as the very vital control system ensuring the safety operation of the train. Since a trivial failure of this signaling system can cause a fatal railway accident, the securement of high safety and availability of the signaling system is becoming a very important issue. In order to secure the high safety and availability of vital signaling system, efforts need to be made in many aspects of the hardware architecture, software and system lifecycle. Among of these, this paper focuses on the hardware architecture of railway signaling system. Currently, there are several hardware architectures applied to railway signaling systems, including the single, duplicated, and triple redundancy architectures. Single and duplicated redundancy architectures can cause fatal accidents because the whole system is affected when accident occur. For this reason, triple redundancy architecture has been the more popular for vital signaling systems. But this architecture has problems regarding its installation in the railway vehicle, as it occupies a large space and is intrinsically heavy in weight. We propose a noble fault-tolerant architecture for the vital railway signaling system that is triple redundancy-based, a cost-effective architecture that satisfies the installation conditions of space and weight.

철도신호시스템에서 고신뢰성을 갖는 이더넷 기반 네트워크

조현정(Hyun-Jeong Jo),황종규(Jong-Gyu Hwang),이강미(Kang-Mi Lee),이재호(Jae-Ho Lee) 대한전기학회 2006 대한전기학회 학술대회 논문집 Vol.2006 No.4

철도 신호제어시스템은 철도의 선로변에 위치하면서 열차의 안전운행을 책임지는 매우 중대한 시스템이다. 이러한 신호제어장치들은 각자의 고유의 기능을 수행하면서 다른 제어장치들과 링크되어 하나의 신호제어시스템으로 구성되어진다. 요즘 철도신호시스템에 사용되는 각 장치들이 전자화되어감에 따라 철도신호장치들간 정보전송을 위한 네트워크에 대한 중요성이 증대되었다. 철도신호시스템과 같은 고신뢰성이 요구되는 시스템에서 실시간 요구조건과 신뢰도를 만족시킬 수 있는 네트워크 기술에 대한 필요성 또한 증대되고 있다. 가장 널리 쓰이는 기술인 이더넷은 프로토콜 자체의 랜덤 특성으로 인해 실시간 요구사항을 만족하지 못하였으나, 최근 들어 스위치드 이더넷으로 진화하연서 산업용 제어시스템에 이더넷 기술이 적용되고 있다. 본 논문에서는 이러한 스위치드 이더넷의 이론적 해석을 통해 철도신호 시스템에 적용 가능성을 확인하였고, 네트워크에 결함발생 시 결함검지 및 회복 알고리즘이 포함된 높은 신뢰성을 가진 이더넷 기반 네트워크 알고리즘과 모의시험을 통한 그 성능을 분석하였다.

철도 저밀도노선 효율성 향상을 위한 차상중심 열차제어시스템 연구

조현정(Jo, Hyun-Jeong),백종현(Baek, Jong-Hyen),김건엽(Kim, Keon-Yeop),이강미(Lee, Kang-Mi),김용규(Kim, Yong-Kyu) 한국산학기술학회 2012 한국산학기술학회논문지 Vol.13 No.11

국내 철도 저밀도 지선구간에서는 주요노선에 적용되고 있는 고가의 지상설비들이 운용됨에 따라 적자로 운 영되는 등 효율성 측면에서 문제가 되고 있어, 열차 차상에서 직접 선로변 설비를 제어할 수 있는 새로운 개념의 차 상중심 열차제어시스템의 개발에 대한 필요성이 대두되고 있다. 이에 따라 본 논문에서는 국내의 앞선 정보통신기술 (ICT)을 접목하여 지상설비를 최소화하는 동시에 기존 시스템을 대체가능한 차상제어시스템을 제안하였으며, 개념 및 상세설계 결과와 모형시험환경 구축을 통한 기능 확인 수행내용을 제시하였다. In the low-density branch line section of domestic railway, the necessity for development of new concept on-board centered train control system which can control the trackside equipment directly from the on-board of train is on the rise since it is problematic in the aspect of efficiency because of its operation in deficits, etc. in accordance with the operation of high-priced wayside equipment being applied to main lines. Accordingly, this paper proposed an on-board control system which can minimize wayside equipment and replace the existing system with it simultaneously by grafting the advanced domestic Information & Communication Technology(ICT), and presented contents of performing confirmation of function through results of concept and detailed design and by building model test environments.

열차제어시스템 안전성 확보를 위한 리스크 평가 방법 분석

조현정(Jo Hyun-Jeong),황종규(Hwang Jong-Gyu),윤용기(Yoon Yong-Ki) 한국철도학회 2006 한국철도학회 학술발표대회논문집 Vol.- No.-

Recently, failures of equipments are linked directly to extensive damages of human lives or financial losses from the increasing uses of train control equipments utilizing computers. Then safety activities have to progress for guaranteeing safety during the system life-cycle. In this paper, we examine the methods for risk analysis and assessment of safety activities and propose optimized one method for risk assessment. There are original risk assessment methods; risk graph and risk matrix method under the qualitative analysis, IRF(Individual Risk Formula) calculations and statistical calculations method under the quantitative analysis. Best-Practice(BP) risk analysis method is proposed for combining advantages of the qualitative and the quantitative analysis. In the comparison of risk graph and risk matrix method for safety estimation, BP method has no applications published up to now, but we can expect that this method will be utilized widely for the risk assessment due to various strong points.

철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석

조현정(Jo, Hyun-Jeong),황종규(Hwang, Jong-Gyu),신승권(Shin, Seung-Kwon),오석문(Oh, Seok-Moon) 한국산학기술학회 2010 한국산학기술학회논문지 Vol.11 No.11

최근 컴퓨터시스템으로 전환되고 있는 철도시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베 디드화된 철도시스템 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 철도 소프 트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서 는 철도시스템 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다. 개발한 도구는 기존 해외 도구에 비해서 여러 테스트 커버리지를 효과적으로 측정할 수 있는 강점이 있으며, 실제 철도 현장에서 활용성 이 높아 철도 소프트웨어의 개발 및 테스트 기술 발전을 기대할 수 있다. Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

심볼릭 수행 방법을 이용한 철도 소프트웨어 코드분석 도구제안

조현정(Hyun-Jeong Jo),황종규(Jong-Gyu Hwang),신덕호(Duck-Ho Shin) 대한전기학회 2016 전기학회논문지 P Vol.65 No.4

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발

조현정(Hyun-Jeong Jo),신경호(Kyung-Ho Shin),신덕호(Duck-Ho Shin),백종현(Jong-Hyen Baek),권혁빈(Hyeok-Bin Kwon) 한국철도학회 2022 한국철도학회논문집 Vol.25 No.1

열차제어시스템 안전성 확보를 위한 위험도 분석 방법 적용

조현정 ( Hyun Jeong Jo ),황종규 ( Jong Gyu Hwang ) 한국안전학회 2007 한국안전학회지 Vol.22 No.5