http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
열차제어용 표준 통신 프로토콜의 안전 특성 분석 및 평가
황종규,조현정,이재호,Hwang, Jong-Gyu,Jo, Hyun-Jeong,Lee, Jae-Ho 한국철도학회 2007 한국철도학회논문집 Vol.10 No.3
The communication protocol for interface among railway signalling systems is designed and established as national standard in Korean from a few years ago. So the communication link for information transmission among railway signalling system can be a good example of application of this standard. Communication protocol which is standardized among Korean railway signalling is considered to apply information transmission. And we confirmed there is no the states of deadlock of livelock in std. protocol which is applied formal verification which is one of the analytic method for inspection of safety characteristics in the design course of protocol. But the safety of protocol has to necessarily accomplish this normal analysis approach about satisfying requirement matters with such this analytic approach. In this paper we analyzed the safety characteristics of standard protocol for Korean Railway signalling through the requirement matters for safety transmission of railway transmission system which is required in international standard. So through this study we confirm whether it satisfies safety requirement matters of the level which require in international standard and tried to confirm whether standard protocol has enough safety character in the real railway field.
황종규(Hwang Jong-gyu),조현정(Jo Hyun-jeong),신승권(Shin Seung-gwan),정락교(Jeong Rak-gyo) 대한전기학회 2009 대한전기학회 학술대회 논문집 Vol.2009 No.10
The RAMS requirements for signaling systems are standardized to IEC 61508/62278/62425 and railway safwty-related norms are recently enacted n Korea. Therefore there is need to develop technologies to secure safety signaling systems in terms of technologies for safety activities on each life-cycle. In this paper we have described the safety activity processes and technologies each steps of proposed processes for railway signaling systems.
열차제어시스템 소프트웨어 정적 테스팅 적용시험 결과 분석
황종규(Jong-Gyu Hwang),조현정(Hyun-Jeong Jo),정락교(Rak-Gyo Jeong) 대한전기학회 2013 전기학회논문지 P Vol.62 No.1
Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.
철도신호용 통신 프로토콜을 위한 데이터링크 성능분석 툴 설계
황종규(Jong-Gyu Hwang),이재호(Jae-Ho Lee),강문호(Moon-Ho Kang),박용진(Yong-Jin Park) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.2Ⅲ
본 논문에서는 신뢰성 있는 통신을 요구하는 철도신호용 정보전송을 위해 설계한 프로토콜과 이 설계된 프로토콜의 데이터 링크제어의 성능분석을 위한 시뮬레이터의 개발에 대해 설명한다. 우선 철도신호용 통신 프로토콜의 성능분석을 위해 Matlab/Simulink 윈도우상의 데이터 링크제어 시스템 화면에서 사용자 인터페이스 블록을 통해 통신 파라미터들을 선택하여 시뮬레이션을 행할 수 있는 시뮬레이션 툴과, Matlab이 제공하는 RS232통신용 API 기능을 이용하여 철도 신호장치간의 통신 프로토콜을 PC상에서 에뮬레이션 할 수 있는 시뮬레이터를 설계하였다.
LDTS와 EIS간 메시지 전송 프로토콜에 대한 시뮬레이션
황종규(Hwang Jong-Gyu),이재호(Lee Jae-Ho),강문호(Kang Moon-Ho) 한국철도학회 2003 한국철도학회 학술발표대회논문집 Vol.- No.-
In this paper a simulation was done to verify performance of a message transmission protocol which interfaces LDTS(Local Data Transmission System) with EIS(Electronic Interlocking System). After a stage of analyzing link specifications between LDTS and EIS, transmission messages and messaging formats, simulation parameters were extracted, applied to the error control schemes such as ARQ, FEC, HARQ, and therefrom throughputs and various performance indices were analyzed. Simulation program was constructed with Matlab and Matlab GUI and then converted into a stand-alone c?? program to be used on any non-Matlab environments.