• 제목/요약/키워드: Safety-critical

검색결과 2,133건 처리시간 0.03초

"3+3 PROCESS" FOR SAFETY CRITICAL SOFTWARE FOR I&C SYSTEM IN NUCLEAR POWER PLANTS

  • Jung, Jae-Cheon;Chang, Hoon-Sun;Kim, Hang-Bae
    • Nuclear Engineering and Technology
    • /
    • 제41권1호
    • /
    • pp.91-98
    • /
    • 2009
  • The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

Safety-critical 소프트웨어 V&V 지침서 개발 방법론

  • 김장열;이장수;권기춘
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1997년도 춘계학술발표회논문집(1)
    • /
    • pp.233-238
    • /
    • 1997
  • 본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

  • PDF

A Study on the Software Safety Assessment of Healthcare Systems

  • Olenski, Rafal;Park, Man-Gon
    • 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.

철도소프트웨어 안전기준 및 안전관리체계 연구 (A Study on Safety Standard and Safety Management Procedure for Railway Software)

  • 정의진;신경호
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2007년도 춘계학술대회 논문집
    • /
    • pp.987-992
    • /
    • 2007
  • Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and introduces the framework for the software lifecycle. The licensing procedure for the railway software is also reviewed.

  • PDF

Influence of geometry and safety factor on fatigue damage predictions of a cantilever beam

  • Pecnik, Matija;Nagode, Marko;Seruga, Domen
    • Structural Engineering and Mechanics
    • /
    • 제70권1호
    • /
    • pp.33-41
    • /
    • 2019
  • The influence of two parameters on fatigue damage predictions of a variably loaded cantilever beam has been examined. The first parameter is the geometry of the cantilever beam and the weld connecting it to a rear panel. Variables of the geometry examined here include the cantilever length, the weld width on the critical cross-section and the angle of the critical cross-section. The second parameter is the safety factor, as set out by the Eurocode 3 standard. An analytical approach has been used to calculate the stresses at the critical cross-section and standard rainflow counting has been used for the extraction of the load cycles from the load history. The results here suggest that a change in the width and angle of the critical cross-section has a non-linear impact on the fatigue damage. The results also show that the angle of the critical cross-section has the biggest influence on the fatigue damage and can cause the weld to withstand fatigue better. The second parameter, the safety factor, is shown to have a significant effect on the fatigue damage calculation, whereby a slight increase in the endurance safety factor can cause the calculated fatigue damage to increase considerably.

안전중시 시스템의 설계프로세스 구축에서 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.

터널내 화재시 PIV를 이용한 연기제어 특성에 관한 연구 (A Study on the Characteristics of Smoke Control using PIV in Tunnel Fires)

  • 고재웅;김종윤;서태범;임경범;이동호
    • 한국안전학회지
    • /
    • 제21권5호
    • /
    • pp.6-11
    • /
    • 2006
  • This study aims to measure a smoke density and velocity by using the PIV method in case a fire occurs in tunnels. By doing so, this will estimate a critical velocity, examine its appropriateness, and present the basic materials necessary for designing a smoke control equipment. For this study, a visualization test was conducted based on the 1/20 miniature of a real tunnel according to the Froude scaling. As a part of basic experiments, a correlation between smoke density and brightness was analyzed here, and a critical velocity was estimated on the condition that a fire breaks out in tunnels. As a result, this study finds that there is a correlation between smoke density and brightness within a range of 100% to 30% transmittance, from which a quantitative smoke density can be obtained. The study also suggests that a critical velocity calculated from the Kennedy formula shows about 10% difference from that estimated in the test.

철도운영기관의 안전업무 종사자 인적요인 관리현황 (Human Factors Management Status on Railway Safety Critical Works)

  • 곽상록;왕종배;신승령
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2008년도 춘계학술대회 논문집
    • /
    • pp.2467-2471
    • /
    • 2008
  • Railway accident analysis results show that accidents cased by human factors are not decreasing, whereas H/W related accidents are steadily decreasing. For the efficient management of human factors, many expertise on design, conditions, safety culture and staffing are required. But current safety management activities on safety critical works are focused on training, due to the limited resource and information. In order to establish railway human factors management requirements, human factors management status on all train operating companies are analysed in this study.

  • PDF

A Study of the Operation Management Strategy on the National Critical Infrastructures : Transportation and Logistics Sector

  • Chung, Sung-Hak
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권3호
    • /
    • pp.89-97
    • /
    • 2021
  • 본 연구에서는 교통수송분야 국가핵심기반 지정 및 관리시 연계성을 고려한 운영관리 전략을 제안한다. 산업구조가 고도화됨에 따라 국가핵심기반은 교통수송분야 연구개발 생애주기를 고려하여 교통수송분야의 연계 협업형 연구개발 계획과 심층분석을 적용하였다. 국가경제나 국민생활의 활동이 사회의 요건에 밀착되는 등의 포괄적인 국가안전과 국민의 안전 요구 증대로 정부의 책임이 점차 확대되고 있는 추세에 있다. 이러한 시점에서 본 연구의 특징은 유지관리의 필요성과 국가의 책무인 대국민 서비스를 위한 종합적이고 과학적인 관리를 수행하였다. 이에, 교통수송분야 국가 핵심기반은 지속가능한 유지·관리를 위한 보호계획 수립과 가이드라인을 고려하여 작성·시행한다. 본 연구는 교통수송분야의 국가핵심기반 지정·관리시 연계성을 고려한 운영 전략을 제안함으로서 효율적인 국가핵심기반 재난관리에 기여한다.

위기관리 시스템 활성화를 위한 시뮬레이터 개발에 관한 연구 (Study on Developing Simulator for Activating Company Risk Management System)

  • 기재석
    • 대한안전경영과학회:학술대회논문집
    • /
    • 대한안전경영과학회 2006년도 춘계공동학술대회
    • /
    • pp.237-249
    • /
    • 2006
  • Critical incident can be happened at any time, any places without any pre-notification. For minimizing the loss of the life safety, financial and so on caused by the risk, most of company needs a system what can activate the critical incident management plan to prevent, plan for and respond to events that become critical incident. But a lot of company still don't have such a detailed system in our country and almost company has no effective training way for to boot. This paper shows the way to activate the risk management system to work efficiently the plan. The training way, proposed by this paper, is a incident command simulator based on virtual reality and scenario generation software.

  • PDF