• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제17권8호
• /
• pp.363-368
• /
• 2016

In safety-critical systems (SCS), failure may result in accidents with serious damage to human beings and property. As systems become more complex and automated, the goal of acquiring safety has attracted increasing attention lately in the defense industry, as well as the rail, automotive, and aerospace industries, among others. As such, the Department of Defense and international organizations have established appropriate standards and guidelines for systems safety and design. To this end, there has been research on the processes, methods, and associated tools for safety design. However, those results do not seem to sufficiently utilize system architectural information. The purpose of this paper is to provide a more systematic approach to SCS design. To better identify potential hazards, design information at each level of system hierarchy is exploited. Based on the results, an integrated process model was developed by combining the processes of system design and safety analysis. As a case study, the resultant integrated process model was applied to the safety design of an automobile system, which shows useful results for safety evaluation.

• Journal of the Korean Society for Railway
• /
• 제7권2호
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• Fire Science and Engineering
• /
• 제30권4호
• /
• pp.103-110
• /
• 2016

While the demand for the gas system fire extinguishers increases every year, there are insufficient safety measures for assessing the extinguishing performance, such as system safety and reliability in the preparation of increasing demand, which has emerged as a social problem. One of the most critical causes of accidents occurring with the gas extinguishing system is pressure leakage from the extinguishing agent storage container. This is considered to be one of the critical factors on which the success of fire suppression depends. In this study, its safety measure was studied, Because it was deemed urgently necessary. The newly developed pressure leakage monitoring system is a system monitoring storage condition, pressure, leakage and discharge of the storage container related to agent concentration, which is one of the critical factors for fire suppression. This was developed to be applicable to the $CO_2$ and HFC-23 systems. Therefore, for structural safety analysis, the safety performance was verified by the fluid structure coupling analysis of the safety problems that may occur when the pressure leakage monitoring system is applied to the gas fire extinguisher. For analysis programs, the FloEFD program from Mentor Graphics was used for computational fluid dynamics analysis and ABAQUS from Dassault Systems was used for structural analysis. From the result of numerical analysis, the structure of $CO_2$ did not develop plastic deformation and its safety was verified. However, plastic deformation and deviation issue occurred with the HFC-23 monitoring system and therefore verified the structural safety of pressure leakage monitoring system by data obtained from redesigning and adjusting the condition of numerical interpretation three times.

• Journal of Korean Society for Quality Management
• /
• 제41권4호
• /
• pp.725-735
• /
• 2013

Purpose: The purpose of this study is to propose an Integrated Safety Evaluation Process (ISEP) that can enhances the safety aspect of the safety-critical system. This process utilizes the advantages of the iterative Systems Engineering process combined with the safety assessment process that is commonly and well defined in many standards and/or guidelines for railway, aerospace, and other safety-critical systems. Methods: The proposed process model is based on the predefined system lifecycle, in each phase of which the appropriate safety assessment activities and the safety data are identified. The interfaces between Systems Engineering process and the safety assessment process are identified before the two processes are integrated. For the integration, the elements at lower level of Systems Engineering process are combined with the relevant elements of safety assessment process. This combined process model is represented as Enhanced Functional Flow Block Diagram (EFFBD) by using CORE(R) that is commercial modelling tool. Results: The proposed model is applied to the lifecycle and management process of the United States aircraft system. The US aircraft systems engineering process are composed of twelve key elements, among which the requirements management, functional analysis, and Synthesis processes are considered for examplenary application of the proposed process. To synchronize the Systems Engineering process and the safety assessment process, the Systems Engineering milestones are utilized, where the US aircraft system has thirteen milestones. Taking into account of the nine steps in the maturity level, the integrated process models are proposed in some phases of lifecycle. The flows of processes are simulated using CORE(R), confirming the flows are timelined without any conflict between the Systems Engineering process and the safety assessment process. Conclusion: ISEP allows the timeline analysis for identifying activity and data flows. Also, the use of CORE(R) is shown to be effective in the management and change of process data, which helps for the ISEP to apply for the development of safety critical system. In this study, only the first few phases of lifecyle are considered, however, the implementation through operation phases can be revised by combining the elements of safety activities regarding those phases.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• 제63권11호
• /
• pp.1526-1532
• /
• 2014

