• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권10호
• /
• pp.661-668
• /
• 2013

Safety Critical 시스템은 시스템의 기능적인 실패 또는 예기치 못한 상황의 발생으로 인해 인명피해, 재산피해, 환경 피해와 같은 치명적인 사고를 초래할 수 있는 시스템을 의미한다. 그러므로 Safety Critical 시스템의 안전을 보장하기 위해서는 시스템 설계 단계에서 시스템에 존재할 수 있는 위험성들이 충분히 고려되어야 하며, 사고가 발생했을 시 피해를 최소화시키기 위한 일련의 예방 동작들이 설계되어야 한다. 현재에는 Safety Critical 시스템의 설계 단계에서 위험성을 식별하고 분석하기 위한 많은 방법들이 연구되었으며, 이 중에는 예기치 못한 사건으로 인한 피해를 예방하는 동작들의 성공 여부를 분석하는 기법도 존재한다. 본 연구에서는 위의 예방 동작들의 성공 여부에 대한 분석뿐만 아니라 기존 연구들에서 언급하지 못한 예방 동작들 간의 충돌과 이로 인해 발생할 수 있는 피해를 분석하는 방법을 제시하고자 한다. 제안한 방법을 통해 Safety Critical 시스템의 안전성이 견고해지고 피해 예방을 위한 동작들의 올바른 설계에 도움이 될 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

• 대한안전경영과학회지
• /
• 제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.

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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.135-137
• /
• 2012

Safety Critical 시스템은 예상치 못한 오류가 발생했을 시 인명, 재산 및 심각한 환경 피해 등이 발생 할 수 있는 임베디드 시스템이다. Safety Critical 시스템에는 많은 위험성들이 잠재적으로 존재하기 때문에 치명적인 사고가 발생할 수 있다. 이러한 문제를 방지하기 위해 시스템에 존재하는 위험성을 분석하는 활동이 중요시 되고 있다. 본 연구에서는 Safety Critical 시스템의 잠재적인 위험성들을 분석하고 이를 아키텍처 설계에 반영함으로써 시스템의 안전성을 향상시키기 위한 Hazard Perspective를 제안한다. 제안하는 Hazard Perspective는 위험성 분석으로 산출된 정보들과 SSR(System Safety Requirement)을 시스템의 안전을 보장하기 위해 제시된 여러 Safety Architectural Tactics와 매핑하여 아키텍처 설계에 반영시킴으로써 시스템의 안전성을 향상시키도록 한다.

• 한국간담췌외과학회지
• /
• 제27권2호
• /
• pp.201-210
• /
• 2023

Laparoscopic cholecystectomy is associated with a higher incidence of biliary/vasculobiliary injuries than open cholecystectomy. Anatomical misperception is the most common underlying mechanism of such injuries. Although a number of strategies have been described to prevent these injuries, critical view of safety method of structural identification seems to be the most effective preventive measure. The critical view of safety can be achieved in the majority of cases during laparoscopic cholecystectomy. It is highly recommended by various guidelines. However, its poor understanding and low adoption rates among practicing surgeons have been global problems. Educational intervention and increasing awareness about the critical view of safety can increase its penetration in routine surgical practice. In this article, a technique of achieving critical view of safety during laparoscopic cholecystectomy is described with the aim to enhance its understanding among general surgery trainees and practicing general surgeons.

• 전기전자학회논문지
• /
• 제16권2호
• /
• pp.145-152
• /
• 2012

This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2010년도 춘계 학술발표회
• /
• pp.571-576
• /
• 2010

In this study, an application method of critical strains concept for tunnels' safety by using the values of measured displacements which are obtained in the field is discussed. The aim is to: (1) study on the engineering meanings of critical strains concept by reviewing the previous researches and application examples with measured displacement values; (2) study on the engineering reasonability of critical strains concept with the view point of a tunnel engineering and a geotechnical engineering; (3) study on the features of ground deformation due to tunneling and reciprocal relation between total displacement and measured displacement; (4) evaluate a tunnel safety by using domestic measurements collected in the field; and (5) re-evaluate the control criteria which were previously used in the field, with the view point of critical strains concept. Consequently, it was confirmed that critical strains in the ground has a reasonability and a possibility of unified or common concept with the view point of a tunnel engineering.

• 한국산학기술학회논문지
• /
• 제11권10호
• /
• pp.3885-3892
• /
• 2010

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