• Nuclear Engineering and Technology
• /
• 제51권3호
• /
• pp.692-701
• /
• 2019

Recently, instrumentation and control (I&C) systems in nuclear power plants have undergone digitalization. Owing to the unique characteristics of digital I&C systems, the reliability analysis of digital systems has become an important element of probabilistic safety assessment (PSA). In a reliability analysis of digital systems, fault-tolerant techniques and their effectiveness must be considered. A fault injection experiment was performed on a safety-critical digital I&C system developed for nuclear power plants to evaluate the effectiveness of fault-tolerant techniques implemented in the target system. A software-implemented fault injection in which faults were injected into the memory area was used based on the assumption that all faults in the target system will be reflected in the faults in the memory. To reduce the number of required fault injection experiments, the memory assigned to the target software was analyzed. In addition, to observe the effect of the fault detection coverage of fault-tolerant techniques, a PSA model was developed. The analysis of the experimental result also can be used to identify weak points of fault-tolerant techniques for capability improvement of fault-tolerant techniques

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 춘계학술대회
• /
• pp.735-737
• /
• 2015

본 논문은 SaaS(Software as a Service) 기반의 건설공정전송 및 안전관리 시스템을 건설작업에 활용하여 공정관리와 안전관리에 적용함으로써 초고속 무선인터넷을 통해 이루어지는 다양한 유형의 건설 공정에 대한 일정 및 결과와 안전관리에 대한 체계적인 수단을 확보할 수 있고 공정 내에서 이루어지는 모든 관리 체계를 신속하고 정확하게 관리할 수 있다.작업자는 스마트폰을 활용하여 감독관으로 작업을 지시받고 작업의 현황과 결과를 보고한다. 또한 비상상황 시 감독관에게 보고를 즉시 할수 있으며 일정시간 이상 스마트 폰 진동 발생이 없는 경우 작업자에게 위험 상황을 체크하게 된다. 감독관의 경우 수립된 공정별 업무를 지시하고 결과를 확인하며 현장 작업자 위험 상황의 조치명령을 내리고 미흡한 부분을 제시함으로써 만족되는 결과를 얻게 된다. 또한 소프트웨어(서버)의 경우 작업에 관련된 모든 자료를 저장하고 회원관리 및 보안을 담당하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 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 방법론도 함께 제시하였다.

• 한국안전학회지
• /
• 제34권2호
• /
• pp.28-33
• /
• 2019

After the Tianjin Port explosion on 2015, it is highlighted that securing safety for dangerous goods in Korea and try to establish safety standards for railroad dangerous substances transport. In Korea, the regulation for the transport of dangerous goods is stipulated to need 3 buffer cars. However, It is inefficient that 3 buffer cars. because 3 buffer cars, increase transportation too much costs in transit and it is too strict compared to other country rules. The purpose of this study was to improve transportation efficiency by mitigating the criteria for isolated railroads through rational safety assessment. In order to verify this, we used a risk assessment software which is PHAST 7.2 developed by DNV GL. We calculated safety distances that could prevent ignitions setting up scenarios when relief system work installed on a train loaded with propylene, nonane. As a result, we confirmed that buffer cars can be reduced from three to one. This result would be implemented in the application of Korail.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• pp.153-158
• /
• 1997

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1481-1484
• /
• 1997

The vehicle driving simulator expects vehicle motion with real-time simulation arise from driver's steering, accelerating, stopping and simulates motion of vehicl with visula, audio and washout algorithm. And it gives a vivid feeling to driver in reality. Vehicle driving simulator with vehicle integration control system is used for analysis of analysis of vehicle controllaility, steering capacity and safety in various pseudo environment alike. basides, it analyzeds vehicle safety factor dirver's reaction and promotes traffic safety without driver's own risks. The main proceduress of development of the vehicle driving simulator are classified by 3 parts. first the motion base system which can be generated by the motion queues, should be developed. Secondly, real-time vehicle software which can afford the vehicle dynamics, might be constructed. The third procedure is the integration of vehicle driing simulator which can be interconnected between visual systems with motion base. In this study, we are to study of the motion base for a vehicle driving simulator design and that of its real time control and using an extra gyro sensor and accelerometers to find a position and an orientatiion of the moving platform except for calculating forward kinematics. To drive the motion base, we use National Instruments corp's Labview software. Furthemore, we use analysis module for the vehicle motionand the washout algorithm module to consummate driving simulator, which can be driven by human in reality, so we are doing experimentally process about various vehicle motion conditon.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1178-1191
• /
• 2005

본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의 유용성을 평가하기 위해 현재 국내 원전계측제어시스템 개발사업단에서 개발 중인 차세대 원자력 시스템 APR1400에 사용될 원자로 보호 시스템의 핵심 트립 논리에 대하여 고장 수목을 생성하고 분석 하였다.

• 한국화재소방학회논문지
• /
• 제17권4호
• /
• pp.57-63
• /
• 2003

본 연구에서는 지하가의 피난 안전성 평가 모델의 기반을 제시하고 그에 따른 프로그램을 개발하였다. 또한, 피난 안전성 평가에 필수적인 각종 자료들을 통합형 데이터베이스 기반으로 구축하여 적은 시간과 인력으로 효율적인 피난 안전성 평가를 수행할 수 있는 모델 제시 및 시스템을 구축하였고, 국내 지하가의 사례연구를 토대로 피난안전성평가시스템의 현장 적용성 및 신뢰성을 검증하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 춘계학술대회
• /
• pp.123-126
• /
• 2017

최근 발전되고 있는 정보통신 IT기술은 자동차 시장에도 큰 영향을 미치며 발전하고 있다. 근래에는 운전자의 안전성과 편의성을 위해 IT 기술이 접목된 장치들이 장착 되고 있다. 하지만 편의성이 증가된 장점과 함께 운전자의 주의 분산으로 인해 교통사고를 증가시키는 단점도 가져오게 되었다. 이러한 사고를 미연에 방지하기 위해 여러 방식과 종류의 안전시스템 개발이 필요하다. 본 논문에서는 Radar Sensor나 Stereo Video 영상을 이용하지 않고 보행자 및 차선 이탈 경보를 알려주는 다기능 카메라 주행 안전 System을 구현하는 방법과 차선 이탈 경보 Software 결과 분석에 관한 연구를 제안하고 한다.

• Nuclear Engineering and Technology
• /
• 제54권5호
• /
• pp.1635-1643
• /
• 2022

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.