The Electronic Interlocking unit in railway signalling system is safety-related facilities to determine route and speed for train running. In particular, the SSI(Solid State Interlocking) is Electronic Interlocking unit for high-speed railway, and it performs safety-critical function by MPM(Micro-Processor Module). Meanwhile, MPM is composed of the PES(Programmable Electronic System)-based system, and the PES-based system in railway safety-related facilities should be implemented by complying with the safety requirements defined in IEC 62425 and IEC 61508. In this paper, we performed modeling of failure rate and reliability for MPM implemented by fault tolerance methods and analyzed functional safety for MPM. Moreover, we determined SIL(Safety Integrity Level) for MPM according to the safety requirements defined in IEC 61508 based on an analyzed functional safety.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• 제51권5호
• /
• pp.524-534
• /
• 2018

This study assessed the biological and physicochemical hazards involved in establishing a hazard analysis critical control point (HACCP) for canned seasoned Broughton's ribbed ark Scapharca broughtonii and examined the critical control points (CCPs) in the field. Following the basic principles of the HACCP system, the hazard-evaluation procedures were enacted during the production of canned seasoned Broughton's ribbed ark after field investigation of a seafood product company in Korea. CCPs were determined using canned seasoned Broughton's ribbed ark with the corresponding control measures. The HACCP system was applied to each step in processing the product. The results indicated that inspection of raw materials, filling, sterilization, and alien substance detection were the most important CCPs. These results can be used to prevent and control food safety problems in the production of canned seasoned Broughton's ribbed ark.

• Nuclear Engineering and Technology
• /
• 제54권3호
• /
• pp.834-841
• /
• 2022

System thermal-hydraulic (STH) code is adopted for nuclear safety analysis. The critical flow model (CFM) is significant for the accuracy of STH simulation. To overcome the defects of current CFMs (low precision or long calculation time), a CFM based on a genetic neural network (GNN) has been developed in this work. To build a powerful model, besides the critical mass flux, the critical pressure and critical quality were also considered in this model, which was seldom considered before. Comparing with the traditional homogeneous equilibrium model (HEM) and the Moody model, the GNN model can predict the critical mass flux with a higher accuracy (approximately 80% of results are within the ±20% error limit); comparing with the Leung model and the Shannak model for critical pressure prediction, the GNN model achieved the best results (more than 80% prediction results within the ±20% error limit). For the critical quality, similar precision is achieved. The GNN-based CFM in this work is meaningful for the STH code CFM development.

• Proceedings of the Korean Nuclear Society Conference
• /
• 한국원자력학회 2004년도 요약집 춘계학술발표대회
• /
• pp.228-228
• /
• 2004

• Asian-Australasian Journal of Animal Sciences
• /
• 제12권2호
• /
• pp.253-260
• /
• 1999

Occurrences of foodborne disease outbreaks are increasing in Korea. Among the outbreaks, Salmonella, Staphylococcus aureus, Vibrio parahaemolyticus are the most important organisms and meat and meat product the major sources of infection. Hazard Analysis Critical Control Point system is a process control system designed to identify and prevent microbial and other hazards in food production. It is considered to be the best process management system by the National Advisory Committee for Microbiological Criteria for Foods, the National Academy of Science, and the Codex Alimentarius Commission. The Korean Ministry of Health and Welfare established a legal basis for the implementation of the HACCP system in Article 32-2 (Hazard Analysis Critical Control Point) of the Food Sanitation Act in December 1995. The Ministry of Agriculture and Forestry has granted research funds for the development of this model system for application to traditional food products and processed fishery products as well as to raw meats. Implementation of the HACCP system is an important step and the Korean food industry and the Government are focused on ensuring food safety in Korea.

• Journal of the Korean Society for Railway
• /
• 제6권1호
• /
• pp.1-9
• /
• 2003

This article proposes an integrated systems engineering and safety analysis model for safety-critical systems development. A methodology in system design for safety is considered during the early phase of the development life cycle of systems engineering process. The evolution of the design automation technology has enabled engineers to perform the model-based systems engineering. A Computer-Aided Systems Engineering(CASE) tool, CORE, is utilized to integrate the systems engineering model with a system safety analysis model. The results of the functional analysis phase can drive the analysis of the system safety. An example of Communications-Based Train Control(CBTC) system for an Automated Guided Transit(AGT) system demonstrated an application of the integrated model.