• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.1197-1198
• /
• 2007

According to the computerization of railway signalling systems, the safety demonstration and assessment of railway signalling system is very important. For this reason, railway signalling systems reflect the needs of methodology to assessment the safety. Then many studies of safety assessment methodology for railway signalling systems centering on the Europe, have been made continuously, and the requirements for safety acceptance are currently standardized by IEC. To develop and establish the safety assessment technology for railway signalling system in Korea, we are reviews the safety assessment activities for signalling system through the reviews of related std., case study and consulting by experts.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.856-862
• /
• 2006

In railway signalling system, there are several kinds of signal system such as signals, signs, marker. The signals allows train to go or not, the signs permit to communicate between railway men, and the marks indicate status of railway lines. In KNR, the application of the signal systems are defined in railway operational regulations, operational related regulation, Operation safety critical system manipulation manual, and so on. In this paper, we extracted regulations for signalling system operation from related regulations, reviewed compatibility and contradiction for signalling system operations. We tried to check logical integrity of informal signalling operation regulation using formal method.

• 전기학회논문지
• /
• 제66권3호
• /
• pp.533-539
• /
• 2017

ERTMS/ETCS Level 2 is currently planning, making contract, constructing and operating at several lines in European well-developed railway countries different from past ten years ago, and applying extensively for purpose of its intercompatibility and operational efficiency, and economic feasibility. On the other hand, ATP system correspond to ETCS Level 1, which was domestically introduced in early 2000, has introduced, operated, and planned or constructed in national railwaynetwork, but the lines, which its improvement period is come, are being occurred starting Gyeongbu Line. Therefore, we study the consideration and construction plan by stages if LTE-R Korean Radio-based Train Control System for conventional & high-speed railway under domestic development is extensively applied as the third National Railway Network Construction Plan was announced.

• 한국시뮬레이션학회논문지
• /
• 제7권2호
• /
• pp.125-136
• /
• 1998

To upgrade railway traffic density without any change of signal block length between stations on existing railway lines, a new signalling system of train control "the pattern control technique" is suggested. It needs very little change to computerize the cab signal using transponders. A computer simulation system is developed to experiment the new control method. The new signalling system shows much increase of the railway traffic efficiency. The train head-way time by the fixed signalling system and the new pattern control system is analyzed. The pattern control technique shows 35% increasement of trair operation under same condition of railway and trains.nd trains.

• 전기학회논문지P
• /
• 제62권1호
• /
• pp.30-35
• /
• 2013

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.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.163-166
• /
• 1997

In order to shorten head-way time on existing railway lines without any change of signal block length between stations, it is a realistic optional way to change the control method of train signal, i.e. to modernize the cab signal using transponder. A new signalling system of operation pattern control technique is suggested as new model to increase the railway traffic efficiency. Through the computer simulation of this model, the train head-way time by the fixed signalling system and the new pattern control system is analyzed.

• 한국철도학회지
• /
• 제6권2호
• /
• pp.9-18
• /
• 2003

This paper discuss advanced safety in the railway signaling system. The specified methods and HAZOP about Hazard identification and analysis of railway signalling system were studied, and loss analysis and ALARP model in order to calculate safety as a standard capacity were proposed. It was also resulted from Hazard identification, analysis and evaluation by applying advanced safety to the railway signalling system.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 추계학술대회 논문집
• /
• pp.202-209
• /
• 1998

This paper presents a modelling of railway facilities and signalling system based on object-oriented software development technique to simulate multi-train movements on the complex railway network. Block and interlocking functions of signalling system is modelled using Node-Link model of railway network and signal control logic, which can be used to set the train routes and control the train movement. A brief explanation of class design about these model is provided.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 B
• /
• pp.1592-1594
• /
• 2005

This paper presents a method to construct a supervisory monitoring system for railway signaling devices which can provide the real-time operation information of signalling devices to several maintenance depots. Spying technique has been applied to acquire the real-time data transmitted among railway signaling devices without interfering the railway signalling system function.

• 한국철도학회논문집
• /
• 제10권3호
• /
• pp.365-371
• /
• 2007

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.