• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.2
• /
• pp.108-115
• /
• 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 module and checklists supporting module. 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.

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

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1008-1013
• /
• 2008

Currently, the use of the subway system as a public transportation has been an increasing demand due to the complex transportation structure in Korea. The subway system provides on time arrival and departure, relatively comfortable riding, and convenient access in the metropolitan area. Among several areas of the operation of the subway system, the safety of subway vehicle itself is of important because the rolling stocks carry the passengers, and the safety and reliability of rolling stocks are directly affected for the safety of subway passengers. In this research, various advanced engineering analysis techniques for the precision diagnosis assessment of subway EMUs have been introduced and the diagnosis assessment results have been used to provide the critical information for the lifetime assessment of EMUs.

• Journal of the Korean Society of Safety
• /
• v.29 no.1
• /
• pp.59-63
• /
• 2014

Smoke is one of the most critical factor when escaping from the fire since it reduces visibility and interrupts finding emergency exit lights. Therefore, it is recommended that an evacuation simulation program should incorporate the smoke factor. In addition, it is suggested that the program should include not only the unilateral damage by the smoke but also the detour evacuation by risk communication. In this study, MAS (Multi Agent System)-based simulation program which incorporates the reduced walking speed by smoke and adopts the dispersion evacuation logic during escaping from the fire. To make comparison, a commercial evacuation program, Pathfinder was used. It was found that the simulation results of MAS (Multi Agent System)-based program is better than Pathfinder in terms of safe evacuation. It means that evacuation simulation need a additional evaluation categories that include not only quick evacuation time but also safe evacuee number.

• Journal of Food Hygiene and Safety
• /
• v.14 no.1
• /
• pp.104-114
• /
• 1999

This study was conducted to find out the proper ways of implementation of Hazard Analysis Critical Control Point (HACCP) concepts applicable to the current Korean food inspection system. The following recommendations are based on an in-depth review of the Canadian Food Safety Enhancement Program (FSEP), which is one of the leading HACCP programs adapted to the food industry. Since 1997, the HACCP system has been voluntarily applied to meat processing plants in Korea in accordance with the Food Protection Law. But the guidelines are obscure and inadequate to expand to the diversity of food plants, and are therefore only applied to a limited number of plants of small scale enterprise. For these reasons, it is necessary to prepare an enhanced food safety control program focused not only on the HACCP plants but also on the non-HACCP plants. The national program should be the fundamental framework of a food safety control policy enforced by all the relevant authorities. The Prerequiste Program of Canadian Food Inspection Agency and Sanitation Standard Operating Procedures (SSOP) of FSIS are good example programs for the non-HACCP plants. These programs, which are a major part of the HACCP system, could easily be adapted to the Korean food industry. To improve the current HACCP implementation guideline, it is necessary to develop a detailed implementation manual, generic HACCP model, training program, and an audit program.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.4
• /
• pp.793-805
• /
• 2015

Due to the rise of automotive security problems following automotive safety and the progress of the internet technology leading to a hyper-connected society, guaranteeing the safety of automotive requires security plans in the supply chain assurance and automotive software, and risk management plans for identifying, evaluating, and controlling the risks that may occur from the supply chain since the modern automotive is a Safety Critical system. In this paper, we propose a study on Automotive Supply Chain Risk Management (A-SCRM) procedures by person interested within the automotive Life-Cycle.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.

• Journal of Korea Multimedia Society
• /
• v.17 no.2
• /
• pp.170-179
• /
• 2014

Recently the U-Healthcare system has been rapidly advanced to manage emergence rescue for seniors. We can access emergency rescue systems with high quality services anytime, anywhere under ubiquitous healthcare systems. The more the various systems develop, the more software security systems become important. Therefore, the safety-critical system has been widely spread to the world by advancement of the information and communication technologies. There are a lot kind of fault analysis methods to evaluate software security systems. However due to characteristics of software that is not applied by human error, it can be prevented the enormous damages and losses from improving the safety of safety-critical system. So this paper proposes an integration method of FTA and Forward and Backward FMECA. This method has each strength of FTA and FMECA which is visual and numeric in normalization. First, by use of FTA, we can redraw FTA with Forward FMECA and Backward FMECA in consideration of occurrence, severity, detection, correctness, robustness, and security. Also according to value of NRVP at each event, we can modify FTA diagrams as shown critical paths given by severity and occurrence. Also, we propose the improved emergency rescue service platform of ubiquitous healthcare systems through identifying priorities of the criticality according to normalized risk priority values (NRPV).

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Journal of Auto-vehicle Safety Association
• /
• v.15 no.3
• /
• pp.27-33
• /
• 2023

Electric vehicles are widely produced from many car manufacturers around the world instead of internal combustion engine vehicle in order to respond a variety of environmental regulations. Also, they are applying for modular design method to develop plenty of the vehicles. And, both of these two issues will be an important trend to lead the future global automobile industries for a long time. In this paper, new brake architecture concept is proposed in order to respond to such a situation. First, physical interfaces between brake system like caliper, disc and other counter-parts are established for modular assembly. Second, we analyze effective factors of brake system for electric vehicles which need to reflect vehicle specifications such as total vehicle weight. Here, we consider ideal brake force by critical deceleration. Third, we simulate accumulated regenerative brake energy for two main driving modes to confirm to effectiveness for a variety of Electric Vehicle. Finally, we hope that it contributes to implement brake architecture for the development of Electric Vehicle platform through such a study.