• 전기학회논문지P
• /
• 제53권1호
• /
• pp.32-39
• /
• 2004

Railway signaling systems consist of several vital computerized equipment such as CTC(Centralized Traffic Control), EIS(Electronic Interlocking System), ATC(Automatic Train Control) and so on. Currently, the project for development of railway signaling systems for the next-generation high-speed train is progressed according to the G7 project and railway signaling related several companies and research institute are joined this project consortium. The railway signaling systems, being developed in this project, called as a kTCS(Korean Train Control System), is composed of kTCS-CTC, kTCS-IXL, kTCS-ATC and etc. kTCS signaling systems have to be operated at the laboratory testing level as integrated signaling systems by interface between each railway signaling systems before railway field installation and revenue service. To solve this matter, communication protocols between each signaling equipment are designed and message codes for each defined protocols have defined. And also several equipment has developed for the railway integrated signaling systems for laboratory testing. We has plentifully tested and verified the designed protocols and the characteristics of integrated railway signaling systems with our developed each kTCS signaling equipment and communication protocols. In this paper, the integrated kTCS system including communication protocols is presented.

• International Journal of Safety
• /
• 제8권2호
• /
• pp.31-36
• /
• 2009

In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

• International Journal of Safety
• /
• 제6권2호
• /
• pp.38-42
• /
• 2007

As railway signaling system is computerized, the significance on safety demonstration and assessment has been increased. Therefore, railway signaling system should reflect the needs for safety assessment technique. Various studies on safety assessment technique for railway signaling have been made in Europe and standardization of the requirements for safety acceptance has been initiated by IEC. In order to develop and establish the safety assessment techniques for railway signaling in Korea, we try to review safety assessment activities for signaling system via reviewing relevant case studies and consulting with experts. And also we propose the safety assessment activity/methodology for Korean railway signaling system.

• International Journal of Safety
• /
• 제10권2호
• /
• pp.16-20
• /
• 2011

The computer application on embedded system is recently more increased in accordance of the development of computer technology. In this trend, the depending of SW in embedded system, especially railway signaling system, is being increased further. So the testing for the safety of railway signaling system software became more important. Hence, the safety assurance of the vital software on the railway signaling system is very important but yet, not many works have been done. In this paper, we represented the implementation results of development of performance testing tool in railway signaling system. The implemented testing item had referred to the international standards in relation to the software for railway system, such as IEC 61508 and IEC 62279.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 춘계학술대회 논문집
• /
• pp.319-326
• /
• 2001

Railway signaling safety system organizes equipments and facilities of railway, increases transport efficiency and assures safe operation of railway. In the early days of signaling system railway managers made sure of safety by using relay logic technology based on fail-safe concept. But the development result of computer and science having been introduced to railway industry, railway signaling equipments begin to be operated through micro electronic control system. Accordingly high speed and high density operation of train became possible. Software reliability and safety technology that controls important systems of railway was highlighted. In the middle of 1990s the standard or guideline of railway reliability and safety were studied and established, and are being reviewing in Europe, Japan etc. Our reliability and safety technology have depended largely on foreign countries. In this study we performed a basic study about the reliability of software that controls the railway signaling system.

• 전기학회논문지P
• /
• 제64권3호
• /
• pp.138-142
• /
• 2015

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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2044-2049
• /
• 2009

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.

• 한국철도학회논문집
• /
• 제12권4호
• /
• pp.450-456
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프드웨어에 의존성이 더옥 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성과 선뢰성에 대한 테스팅이 더욱 증요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 Metrics 분석 자동화 도구를 제안하였으며, 또한 구현결과를 제시하였다. S/W Metrics는 철도시스템 소프트웨어관련 국제표준에서 언급되고 있는 Metrics를 대상으로 하였으며, 철도 소프트웨어 소스코드의 Metrics를 자동으로 분석하여 그 결과를 사용자에게 다양한 형태로 제시할 수 있도록 구현하였다. 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• 제3B권4호
• /
• pp.195-201
• /
• 2003

In accordance with the computerization of railway signaling systems, the interface link between signaling equipment has been replaced by a digital communication channel and the importance of this communication link has become increasingly significant. However, there are some problems with the present state of railway signaling. First, different communication protocol is applied to interfaces between signaling although they have the same functions. Next, the communication protocols currently used in the railway fields contain various illogical components such as structure, byte formation, error correction scheme and so on. To solve these matters, a new data link protocol for railway signaling systems is designed. In this paper, the structure of protocol and the results of performance analyses are presented. It will be expected to increase the safety, reliability and efficiency of maintenance of signaling systems by using the designed communication protocol for railway signaling in Korea.

• Journal of Electrical Engineering and Technology
• /
• 제2권3호
• /
• pp.379-385
• /
• 2007

Recently, vital devices of the railway signaling systems have been computerized in order to ensure safe train operation. Due to this computerization, we have gradually come to need networking interfaces between these devices. Thus it is important that there be reliable communication links in the signaling systems. Network technologies are applied in the real-time industrial control system, and there are numerous studies to be carried out on the computer network technology for vital control systems such as railway signaling systems. For deploying the studies, we consider costs, reliability, safety assurance technique, compatibility, and etc. In this paper, we propose the Ethernet for railway signaling systems and also precisely describe the computer network characteristics of vital railway signaling systems. Then we demonstrate the experimental results of the proposed network algorithm, which is based on switched Ethernet technology with redundancy scheme.