• 한국산학기술학회논문지
• /
• 제17권8호
• /
• pp.363-368
• /
• 2016

고장으로 인한 사고 등으로 막대한 피해를 초래할 수 있어 안전성이 중요시 되는 시스템을 안전중시 시스템이라고 한다. 시스템의 대형화, 복잡도 증가 및 무인화 운영 등으로 인해서 안전 위해 요소가 증가하고 있기 때문에 안전성 확보는 국방 및 다양한 산업분야에서 중요한 문제가 되었다. 이러한 이유로 미 국방부와 IEC 등 국제표준기구 등에서는 안전 관련 표준을 만들어서 안전성 확보의 강조 및 시스템 설계와 안전성 분석의 연계를 제시하고 있다. 또한 많은 연구들에서 안전성 분석 활동이 반영된 시스템 설계 프로세스, 방법론 및 도구가 개발되고 있다. 하지만 현재까지 제시된 시스템 설계와 안전성 분석의 통합 프로세스는 각 계층 수준에 존재하는 시스템 설계 정보를 어떻게 활용하는지 명확하게 제시하지 하지 못했다. 그 결과, 체계적인 방식으로 위험원을 식별하는데 어려움이 따르게 되었다. 이와 같은 문제점을 해결하기 위해서 본 연구에서는 각 계층 수준의 시스템 설계 정보를 기반으로 위험원을 식별하여 안전성을 향상 시키고, 여러 산업 분야에 적용 가능한 시스템 설계와 안전성 분석 활동의 통합 모델을 생성했다. 통합 모델이 체계적으로 안전성 분석을 수행할 수 있는 것을 보여주기 위해서 자동차 시스템을 대상으로 적용한 연구결과를 제시하였다.

• 한국철도학회논문집
• /
• 제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.

• 한국화재소방학회논문지
• /
• 제30권4호
• /
• pp.103-110
• /
• 2016

가스계소화설비의 수요는 매해 증가하고 있으나, 늘어나는 수요에 대비한 시스템의 안전성 및 신뢰성등 소화성능에 필요한 안전대책이 미흡하여 사회적인 문제가 되고 있는 실정이다. 본 연구에서는 이러한 문제점을 해결하기 위하여 가스 소화시스템의 사고발생 원인 중에서 가장 심각한 문제인 소화약제 저장용기에서 발생하는 압력누기는 화재진압의 성패를 좌우하는 중요한 요소로 시급한 대책이 요구되는 문제점로 판단하여 연구를 하였다. 새로 개발한 압력누기감시장치는 화재진압에 중요한 요소인 소화농도와 관련이 있는 저장용기의 약제확보상태와 압력 및 누기, 방출상태 등을 감시하는 장치로 $CO_2$와 HFC-23 시스템에 적용할 수 있도록 개발하였다. 즉, 압력누기감시장치를 가스소화설비에 적용하였을 때 발생할 수 있는 구조적 안전성 분석을 위하여 유체-구조연계해석을 통하여 안전성능을 검증하였다. 해석에 사용한 프로그램으로 전산유체해석은 Mentor Graphics사의 FloEFD 프로그램을 사용하였고, 구조해석 프로그램은 Dassault systems사의 ABAQUS를 사용하였다. 수치해석결과 $CO_2$용의 구조에서는 소성변형이 발생하지 않아 안전성을 확인하였으나 HFC-23용 감시장치에는 소성변형 및 이탈문제가 발생하여 설계수정과 3차례의 수치해석 조건을 수정하여 얻은 데이터를 기본으로 압력누기감시장치의 구조적인 안전성을 확인하였다.

• 품질경영학회지
• /
• 제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.

• 전기학회논문지
• /
• 제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.

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

• 한국수산과학회지
• /
• 제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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 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.

• 한국철도학회논문집
• /
• 제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.