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.
열차제어시스템 소프트웨어 Metric 분석 자동화도구 개발
황종규(Hwang Jong-gyu),조현정(Jo Hyun-jeong),정의진(Jeong Eui-jeong),김용규(Kim Yong-gyu) 한국철도학회 2008 한국철도학회 학술발표대회논문집 Vol.- No.-
Recent advances in embedded system technology have brought more dependence on automating train control. While much efforts have been reported to improve electronic hardware"s safety, not so much systematic approaches to evaluate software"s safety, especially for the vital software running on board train controllers. In this paper, we have developed a software testing tool to evaluate train control system software safety, expecially "Metric Analysis" module. We have reviewed requirements in the international standards and surveyed available tools in the market. From this, we identified the S/W metric analysis module is required for software evaluation. So we have developed S/W metric analysis modulefor railway signaling systems.
전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석
황종규(Hwang Jong-Gyu),이재호(Lee Jae-Ho) 한국철도학회 2003 철도저널 Vol.6 No.2
According to the computerization of railway signaling systems, the interface link between these signaling equipment is also replaced by digital communication channel, expecially communication link for interface between EIS and LDTS, but there are some problems in the present state of railway signaling. First of all, different communication protocol is applied to interface between above two signaling equipment although they have same functions. The other is that the communication protocol currently used in railway field has some unreasonable points such as structure, formation of byte, error correction scheme and etc. To solve these problems, the standard communication protocol for railway signaling is designed. The structure of designed communication protocol and the results of performance analyses are represented in this paper. It will be expected the increase of safety, reliability and efficiency of maintenance of signaling system by using of the designed communication protocol for railway signaling.
철도신호 소프트웨어 테스팅을 위한 MSC 기반 테스트케이스 생성 모듈
황종규(Jong-Gyu Hwang),백종현(Jong-Hyun Baek) 대한전기학회 2015 전기학회논문지 P Vol.64 No.3
Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input .Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.
황종규(Jong-Gyu Hwang),이종우(Jong-Woo Lee),정의진(Eui-Jin Joung),김태진(Tae-Jin Kim) 한국철도학회 2000 한국철도학회 학술발표대회논문집 Vol.- No.-
The railway signaling system consists of microcomputerized vital devices on board and ground, which are connected to one another by track circuits, and interlocking equipment for route control. Therefore it is important to validate the required functions of developed system and interface between developed signaling systems. To verify the conditions and functions of signaling logic, the laboratory prototype test bench, which consists of personal computers with software module and Ethernet LAN, will be developed. In this paper general design of signaling system test bench for high-speed rail is described and developed software module is presented.