• 제목/요약/키워드: safety critical systems

검색결과 486건 처리시간 0.027초

안전중시 시스템을 위한 체계적인 설계 프로세스에 관한 연구 (A Process Model for the Systematic Development of Safety-Critical Systems)

  • 윤재한;이재천
    • 대한안전경영과학회지
    • /
    • 제11권3호
    • /
    • pp.19-26
    • /
    • 2009
  • It is becoming more and more important to develop safety-critical systems with special attention. Examples of the safety-critical systems include the mass transportation systems such as high speed trains, airplanes, ships and so forth. Safety critical issues can also exist in the development of atomic power plants that are attracting a great deal of attention recently as oil prices are sky-rocketing. Note that the safety-critical systems are in general large-scale and very complex for which case the effects of adopting the systems engineering (SE) approach has been quite phenomenal. Furthermore, safety-critical requirements should necessarily be realized in the design phase and be effectively maintained thereafter. In light of these comments, we have considered our approach to developing safety-critical systems to be based on the method combining the systems engineering and safety management processes. To do so, we have developed a design environment by constructing a whole life cycle model in two steps. In the first step, the integrated process model was developed by integrating the SE (ISO/IEC 15283) and systems safety (e.g., hazard analysis) activities and implemented in a computer-aided SE tool environment. The model was represented by three hierarchical levels: the life-cycle level, the process level, and the activity level. As a result, one can see from the model when and how the required SE and safety processes have to be carried out concurrently and iterately. Finally, the design environment was verified by the computer simulation.

Design of safety critical and control systems of Nuclear Power Plants using Petri nets

  • Singh, Pooja;Singh, Lalit Kumar
    • Nuclear Engineering and Technology
    • /
    • 제51권5호
    • /
    • pp.1289-1296
    • /
    • 2019
  • Non-functional requirements plays a critical role in designing variety of applications domain ranges from safety-critical systems to simple gaming applications. Performance is one of the crucial non-functional requirement, especially in control and safety systems, that validates the design. System risk can be quantified as a product of probability of system failure and severity of its impact. In this paper, we devise a technique to do the performance analysis of safety critical and control systems and to estimate performance based risk factor. The technique elaborates Petri nets to estimate performability to ensure system dependability requirements. We illustrate the technique on a case study of Nuclear Power Plant system. The technique has been validated on 17 safety critical and control systems of Nuclear Power Plant.

안전필수(Safety-Critical) 시스템의 실시간 운영체제에 대한 안전성 평가 (Safety Evaluation on Real Time Operating Systems for Safety-Critical Systems)

  • 강영두;정길도
    • 한국산학기술학회논문지
    • /
    • 제11권10호
    • /
    • pp.3885-3892
    • /
    • 2010
  • 원자력발전소의 발전소보호계통과 같은 안전필수 시스템은 예상 가능한 사고로부터 인간과 자연을 보호하기 위한 중요 기능을 수행하는 시스템으로써, 어떠한 조건 하에서도 고유의 안전기능을 안정적으로 수행할 수 있도록 설계되어야 한다. 원자력발전소의 안전필수 기능을 수행하는 계측제어시스템에 적용되는 최신의 컴퓨터에는 다양한 하부기기를 감시 및 제어하고, 응용 프로그램을 실행시키기 위한 실시간 운영체제가 탑재되어 있으며, 이러한 실시간 운영체제는 가장 엄격한 소프트웨어 품질이 요구된다. 또한, 예상 가능한 조건에서도 안전필수 시스템의 기능이 적절히 수행될 수 있도록 설계, 분석 및 평가되어야 한다. 그러나 지금까지 국내 원자력발전소 안전필수 시스템에는, 원자력 기준과 품질등급에 따라 개발된 제품이 아닌 상용제품의 실시간 운영체제를 정성적 측면에서 승인(Commercial Grade Item Dedication)하는 방식으로 적용되어 왔다. 이로 인해 실시간 운영체제가 안전필수 기능을 수행하는 데 적합한지를 평가하는 상세 방법론과 경험이 매우 부족한 것으로 파악되고 있다. 특히, 안전필수 시스템에 적용함을 목적으로 신규 개발되는 실시간 운영체제의 경우, 안전성을 평가하기 위한 적절한 방법을 도출하기에 어려움이 있는 것으로 파악되고 있다. 본 논문에서는 원전의 안전필수 기능을 수행하는 실시간 운영체제의 설계요구사항을 기반으로, 안전필수 실시간 운영체제에 대한 안전성 분석 및 평가 사례를 제시하고자 한다. 본 논문에서 제시한 상세 안전성 평가의 방법과 사례는 향후 타 산업분야에서의 안전필수 실시간 운영체제 개발 및 안전성 평가에 활용될 수 있을 것으로 기대된다.

