• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.4
• /
• pp.513-519
• /
• 2015

Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 about the train wayside communication system, Shorten the time of railway signalling software development using LDRA tools. And it wil be useful to improve the effective development of the safety-related software.

• Journal of the Korean Society for Railway
• /
• v.13 no.4
• /
• pp.412-418
• /
• 2010

This paper presents the methods to acquire the Safety Certificate from Independent Safety Assessment based on the IEC standard62279 which is commonly applied to railway system for Automatic Train Control(ATC) system in accordance with Urban Maglev project. This also shows approach methods and relative activities for project life- cycle to accomplish and ensure the system requirements of ATC system, RAMS and S/W quality activities. Furthermore, the key tasks conducted with ISA are noted in detail. These kind of activities for software quality of ATC system to obtain S afety Certificate could be a CASE model to improve the quality of domestic railway system and products, and also contribute to the growth of railway business and toward the achievement of overseas' railway signaling markets.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1118-1125
• /
• 2010

This paper presents the methods to acquire the Safety Certificate from Independent Safety Assessment based on the IEC standard62279 which is commonly applied to railway system for Automatic Train Control(ATC) system in accordance with Urban Maglev project. This also shows approach methods and relative activities for project life-cycle to accomplish and ensure the system requirements of ATC system, RAMS and S/W quality activities. Furthermore, the key tasks conducted with ISA are noted in detail. These kind of activities for software quality of ATC system to obtain Safety Certificate could be a CASE model to improve the quality of domestic railway system and products, and also contribute to the growth of railway business and toward the achievement of overseas' railway signaling markets.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2010.04a
• /
• pp.254-261
• /
• 2010

The increase in hazard level is attributed to the industrial hazard environment; complete national environmental hazards to human health include climate change. The damage level in Korea from 1993 to 2009 has exceeded the Increase In adverse environmental conditions. Priority areas of concern will include those risks that are most likely to occur and are expensive when they do take place such as accident or injury at a community pool. Therefore, in this paper, we suggest the System Engineering method for application to the railway RAMS. Recently, the requirement of high-integrity level of infrastructure has been deemed important. The systems level approach is defined through the assessment of the RAMS interactions between elements of complex system applications.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1669-1679
• /
• 2010

Related to the on-going "Train Control System Project of Pilot Line Construction for Urban MAGLEV Train", activities by each phase shall be conducted to achieve SIL4 level and obtain safety certification from the Independent Safety Assessment(ISA), based on the IEC standards((IEC 62278/62279 and IEC 62425) for the first time in Korea. This thesis describes the introduction of IEC standards, system assurance activities (such as plan, analysis, test, verification and validation) in compliance with requirements management and project life-cycle and relations with the safety assessment activities; and certification activities (such as document reviews and audits) through system RAMS activities, software quality assurance activities and safety assessment, for the purpose of achieving a successful safety certification at the time of completing the project as system assurance activities including software and safety certification activities in order to acquire the safety certification for train control system which does not exist at all in domestic cases. It is believed that overall system safety assurance activities in this project will contribute to develop more upgraded products of the domestic train control system on the quality and safety point of view, find overseas markets and establish a bridgehead in the future.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.350-355
• /
• 2011

This paper gives an overview and developing status of the on-board Automatic Train Control (ATC) System employed to control the Urban Maglev vehicle in Korea. In the construction of demonstration line for Urban Maglev Program, the Daewoo Engineering Company (DEC) has participated as a supplier of the whole ATC System since 2009. According to the contract with Korea Rail Network Authority, DEC is under progress for the development of the whole ATC system including Safety Integration Level (SIL) assessment from the ISA, which is followed by the international standards IEC62278, IEC62279, and EN50129. Once the Urban Maglev Program is completed successfully in 2013, the developed system will be the first localized whole ATC system which has SIL assessment and commercial operation experience in Korea.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.2
• /
• pp.95-100
• /
• 2009

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.

• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.204-206
• /
• 2007

The portion of embedded software in railway signaling system is increased by the advance of computer and communication technology. And the safely requirements for railway system are standardized by int'l std., such as IEC 62278 and IEC 62279. According to these circumstances for software safety problems, we are deduced the testing items for software safety test and assessment for railway signaling. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. And the architecture of automatic test tool is proposed to test the deduced safely testing items in this paper.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• 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.

• International Journal of Safety
• /
• v.10 no.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.