• Proceedings of the Safety Management and Science Conference
• /
• 2007.04a
• /
• pp.425-435
• /
• 2007

This paper presents various information technologies of software product evaluation such as process for evaluators, process for developers, and process for acquirers. This study also introduces system life cycle processes and its application guide.

• Journal of Internet Computing and Services
• /
• v.20 no.3
• /
• pp.1-11
• /
• 2019

Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.

• Quality Improvement in Health Care
• /
• v.23 no.1
• /
• pp.11-23
• /
• 2017

Root Cause Analysis (RCA) has been widely used as a structured approach to investigate patient safety incidents. RCA helps identify what, how, and why something happened, therefore preventing recurrence of incidents. Since many quality tools can be used during RCA, various formats of RCA exist. If RCAs are performed incorrectly or incompletely, they are likely to produce unusable results. To address this issue, RCA software has been developed. The use of RCA software in investigating patient safety incidents may offer several advantages, such as potential reduction in learning time, shortening of the analytic process, facilitation of collection, analysis, and presentation of data and production of meaningful RCA reports. We introduced six healthcare RCA software and compared characteristics. Results from this study will enable the RCA team to choose proper RCA software.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.1
• /
• pp.12-17
• /
• 2015

This paper describes an error synchronization running on IP-USN gateway software stack for transportation safety service. This system consists of an TS_EDA, and TS_ESA. TS_EDA is an agent that detects an error for multimedia distance system based on IP-USN gateway software stack environment. TS_ESA is an agent that is an error synchronization system for multimedia distance control based on IP-USN gateway software stack environment. From the perspective of multimedia collaborative environment of IP-USN gateway software stack for transportation safety service, an error application becomes another interactive presentation error is synchronized with participants engaged in a cooperative work.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

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

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

• Journal of Biomedical Engineering Research
• /
• v.44 no.2
• /
• pp.99-108
• /
• 2023

According to the COVID-19, development of various medical software based on IoT(Internet of Things) was accelerated. Especially, interest in a central software system that can remotely monitor and control ventilators is increasing to solve problems related to the continuous increase in severe COVID-19 patients. Since medical device software is closely related to human life, this study aims to develop central monitoring system that can remotely monitor and control multiple ventilators in compliance with medical device software development standards and to verify performance of system. In addition, to ensure the safety and reliability of this central monitoring system, this study also specifies risk management requirements that can identify hazardous situations and evaluate potential hazards and confirms the implementation of cybersecurity to protect against potential cyber threats, which can have serious consequences for patient safety. As a result, we obtained medical device software manufacturing certificates from MFDS(Ministry of Food and Drug Safety) through technical documents about performance verification, risk management and cybersecurity application.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.228-228
• /
• 2004

• Transactions of the Korean Society of Automotive Engineers
• /
• v.19 no.4
• /
• pp.1-7
• /
• 2011

Various convenient systems which are telecommunication and navigation system and safety system which include Antilock Braking System, Electronic Stability Control, Adaptive Cruise Control have been developed and applied to meet customer needs and each standards since vehicles are used. The complexity of new electronics become significant reason of breakdown especially embedded software failures. Hardware reliability is almost stabilized with long history but software reliability needs more improvements through reliability researches. This new challenge will improve software reliability to clear its overall failures in vehicles. This paper introduces some software reliability models and evaluates embedded software reliability using failure data which occurred during operating.