• 대한조선학회논문집
• /
• 제47권1호
• /
• pp.76-87
• /
• 2010

According to the new rules and regulations (New SOLAS), major safety critical systems are to be designed to be redundant, which is called 'Redundancy Design'. This paper was to quantitatively analyze the degree of influence of the redundancy design applied to major safety critical systems using IMO's FSA(formal Safety Assessment) method. For the purpose of this study, the diesel engine system, which is actually one of major safety critical systems, was dealt with FMEA, FTA and ETA technique. In addition, whether the redundancy was met or not was verified and the degree of safety, or redundancy, was represented in terms of reliability. In conclusion, the safety of propulsion systems is possibly assessed systematically by estimating the risk level in terms of frequency and fatality.

• Nuclear Engineering and Technology
• /
• 제38권3호
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• Nuclear Engineering and Technology
• /
• 제51권1호
• /
• pp.45-53
• /
• 2019

Thermal-hydraulic passive safety systems (PSSs) are incorporated into many advanced reactor designs on the bases of simplicity, economics and inherent safety nature. Several factors among which are the critical parameters (CPs) that influence failure and reliability of thermal-hydraulic (t-h) passive systems are now being explored. For simplicity, it is assumed in most reliability analyses that the CPs are independent whereas in practice this assumption is not always valid. There is need to critically examine the dependency influence of the CPs on reliability of the t-h passive systems at design stage and in operation to guarantee safety/better performance. In this paper, two multivariate analysis methods (covariance and conditional subjective probability density function) were presented and applied to a simple PSS. The methods followed a generalized procedure for evaluating t-h reliability based on dependency consideration. A passively water-cooled steam generator was used to demonstrate the dependency of the identified key CPs using the methods. The results obtained from the methods are in agreement and justified the need to consider the dependency of CPs in t-h reliability. For dependable t-h reliability, it is advisable to adopt all possible CPs and apply suitable multivariate method in dependency consideration of CPs among other factors.

• 시스템엔지니어링학술지
• /
• 제16권1호
• /
• pp.84-97
• /
• 2020

This paper aims to develop an optimized inventory management method for safety critical Instrument and Control (I&C) components. In this regard, the paper focuses on estimating the consumption rate of I&C components using demand forecasting methods. The target component for this paper is the Foxboro SPEC-200 controller. This component was chosen because it has highest consumption rate among the safety critical I&C components in Korean OPR-1000 NPPs. Three analytical methods were chosen in order to develop the demand forecasting methods; Poisson, Generalized Linear Model (GLM) and Bootstrapping. The results show that the GLM gives better accuracy than the other analytical methods. This is because the GLM considers the maintenance level of the component by discriminating between corrective and preventive.

• Nuclear Engineering and Technology
• /
• 제55권3호
• /
• pp.861-869
• /
• 2023

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

• International Journal of Safety
• /
• 제3권1호
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.

• 시스템엔지니어링학술지
• /
• 제3권1호
• /
• pp.27-31
• /
• 2007

A complex system like ATM(Air Traffic Management) has safety problem emerging from complex interactions between systems. In complex systems, malfunctions of components are not the only causes of critical accidents. To resolve this problem many researchers have proposed new safety analysis models for complex systems. This research is a way of improving safety analysis model focusing on systems engineering design model for ATM.

• 한국항행학회논문지
• /
• 제21권1호
• /
• pp.50-57
• /
• 2017

최근 국내에서 추진된 항공 관련 안전필수시스템 기술 개발 사업들이 중도에 종료되거나 최종 단계에서 실용화되지 못하는 사례가 종종 발생했다. 사업실패의 원인은 여러 가지 요인이 있겠지만 본 연구에서는 불완전한 시험평가 절차에 주안점을 두고 관련 연구를 수행하였다. 일반적으로 안전필수시스템의 시험평가 프로세스는 시스템의 전 수명주기에 걸쳐 분포되고 단계별 연속성을 가져야 하며 시스템 설계 및 획득 전략의 성숙도에 따라 다양한 방법으로 실행될 수 있다. 본 논문의 목적은 국내 안전필수 항행시스템 개발 사업의 리스크를 줄이고 성공률을 높이기 위한 방안으로 국내외 시험평가 프로세스를 분석하여 새로운 전략을 제시하는 것이다. 먼저 안전필수시스템에 대한 검증 및 확인 기법에 대해 토의하고 선진기관의 시험평가 프로세스 및 절차와 국내 현황을 분석한 뒤 국내외 시험평가 프로세스를 비교함으로써 불완전한 시험평가 절차에 대한 보완책을 제시하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 추계학술대회 논문집
• /
• pp.638-645
• /
• 2007

Computers are increasingly being introduced into safety and reliability critical systems. The safe and reliable operation of these systems cannot be taken for granted. Malfunctions of these systems can have potentially catastrophic consequences and they have already been involved in serious accidents. Software fault prevention, fault tolerance, fault removal and fault forecasting are the techniques to be used, implemented and verified for embedded software in critical systems as the contributors to safety and reliability of the software. To use them when developing a software product, a relationship must be established between them and the development processes, the methods and techniques to be used to develop software, as well as with the different product architectures. Railroad signaling system software is a safety-critical embedded software with realtime and high reliability requirements. The primary purpose of the safety management is to prevent the loss of lives or physical damages arising from potential hazards in the railroad signaling system. This study provides a systematic approach to analysis of potential hazards for their management during the system life cycle to assure the identification and definition of the most appropriate hazards.

• Nuclear Engineering and Technology
• /
• 제53권11호
• /
• pp.3694-3703
• /
• 2021

Instrumentation and Control systems (I&C) play a significant role in nuclear power plants (NPP) and other safety critical systems (SCS). We have conducted a rigorous study and discussions with experienced practitioners worldwide the strategy for the development of I&C systems to investigate the several aspects related to their dependability. We discussed with experienced practitioners that work on nuclear domain with the intention of knowing their approach, they use day-to-day for the development of such systems. The aim of this research is to obtain to provide guidance to those building I&C systems of NPP and have implications on state engineering licensure boards, in the determination of legal liability, and in risk assessment for policymakers, corporate governors, and insurance executives.