http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
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.
열차제어시스템 안전성 확보를 위한 리스크 평가 방법 분석
조현정(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.
심볼릭 수행 방법을 이용한 철도 소프트웨어 코드분석 도구제안
조현정(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.
철도 저밀도노선 효율성 향상을 위한 차상중심 열차제어시스템 연구
조현정(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.
철도시스템 통신 안전성 확보를 위한 방법 제시 및 도구 구현
조현정(Hyun-Jeong Jo),황종규(Jong-Gyu Hwang),김용규(Yong-Kyu Kim) 대한전기학회 2010 전기학회논문지 P Vol.59 No.1
Safety-critical systems related to the railway communications are currently undergoing changes. Mechanical and electro-mechanical devices are being replaced by programmable electronics that are often controlled remotely via communication networks. Therefore designers and operators now not only have to contend with component failures and user errors, but also with the possibility that malicious entities are seeking to disrupt the services provided by theirs systems. Recognizing the safety-critical nature of the types of communications required in train control operations, the communications infrastructure will be required to meet a number of safety requirements such as system faults, user errors and the robustness in the presence of malicious attackers who are willing to take determined action to interfere in the correct operation of a system. In this paper, we proposed the safety strategies employed in the railway communications and a security mechanism for Korean railway communication system. Also, we presented the developed means for validation and determination of communication safety based on the proposed security mechanism in the railway system.
철도신호시스템에서 고신뢰성을 갖는 이더넷 기반 네트워크
조현정(Hyun-Jeong Jo),황종규(Jong-Gyu Hwang),이강미(Kang-Mi Lee),이재호(Jae-Ho Lee) 대한전기학회 2006 대한전기학회 학술대회 논문집 Vol.2006 No.4
철도 신호제어시스템은 철도의 선로변에 위치하면서 열차의 안전운행을 책임지는 매우 중대한 시스템이다. 이러한 신호제어장치들은 각자의 고유의 기능을 수행하면서 다른 제어장치들과 링크되어 하나의 신호제어시스템으로 구성되어진다. 요즘 철도신호시스템에 사용되는 각 장치들이 전자화되어감에 따라 철도신호장치들간 정보전송을 위한 네트워크에 대한 중요성이 증대되었다. 철도신호시스템과 같은 고신뢰성이 요구되는 시스템에서 실시간 요구조건과 신뢰도를 만족시킬 수 있는 네트워크 기술에 대한 필요성 또한 증대되고 있다. 가장 널리 쓰이는 기술인 이더넷은 프로토콜 자체의 랜덤 특성으로 인해 실시간 요구사항을 만족하지 못하였으나, 최근 들어 스위치드 이더넷으로 진화하연서 산업용 제어시스템에 이더넷 기술이 적용되고 있다. 본 논문에서는 이러한 스위치드 이더넷의 이론적 해석을 통해 철도신호 시스템에 적용 가능성을 확인하였고, 네트워크에 결함발생 시 결함검지 및 회복 알고리즘이 포함된 높은 신뢰성을 가진 이더넷 기반 네트워크 알고리즘과 모의시험을 통한 그 성능을 분석하였다.
철도시스템 소프트웨어 변경영향 분석을 위한 자동화 도구 개발
조현정(Hyun-Jeong Jo),황종규(Jong-Gyu Hwang),김용규(Yong-Kyu Kim) 대한전기학회 2009 전기학회논문지 P Vol.58 No.2
Recent advances in computer technology have brought more dependence on software to railway systems. Hence, the safety assurance of the vital software running on the railway 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 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 system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.
조현정(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.