• The Transactions of the Korean Institute of Electrical Engineers P
• /
• 제58권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년도 춘계학술대회 논문집
• /
• 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년도 춘계학술대회 논문집
• /
• 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
• /
• 제29권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 the Korea Institute of Information Security & Cryptology
• /
• 제25권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
• /
• 제4권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
• /
• 제17권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
• /
• 제35권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
• /
• 제15권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.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• 제27권1호
• /
• pp.61-67
• /
• 2013

The turnout point system is installed to separate the main rail track from other tracks in rail load stations. It is also important to set up the switch point system to change the direction of the turnout point, to lead and change the direction of tracks. The switch point system can be negatively affected by heavy snow during winter seasons which can cause critical safety problems. Furthermore, the maintenance and repair of the conventional system is prohibitively expensive due to its complexity and high probability of failure. In this paper, an efficient switch point system is proposed which simplifies the equipment structure and lowers the cost for maintenance and repair, while improving safety and performance of the rail road system.