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

• Journal of Multimedia Information System
• /
• 제2권2호
• /
• pp.241-248
• /
• 2015

The safety-critical software in healthcare systems needs more and more perceptive excess among human observation and computer support. It is a challenging conversion that we are fronting in confirming security in healthcare systems. Held in the center are the patients-the most important receivers of care. Patient injuries and fatalities connected to health information technologies commonly show up in the news, contrasted with tales of how health experts are being provided financial motivation to approve the products that may be generating damage. Those events are unbelievable and terrifying, however they emphasize on a crucial issue and understanding that we have to be more careful for the safety and protection of our patients.

• 한국철도학회논문집
• /
• 제11권2호
• /
• pp.139-144
• /
• 2008

최근 임베디드 시스템 기술의 발전에 따라 열차제어시스템의 자동화가 촉진되고 있다. 이를 위한 하드웨어의 안전성 검증을 위한 연구는 활발히 진행되고 있으나, 소프트웨어의 안전성을 검증하기 위한 체계적인 노력은 거의 이루어지지 않고 있다. 이 논문에서는 열차제어 시스템 소프트웨어의 안전성을 자동으로 평가 할 수 있는 소프트웨어 도구를 제안한다. 이를 위하여 관련 국제표준을 분석하였으며, 기존의 사용 소프트웨어 테스팅 도구들을 조사하였다. 이로부터 국제표준에서 요구하는 주요 요건을 테스팅 할 수 있는 도구를 제안하였으며, 이 도구는 소프트웨어 전 개발주기에서 이용이 가능하다. 이 도구는 기존의 테스팅 도구들과는 달리 소프트웨어의 안전성을 검증할 수 있다는 점에서 그 의의가 크다.

• 설비공학논문집
• /
• 제29권10호
• /
• pp.538-550
• /
• 2017

In a PWR (Pressurized Water Reactor), the appropriate heat removal from the surface of fuel rod bundle is important for ensuring thermal margins and safety. Although many CFD (Computational Fluid Dynamics) software have been used to predict complex flows inside fuel assemblies with mixing vanes, there is no domestic regulatory guideline for the comprehensive evaluation of CFD software. Therefore, from the nuclear regulatory perspective, it is necessary to perform the systematic assessment and prepare the domestic regulatory guideline for checking whether valid CFD software is used for nuclear safety problems. In this study, to provide systematic evaluation and guidance on the applicability of CFD software to the domestic nuclear safety area, the results of the sensitivity analysis for the effect of the discretization scheme accuracy for the convection terms and turbulence models, which are main factors that contribute to the uncertainty in the calculation of the nuclear safety problems, on the prediction performance for the turbulent flow distribution inside the fuel assembly with split-type mixing vanes were explained.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제16권3호
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 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
• /
• 제40권5호
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• 항공우주시스템공학회지
• /
• 제13권1호
• /
• pp.62-68
• /
• 2019

항공기에 탑재되는 소프트웨어는 안전과 직결되기 때문에 안전 비행을 위해서는 감항인증 기준을 따라야만 한다. 항공기 탑재 소프트웨어는 감항인증기준에 명시된 DO-178을 따라 개발되어야 하지만 방사청 무기체계 소프트웨어 개발 및 관리 매뉴얼에 따라 개발되고 있다. 본 논문에서는 소프트웨어 전문가 설문조사를 수행하였고 DO-178을 기반으로 소프트웨어 개발 및 인증 절차를 제안하였다.

• Nuclear Engineering and Technology
• /
• 제27권3호
• /
• pp.385-392
• /
• 1995

월성원자력 2, 3, 4호기 safety-critical 소프트웨어에 대한 규제 기관의 요구사항을 만족시키기 위하여 소프트웨어 엔지니어링 절차가 개발되었다. 본 논문에서는 그 중에서 검증시험절차에 대하여 기술하였는데, 검증시험이란 설계그룹에서 개발된 소프트웨어가 독립된 기능그룹에서 부여한 요구사항을 모두 만족하는지를 확인하는 것이다. 이 검증시험을 수행하기 위하여 시험설비와 시험용 소프트웨어가 개발되었으며, 검증시험은 기능시험, 성능시험 및 자기점검시험 등으로 구성되었다. 시험결과를 분석하여, 불만족한 경우는 설계그룹에 통보되어 소프트웨어가 수정되었고, 최종결과는 보고서로 작성되어 규제기관에 제출될 것이다. 개발된 검증시험 방법과 절차는 효율적이고 성공적이었으며, 시험결과는 소프트웨어가 기능사양서를 충분히 만족시킨다는 것을 성공적으로 검증함을 보여주었다. 본 시험방법은 다른 safety-critical 소프트웨어 검증에도 적용될 수 있을 것이다.