• 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.

• Journal of Electrical Engineering and Technology
• /
• v.2 no.3
• /
• pp.386-390
• /
• 2007

At recent times, an essential issue in the replacement of the old analogue I&C to computer-based digital systems in nuclear power plants becomes the quantitative software reliability assessment. Software reliability models have been successfully applied to many industrial applications, but have the unfortunate drawback of requiring data from which one can formulate a model. Software that is developed for safety critical applications is frequently unable to produce such data for at least two reasons. First, the software is frequently one-of-a-kind, and second, it rarely fails. Safety critical software is normally expected to pass every unit test producing precious little failure data. The basic premise of the rare events approach is that well-tested software does not fail under normal routine and input signals, which means that failures must be triggered by unusual input data and computer states. The failure data found under the reasonable testing cases and testing time for these conditions should be considered for the quantitative reliability assessment. We presented the quantitative reliability assessment methodology of safety critical software for rare failure cases in this paper.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.968-973
• /
• 2007

The systems such as the railway control system, satellite control system and nuclear power plant control system are the safety critical systems because the failure of them could lead to risk significant events. These softwares of digital systems must follow the life cycle process from the beginning of software development to guarantee their safety and reliability. The NRC(Nuclear Regulatory Commission) Reg Guide of nuclear fields, the RTCA/DO-178B standard which is used to acquire the certification for software in industrial aero field in European Union and United State, the DEF STAN 00-55 standard for the safety of electronic weapon in England, the IEC 601-1-4 for medical equipment and the IEC 62279 for railway system recommended the development life cycle. This paper introduces the development process and compares each other. Also it indicates applicable development criteria for the software of systems related to railway fields and describes the detailed procedure of development criteria. We describe the procedure to make the software development criteria in nuclear filed. For the software development related to railways, the process from plan phase to maintenance phase must be satisfied. The safety and reliability is guaranteed through these standards.

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

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.2056-2062
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control 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, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.24 no.2
• /
• pp.81-85
• /
• 2016

It is recognized that safety is a key point of technical competency. Its adoption is widely spread in development of products and it is essentially necessary in aerospace industry because airborne system and equipment are used complex high-technology and implemented systematic performance using software. This study reviews system safety assessment, development assurance level, airborne software, RTCA DO-178 process, and considerations & pitfalls in software development.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1237-1242
• /
• 2008

Recent advances in computer technology have brought more dependence on software to train control 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 the safety of electronic hardware, not so much systematic approaches to evaluate the safety of software, especially for the vital software running on board train controllers. In this paper, we propose the guide line of actually applicable software safety assessment in train control systems. And we demonstrate the results of developing a new tool based on web system version for software assessment management.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.838-849
• /
• 2010

It is inevitable to control the systematic failure to obtain the software safety integrity of embedded software installed in rolling stock. Because it is not possible to assess systematic failure integrity by quantitative methods, SILs are used to group documentation, methods, tools and techniques throughout software development lifecycle which, when used effectively, are considered to provide an appropriate level of confidence in the realization of a system to a stated integrity level. Normally, safety approval process is through generic product, generic application and specification application for. For safety approval on generic application of software based system, it is required to apply the certified software processes from the planning stage for the assigned SIL. As such, we will develop project specific application with high safety integrity within time limit of contractual delivery schedule through software assessment to the modified area with the re-use of certified software module and documentation. At this point, Hyundai Rotem has developed software processes applicable to support SIL 4 based on EN50128 which was assessed and certified by TUV SUD. This paper introduces the Hyundai Rotem's detailed approach and prospective action to achieve software safety integrity level.

• Journal of Aerospace System Engineering
• /
• v.13 no.1
• /
• pp.62-68
• /
• 2019

The software installed on an aircraft is directly related to its safety. Therefore, it shall comply with the standards of the airworthiness certification to ensure safety of flight. Airborne software should be developed in accordance with the DO-178 (Software Consideration in Airborne Systems and Equipment Certification) to comply with the airworthiness certification criterion. However, the military airborne software has been developed in accordance with the DAPA weapons system software development and management manual. In this paper, we completed a questionnaire survey of software experts. We also suggest a military airborne software development/certification process based on DO-178.

• Nuclear Engineering and Technology
• /
• v.52 no.7
• /
• pp.1462-1470
• /
• 2020

Reliability in safety-critical systems and equipment is of vital importance, so the probabilistic safety assessment (PSA) has been widely used for many years in the nuclear industry to address reliability in a quantitative manner. As many nuclear power plants (NPPs) become digitalized, evaluating the reliability of safety-critical software has become an emerging issue. Due to a lack of available methods, in many conventional PSA models only hardware reliability is addressed with the assumption that software reliability is perfect or very high compared to hardware reliability. This study focused on developing a new method of safety-critical software reliability quantification, derived from hardware-software integrated environment testing. Since the complexity of hardware and software interaction makes the possible number of test cases for exhaustive testing well beyond a practically achievable range, an importance-oriented testing method that assures the most efficient test coverage was developed. Application to the test of an actual NPP reactor protection system demonstrated the applicability of the developed method and provided insight into complex software-based system reliability.