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

• 대한조선학회논문집
• /
• 제55권3호
• /
• pp.222-235
• /
• 2018

The hydrocarbon gas leak in the offshore plant can cause large accidents and lead to significant damages to human, property and environment. For prevention of fire or explosion accidents from gas leak, a SIS(Safety Instrumented System) should be installed. In the early stage of the offshore design, required SIL(Safety Integrated Level) is determined and reliability analysis is performed to verify the design in reliability aspects. This study collected data, information related to reliability analysis and created knowledge model of safety design for the offshore system with MBSE(Model-Based Systems Engineering) concept. Knowledge model could support safety engineer's design tasks as the guidance of reliability analysis procedure of safety design and make good conversation with other engineers in yard, class, company, etc.

• 대한안전경영과학회지
• /
• 제24권1호
• /
• pp.1-9
• /
• 2022

The growth of the online market is accelerating due to the development of technology and the pandemic era. The delivery service through the courier must be used to deliver the ordered goods to the customer through the online market. With the growth of the online market, the logistics market for delivery is also growing. The traffic and environmental problems are emerging as social issues. Urban logistics technology using underground space based on the urban railway developed to improve logistics efficiency in a metropolitan area and a new alternative to environmental problems. This study proposed a plan to secure system safety through safety analysis based on operational concept definition and scenario analysis by applying model-based perspective analysis to the system under development.

• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 전기학회논문지P
• /
• 제64권2호
• /
• pp.45-49
• /
• 2015

This paper presents a quantitative analysis method to quantitatively indicate a electrical fire preventive effect of safety inspection for electrical facilities for general use. Logic model was developed based on whether enforcement of safety inspection for electrical facilities, and then the developed analysis model was converted to hydraulic model by using mathematical logic. The electrical fire preventive effect of safety inspection for electrical facilities was quantitatively calculated by applying electrical safety inspection results and fire statistics for five years to the developed hydraulic model. The results show that electrical fire preventive effects of 5,542 cases on annual average for five years.

• 한국산학기술학회논문지
• /
• 제19권10호
• /
• pp.410-417
• /
• 2018

현대의 시스템은 지속적으로 대형화, 복잡화되어 왔기 때문에 시스템의 오류 발생 가능성이 커졌다. 시스템의 고장은 안전 사고를 발생시키고, 인명과 재산상의 막대한 피해를 줄 수 있다. 이러한 이유로 미 국방성과 IEC 등의 국제표준기구에서는 시스템의 안전성을 확보하기 위한 안전 관련 국제표준을 제정하였고, 시스템 설계와 안전 활동이 통합적으로 수행되어야 함을 권고하였다. 이에 따라 최근의 연구들은 모델기반 시스템 설계를 진행함과 동시에 모델을 활용하여 시스템의 안전성 검증을 수행하였다. 하지만 시스템 설계를 위한 모델과 안전성 분석 및 검증을 위한 고장모델을 서로 다른 모델링 언어를 기반으로 생성하였기 때문에 시스템 설계와 안전 활동이 통합적으로 수행되지 못하였다. 또한, UML 또는 SysML 기반으로 고장모델을 활용하여 안전 요구사항을 도출한 연구들은 안전 분석 및 검증에 고장모델이 제한적으로 활용되었다. 이와 같은 문제점을 해결하기 위해서 기존의 고장모델 활용법을 확장 시킬 필요가 있다. 우선 시스템 설계와 안전성 검증 활동을 통합적으로 수행할 수 있는 개선된 SysML 기반의 고장모델을 생성해야 한다. 다음으로 이 고장모델을 활용하여 도출된 안전요구사항이 시스템 설계에 제대로 반영되었는지 검증할 수 있어야 한다. 따라서 본 논문에서는 개선된 SysML 기반 고장모델의 개념과 생성 절차를 제시하였고, 자동차 시스템에 대한 고장모델을 생성하였다. 또한, 자동차 시스템의 안전성을 검증하기 위해서 고장모델의 시뮬레이션을 수행하였다. 이를 통해서 개선된 SysML 기반 고장모델을 활용하여 시스템 설계와 안전성 검증 활동을 수행할 수 있음을 보였다.

• 대한안전경영과학회지
• /
• 제13권4호
• /
• pp.9-16
• /
• 2011

Modern systems become more complex and the demand for systems safety goes up sharply. Thus, the proper handling of the safety requirements in the systems design is getting greatly increased attention these days. Hazard analysis has been one of the active areas of research in connection with systems safety. In this paper, we study a subject on how the hazard analysis results can be incorporated in the systems design. To this end we set up a goal on how to systematically generate safety requirements that should reflect hazard analysis results and be implemented in the systems design and development. To do so, we first review the process for systems design and suggest the associated Model. Then the process and results of hazard analysis are analyzed and Modeled particularly with emphasis on the safety data. The resulting data Model incorporating both the hazard analysis and system life cycle is used in the generation of safety requirements. Based on the developed data Model, the generation of the requirements, the construction of requirements DB, and the change management later on is demonstrated through the use of a computer-aided software tool.

• 한국안전학회지
• /
• 제39권2호
• /
• pp.28-37
• /
• 2024

The recent surge in the production and handling of hazardous materials in Korea necessitates developing and implementing robust emergency response plans. These plans are crucial in safeguarding the well-being of workers and residents in the event of an incident. The consequence analysis methodology outlined in the KOSHA guidelines provides a foundation for designing emergency response plans in the event of chemical accidents. However, the consequence analysis is evaluated based on assumed accident cases or worst-case scenarios. Consequently, the emergency response plan based on the consequence analysis may overestimate the damage area, complicating rescue efforts and unnecessarily increasing costs. More information and parameters become available after an accident, enabling more accurate consequence analysis. This implies that the results of consequence analysis based on this detailed information provide more realistic results than those based on assumed accidents. This study attempts to optimize the resource allocation and cost-effectiveness of emergency response plans for chemical accidents. Existing procedures and manuals are revised to elucidate the proposed model and conduct real-time consequence analysis. The existing emergency response plan is compared to verify the proposed model's efficacy. The obtained results indicate that the proposed model can exhibit better performance.

• 한국안전학회지
• /
• 제23권6호
• /
• pp.51-56
• /
• 2008

As RFID/USN technology is used in the latest industry trend, the information analysis paradigm shifts to intelligence service environment. The intelligent service includes autonomic operation, which select activity by defining itself to the status of industry facilities. Furthermore, information analysis based on IT used to frequently data mining for detecting the meaning information and deriving new pattern. This paper suggest self-classifying of context-aware by applying data mining in gas facilities for serving the intelligent gas safety management. We modify data algorithm for fitting the domain of gas safety, construct context-aware model by using the proposed algorithm, and demonstrate our method. As the accuracy of our model is improved over 90%, the our approach can apply to intelligent gas safety management based on RFID/USN environments.

• 대한안전경영과학회지
• /
• 제25권2호
• /
• pp.9-15
• /
• 2023

The Severe Disaster Punishment Act had recently been established in order to promote safety and health (OSH) management system for severe accident prevention. OSH management system is primarily designed based on risk assessments; however, companies in industries have been experiencing difficulties in hazard identification and selecting proper measures for risk assessments and accident prevention. This study intended to introduce an accident analysis method based on epidemiological model in finding hazard and preventive measures. The accident analysis method employed in this study was proposed by the U.S. Department of Energy. To demonstrate the effectiveness of the accident analysis method, this study applied it to two accident cases occurred in construction and manufacturing industries. The application process and results of this study can be utilized in improving OSH management system and preventing severe accidents.