Performance evaluation of safety-critical systems of nuclear power plant systems

  • Kumar, Pramod;Singh, Lalit Kumar;Kumar, Chiranjeev
    • Nuclear Engineering and Technology
    • /
    • 제52권3호
    • /
    • pp.560-567
    • /
    • 2020
  • The complexity of safety critical systems of Nuclear Power Plant continues to increase rapidly due its transition from analog to digital systems. It has thus become progressively more imperative to model these systems prior to their implementation in order to meet the high performance, safety and reliability requirements. Timed Petri Nets (TPNs) have been widely used to model such systems for non-functional analysis. The paper presents a novel methodology for the analysis of the performance metrics using PN modeling. The paper uses the isomorphism property of the TPNs and the Markov chains for the performance analysis of the safety critical systems. The presented methodology has been validated on a Shutdown System of a Nuclear Power Plant.

소프트웨어 안전성 평가를 위한 소프트웨어 고장 유형과 영향 분석에 관한 연구 (A Study on the Software Fault Modes and Effect Analysis for Software Safety Evaluation)

  • 김명희;박만곤
    • 한국멀티미디어학회논문지
    • /
    • 제15권1호
    • /
    • pp.115-130
    • /
    • 2012
  • 오늘날 대다수의 안전필수 시스템들(Safety-Critical Systems)에는 컴퓨터, 전기 및 전자 부품이나 장치들에 소프트웨어를 칩에 내장하거나 제어용 소프트웨어 시스템이 탑재되어 구축되고 있다. 이에 따라, 컴퓨터 소프트웨어를 내장하였거나 탑재한 시스템들의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 제안되어져 오고 있다. 이러한 소프트웨어 결함 분석 기법들은 전통적으로는 하나의 안전필수 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 그 시스템에 가장 알맞은 결함 분석 기법이 동원되어야 함은 필수적이다. 본 연구에서는, 안전필수 시스템에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템 제어 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함트리 분석(FTA)과 소프트웨어 고장 유형 및 영향 분석(FMEA)을 결합한 시스템 결함 분석 방법을 제안하고 유비쿼터스 헬스케어 시스템을 이용하여 사례연구를 수행하고자 한다.

A Quantitative Study on Important Factors of the PSA of Safety-Critical Digital Systems

  • Kang, Hyun-Gook;Taeyong Sung
    • Nuclear Engineering and Technology
    • /
    • 제33권6호
    • /
    • pp.596-604
    • /
    • 2001
  • This paper quantitatively presents the effects of important factors of the probabilistic safety assessment (PSA) of safety-critical digital systems. The result which is quantified using fault tree analysis methodology shows that these factors remarkably affect the system safety. In this paper we list the factors which should be represented by the model for PSA. Based on the PSA experience, we select three important factors which are expected to dominate the system unavailability. They are the avoidance of common cause failure, the coverage of fault tolerant mechanisms and software failure probability. We Quantitatively demonstrate the effect of these three factors. The broader usage of digital equipment in nuclear power plants gives rise to the safety problems. Even though conventional PSA methods are immature for applying to microprocessor-based digital systems, practical needs force us to apply it because the result of PSA plays an important role in proving the safety of a designed system. We expect the analysis result to provide valuable feedback to the designers of digital safety- critical systems.

  • PDF

