• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.587-597
• /
• 2003

일반적으로 C언어는 고신뢰도를 요구하는 소프트웨어에 적합하지 않다고 알려졌음에도 불구하고 적지 않은 수의 안전성이 중요시되는(safety-critical) 시스템들이 C언어로 구현되었거나 C언어를 기반으로 개발되고 있다. 본 연구의 목적은 C언어의 안전한 subset을 정의하고 이 subset 언어로 작성된 프로그램을 SPARK Ada로 변환하여 SPARK의 분석 도구들을 사용해 프로그램의 안전성을 분석하는 데 있다. SPARK은 Ada의 안전한 subset으로 고신뢰도를 요하는 시스템을 구현하는데 성공적으로 사용되어왔다. SPARK으로 변환된 C 프로그램은 SPARK 수준의 안전성을 갖게 되며 SPARK의 분석 도구인 Examiner를 통해 프로그램의 정확성 검증 등의 분석을 할 수 있다. 본 연구에서는 엘리베이터 컨트롤러 사례 연구를 통해 정의한 subset이 현실적인 시스템을 구현하기에 부족하지 않음을 발견하였으며, SPARK Ada로의 변환을 자동화해주는 변환기를 구현하였다.

• 방사성폐기물학회지
• /
• 제21권4호
• /
• pp.465-479
• /
• 2023

To ensure the safety of disposal facilities for radioactive waste, it is essential to quantitatively evaluate the performance of the waste disposal facilities by using safety assessment models. This paper addresses the development of the safety assessment model for the underground silo of Wolseong Low-and Immediate-Level Waste (LILW) disposal facility in Korea. As the simulated result, the nuclides diffused from the waste were kept inside the silo without the leakage of those while the integrity of the concrete is maintained. After the degradation of concrete, radionuclides migrate in the same direction as the groundwater flow by mainly advection mechanism. The release of radionuclides has a positive linear relationship with a half-life in the range of medium half-life. Additionally, the solidified waste form delays and reduces the migration of radionuclides through the interaction between the nuclides and the solidified medium. Herein, the phenomenon of this delay was implemented with the mass transfer coefficient of the flux node at numerical modeling. The solidification effects, which are delaying and reducing the leakage of nuclides, were maintained the integrity of the nuclides. This effect was decreased by increasing the half-life and the mass transfer coefficient of radionuclides.

• 한국가스학회지
• /
• 제24권4호
• /
• pp.32-38
• /
• 2020

화학반응기에 발생한 화재·폭발 사고사례를 기반으로 화학반응기에 설치되어 있는 예방조치의 문제점을 분석하였다. 화학반응기는 다품종의 화학제품을 생산하며, 반응폭주시 급격히 상승하는 압력을 해소하기 위해 파열판을 설치하고 파열판의 기능을 유지하기 위해 배출물질을 대기로 배출하도록 허용하고 있어 화재·폭발사고가 발생하였다. 이를 개선하기 위한 방안으로 안전건전성수준(SIL3)을 기반으로 한 안전계장시스템(SIS)을 화학반응기의 예방조치로 적용하였다. 화학반응기의 원재료를 적하하는 배관에 긴급차단밸브를 직렬로 2개 설치하여 반응폭주시 긴급차단밸브 2개 중 1개만 작동하여도 원재료 공급을 차단할 수 있도록 하고, 반응응제제 공급배관에는 자동 ON/OFF 밸브를 병렬로 설치하여 반응폭주시 1개의 밸브만 열려도 반응억제제가 투입될 수 있게 하였다.

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

• 한국철도학회논문집
• /
• 제9권3호
• /
• pp.264-270
• /
• 2006

In this paper we present a safety plan to be applied to the development of the TCS(Train Control System). The safety plan that can be applied to the life cycle of a system, from the conceptual design to the dismantlement, shows the whole process of the paper work in detail through the establishment of a goal, analysis and assessment, the verification. In this paper we study about the making a plan, the preliminary hazard analysis, the hazard identification and analysis to guarantee the safety of the TCS. The process far the verification of the system safety is divided into several steps based on the target system and the approaching method. The guarantee of the system safety and the improvement of the system reliability is fellowed by the recommendation of the international standards.

• 전기학회논문지P
• /
• 제63권4호
• /
• pp.226-235
• /
• 2014

