• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.3
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.

• Journal of the Korean Society for Railway
• /
• v.11 no.2
• /
• pp.139-144
• /
• 2008

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 propose a new software tool to evaluate software safety for the train controller. We have reviewed requirements in the international standards and surveyed available tools in the market. From that, we identified necessary tests to meet the standards and proposed a tool that can be used during the whole software life cycle. We show the functional architecture and internal components of the tool. Our tool is unique in that it is a comprehensive tool specifically designed for software safety evaluation while other tools are not.

• Journal of Aerospace System Engineering
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2022

As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

• Proceedings of the KIEE Conference
• /
• 2008.04c
• /
• pp.163-165
• /
• 2008

A S/W testing for vital railway signaling system have been important because of the increase of software usage for signaling. And also the safety of vital signaling system is required by int'l std. such as IEC 61508. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to assessment software's safety. In this paper, we propose a automation schemen of software testing tool for railway signaling system. From that, we show the functional architecture and internal components of the tool.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.880-886
• /
• 2014

Many railway signalling functions have increasingly depended on computer software with recent development in computing technology, leading to evolution into more flexible and intelligent railway signalling system. Meanwhile, software programs are likely to have many errors and the cost incurred by such errors has increased. Especially, if fatal software error occurs during railway operation, it may result in loss of lives. So the software verification and validation have become more important. It is needed for software functional safety tool to support these, but most commercial tools depend on direct access to the system's memory, resulting in many difficulties in application. Owing to such difficulties and complexity, they are rarely used in railway signalling system software validation. In this study, a new testing tool for software functional testing through an external interface that can be easily used in functional testing of software was developed. Such testing tool allows development and analysis of test cases for black-box testing through analysis of actually used interface protocols, leading to increased user convenience.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.1468-1476
• /
• 2006

The goal of this thesis is to support safety and reliability characteristics of software intensive critical systems. The verification method developed is innovative from current state of the art in what concerns the verification viewpoint adopted: focusing on software faults, and not, like many other approaches purely on fulfilling functional requirements. As a first step and based on a number of well defined criteria a comparison was made of available literature in the area of static non formal non probabilistic software fault removal techniques. But, None of the techniques evaluated fulfilled all criteria set in isolation. Therefore a new technique was developed based on a combination of two existing techniques: the FMEA and FTA. These two techniques complement each other very well. It is possible to integrate both techniques with commonly used techniques at system level. The resulting new technique can be shown to combine nearly all aspects of existing fault removal techniques.

• Nuclear Engineering and Technology
• /
• v.19 no.1
• /
• pp.42-50
• /
• 1987

Through a project "Development of Nuclear Safety Parameter Monitoring System", a nuclear data link system was established between Kori nuclear unit 2 and Nuclear Safety Center. We present in this paper the selected parameter sets, a description of the developed pseudo-network software and the functional descriptions of the equipments involved. We also include the conceptual design of the Kori four unit ERF/SPDS system, along with the localization direction for the related software and hardware. hardware.

• Proceedings of the KSR Conference
• /
• 1999.05a
• /
• pp.259-266
• /
• 1999

This paper is intended to provide a method to design control software for the TCMS, train control and monitoring system. The TCMS with this control software will be applied KOREA Standard EMU. The control software is designed by SCADE Case tool to concern safety and reliability. The function for the EMU is implemented in software easily programmed, using a functional block, graphic programming language. The control software has modular design and each module is tested with SCADE simulator. This time we focus a door control module, present a design method and a simulation method for that module.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.360-367
• /
• 2000

This paper is intended to provide a method to design control software for the TCMS, train control and monitoring system. The TCMS with this control software will be applied KOREA Standard EMU. The control software is designed by SCADE Case tool to concern safety and reliability. The function for the EMU is implemented in software easily programmed, using a functional block, graphic programming language. The control software has modular design and each module is tested with SCADE simulator. This time we focus a Driving control module, including brake control module, and present a design method and a simulation method for that module.

• Proceedings of the KSR Conference
• /
• 1999.11a
• /
• pp.302-309
• /
• 1999

This paper is intended to provide a method to design control software fur the TCMS, train control and monitoring system. The TCMS with this control software will be applied KOREA Standard EMU. The control software is designed by SCADE Case tool to concern safety and reliability. The function for the EMU is implemented in software easily programmed, using a functional block, graphic programming language. the control software has modular design and each module is tested with SCADE simulator. This time we focus a HVAC(heater, ventilation and air conditioner controller) control module, present a design method and a simulation method for that module.