안전중시 시스템의 설계프로세스 구축에서 SysML 모델의 활용에 관한 연구 (On the Use of SysML Models in the Construction of the Design Process for Safety-Critical Systems)

  • 김영민;이재천
    • 대한안전경영과학회지
    • /
    • 제15권3호
    • /
    • pp.7-17
    • /
    • 2013
  • The recent trend in modern systems development can be characterized by the increasing complexity in terms of both the functionality and HW/SW scale that seems to be accelerated by the growing user requirements and the rapid advancement of technology. Among the issues of complexity, the one related to systems safety has attracted great deal of attention lately in the development of the products ranging from mass-transportation systems to defence weapon systems. As such, the incorporation of safety requirements in systems development is becoming more important. Note, however, that since such safety-critical systems are usually complex to develop, a lot of organizations and thus, engineers should participate in the development. In general, there seems to be a variety of differences in both the breadth and depth of the technical background they own. To address the problems, at first this paper presents an effective design process for safety-critical systems, which is intended to meet both the systems design and safety requirements. The result is then advanced to obtain the models utilizing the systems modeling language (SysML) that is a de facto industry standard. The use of SysML can facilitate the construction of the integrated process and also foster active communication among many participants of diverse technical backgrounds. As a case study, the model-based development of high-speed trains is discussed.

운영단계 안전중시시스템에서 제기되는 설계변경요구에 대해 아키텍처 DB의 추적성을 통한 변경프로세스의 개선 (On Coping with the Design Change Request by Utilizing DB Traceability in the Operational Phase of Safety-critical Weapon Systems)

  • 김영민;이재천
    • 대한안전경영과학회지
    • /
    • 제16권1호
    • /
    • pp.69-77
    • /
    • 2014
  • The environment and requirements of modern war fields have been affected and thus changed by a variety of issues. To this end, the development of safety-critical weapon systems frequently need to meet those changes even in the operational phase. The necessity of the changes may be due to the preparation for mass-production or the request originated from the user military forces. To meet such a need can be even tougher in the development of safety-critical weapon systems since the integration of the requirements for both systems design and systems safety would make it troublesome. To handel the matter in this paper, utilization of architecture DB is proposed. Specifically, the situation in demand has first been analyzed and then a problem-solving process to accommodate the design changes has been constructed. In doing so, the concept of the aforementioned integration is particularly focused on the functional architecture, which could be a core concept of our approach to solving the problem. The result of a case study demonstrating the method studied using a computer-aided systems engineering tool is also presented.

안전중시 시스템에서 DSM 기반 인터페이스 설계를 통한 시스템 오류 감축에 관한 연구 (On Reducing Systemic Failure of Safety-Critical Systems by DSM-based Systematic Design of Interfaces)

  • 정호전;이재천
    • 대한안전경영과학회지
    • /
    • 제17권1호
    • /
    • pp.93-101
    • /
    • 2015
  • The demand from customers on better products and systems seems to be ever increasing. To meet the demand, the systems are becoming more and more complicated in terms of both scale and functionality, thereby requiring enormous effort in the development. One bright spot of this trend is that such effort has been the driving forces of the remarkable advancement in modern systems development. On the other hand, safety issues appear to be critical in many large-scale systems such as transportation and weapon systems including high-speed trains, airplanes, ships, missiles/rockets launchers, and so on. Such systems turn out to be prone to a variety of faults and thus the resultant failure can cause disastrous accidents. For the reason, they can be referred to as safety-critical systems. The systems failure can be attributed to either random or systemic factors (or sometimes both). The objective of this paper is on how to reduce potential systemic failure in safety critical systems. To do so, a proper system design is pursued to minimize the risk of systemic failure. A focus is placed on the fact that complex systems have a lot of complicated interfaces among the system elements. To effectively handle the sources of hazards at the complicated interfaces and resultant failure, a method is developed by utilizing a design structure matrix. As a case study, the developed method is applied in the design of train control systems.

SCADE와 Safety-critical 개발 (SCADE and Safety-critical developement)

  • 정성환
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2011년도 춘계학술대회 논문집
    • /
    • pp.1420-1424
    • /
    • 2011
  • When it developes the railway system, safety is one of the most important and necessary things. SCADE SUITE has been used in many systems, like plane, transportation, nuclear power, etc, who have high priority to safety. This document introduces where SCADE SUITE has been used and describes how develope safety-critical system with SCADE.

  • PDF