Nowadays, railroads are considered the most efficient form of mass transportation. Furthermore, it is necessary that railroads be paired with state-of-the-art safety equipment. Unfortunately, it is impossible to prevent 100% of accidents that may be caused by system or human errors. In order to prevent future accidents, RAMS activity and Functional Safety Certification are required for new systems that are under development. In this paper we evaluate the necessity of the application of RAMS and the performance of RAMS in the system development process. We also explore the Safety Evaluation Procedure required for RAMS certification.

• 한국군사과학기술학회지
• /
• 제15권5호
• /
• pp.543-549
• /
• 2012

Hybrid electric propulsion systems are expected as future primary combat platforms because the systems can supply enough electric power, easily locate components inside vehicles, and maneuver without undesired noise. However, increasing electric/electronic/software usage causes abnormal failure patterns which have not been noticeable in conventional automotive. Recently, the functional safety standard for road vehicles were enacted and vehicle manufacturers request their components which satisfy standardized quality. This research analyzes functional safety standards(IEC 61508 and ISO 26262) and compares the standards for road vehicles with military standards of system safety. Strategies to apply functional safety in the combat hybrid electric vehicle are scrutinized.

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2023년 정기학술대회 논문집
• /
• pp.221-221
• /
• 2023

1969년에 발간된 API521 1st edition에서는 Flare Load 저감용으로 적용되는 HIPS (High Integrity Protection System)는 모두 Pressure Safety Valve의 고장확률보다 낮은 SIL 3 (Safety Integrity Level)등급을 적용할 것을 요구하고 있다. Flare Stack 저감용 HIPS는 주로 압축기 출력압력상승, Reboiler Steam 과다주입, 전력공급중단냉각펌프고장 등에 의한 Flare 발생을 예방하기 위한 기능을 가진 SIF (Safety Instrumented Function)로 구성된다. 하지만 2007년도 발간된 API521 5th edition에서는 LOPA (Layer Of Protection Analysis) 분석을 통해 Target SIL을 도출하는 것으로 요구사항을 변경했다. 이에 따라 이번 연구에서는 Flare Load에 가장 큰 영향을 미치는 시나리오 중 대표적인 시나리오를 대상으로 HAZOP(Hazard and Operability Study)과 LOPA분석을 실시해서 Target SIL이 어떻게 도출되는지를 연구했다. Flare Stack에서 Flare를 발생시키는 대표적인 시나리오들에 대해 LOPA분석을 실시한 결과 압축기 출력압력상승은 SIL 2, Reboiler Steam 과다주입은 SIL 3, 전력공급중단은 SIL 0, 냉각펌프고장은 SIL 0로 모두가 SIL 3 가 나오지는 않았다. SIF 설계 시 Target SIL을 만족시키는 것도 중요하지만 운전 시 SIL 등급이 계속 유지되게 하지 위해 인적오류, 시스템적 고장, 하드웨어고장 등에 의해 SIF 기능불능화가 되는 것을 예방하기 위한 기능안전관리시스템 (FSMS)를 적용하는 것도 중요하다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권4호
• /
• pp.167-176
• /
• 2017

자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의 전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 $1^{st}$ edition이 릴리즈 되었으며, 2016년 하반기에 $2^{nd}$ edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.

• Nuclear Engineering and Technology
• /
• 제46권3호
• /
• pp.373-380
• /
• 2014

Safety-related parameters are very important for confirming the status of a nuclear power plant. In particular, the reactor vessel water level has a direct impact on the safety fortress by confirming reactor core cooling. In this study, the reactor vessel water level under the condition of a severe accident, where the water level could not be measured, was predicted using a fuzzy neural network (FNN). The prediction model was developed using training data, and validated using independent test data. The data was generated from simulations of the optimized power reactor 1000 (OPR1000) using MAAP4 code. The informative data for training the FNN model was selected using the subtractive clustering method. The prediction performance of the reactor vessel water level was quite satisfactory, but a few large errors were occasionally observed. To check the effect of instrument errors, the prediction model was verified using data containing artificially added errors. The developed FNN model was sufficiently accurate to be used to predict the reactor vessel water level in severe accident situations where the integrity of the reactor vessel water level sensor is compromised. Furthermore, if the developed FNN model can be optimized using a variety of data, it should be possible to predict the reactor vessel water level precisely.