• 전기의세계
• /
• v.52 no.9
• /
• pp.33-40
• /
• 2003

원전 안전등급 계측제어계통이 디지털화 되고 있으나 안전계통을 소프트웨어로 구현하는 과정에는 소프트웨어 공통모드고장(Common Mode Failure)과 같은 위험 요소가 존재한다. 일반 산업체와는 달리 원전에서 발생하는 사고는 일반 공중에게 방사능 누출 가능성을 내재하고 있어 디지털 안전계통은 원자로를 안전하게 정지시키는 것을 보장하고, 방사능이 누출되는 사고에 대해서도 그 피해를 최소화시키거나 방지할 수 있는 기능을 확보해야 한다. 이와 같은 원전 안전계통 디지털화의 성공과 원전의 안전성을 확보하기 위해서는 소프트웨어 신뢰성과 안전성 확보가 관건이며 안전-필수 소프트웨어 검증 기술개발이 절실히 요구된다. 본 기고에서는 원전 디지털 안전-필수 소프트웨어에 대한 개발방법과 규제요건, 규제방법 및 규제대처방법 등에서 공통적으로 고려해야 할 안전-필수 소프트웨어 개발 및 검증의 기술적 측면과 안전-필수 소프트웨어의 개발 및 검증의 각 단계에 대해서 기술한다.

• Product Safety
• /
• s.181
• /
• pp.74-77
• /
• 2009

전기용품안전기준은 안전한 기기를 설계하고 제조하기 위새서는 필수적이다. 기준은 안전성을 만족할 만한 수준을 이루기 위한 최소한의 필수 사항을 규격화 하여 제시되었다. 따라서 안전기준 및 시험방법을 이해하는 것은 제조업체의 품질경영과 제품안전성 제고에 필수적이라고 할 수 있다 따라서 본고에서는 전기용품안전기준의 개념과 대상이 되는 위험요소 및 방지책에 대해서 설명하고, 안전기준 K 60335를 근거로 하여 규격 및 시험에 관한 일반적인 조건 및 항목들을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.229-231
• /
• 2018

원자력 시설에 적용되는 안전 필수 시스템의 소프트웨어는 매우 높은 수준의 신뢰성이 요구되기 때문에 개발 과정은 중요한 인허가 이슈이다. 원자력 안전 필수 시스템에서의 소프트웨어 공학 활동은 산업표준을 준용하는 부분이 있으나, 일부 상이한 부분이 존재하므로 주의해야 한다. 이 논문은 원자력 요건에 적합한 소프트웨어 개발 방법을 제안한다. 원자력 안전 필수 소프트웨어는 기능 및 성능 요건과 더불어, 안전 요건과 보안 요건을 종합적으로 고려하여 계획 수립, 명세화, 확인 및 검증, 시험을 수행하는 것이 중요하다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.10
• /
• pp.3885-3892
• /
• 2010

Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.

• The Safety technology
• /
• no.181
• /
• pp.14-15
• /
• 2013

지난 18일 매경안전환경연구원은 고용노동부와 함께 '제20회 안전경영대상'을 개최해 '안전경영'을 모범적으로 실천해온 한국가스공사 인천기지본부, 현대오일뱅크 대산공장 등의 업적을 치하했다. 안전경영, 즉 경영진의 확고한 안전의식은 우수한 안전관리 기법 실행, 노 사의 적극적인 참여, 안전보건 관련법의 철저한 준수 등과 힐께 안전사업장을 만드는 필수조건이다. 특히 상명하복의 문화가 짙은 우리나라 사업장의 특성을 감안하면, 경영진의 안전 신념에 따라 안전관리의 성패가 좌우되기 때문에 '안전경영'은 가장 중요하다고 할 수 있다. 안전 선진국 대한민국을 만들기 위해 앞장서서 '안전경영문화'를 확산시키고 있는 매경 안전환경연구원의 이영순 원장을 만나봤다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.8
• /
• pp.813-822
• /
• 2010

Integrated data processing for display of flight critical data and mission critical data was conducted without additional display instruments using glass cockpit design. Based on a pre-designed flight critical system and a mission critical system, this paper shows an optimal design of subsystem integration. The design satisfies safety requirements of flight control systems(FCS) and requires minimized modification of pre-designed systems. By conducting integration test using System Integration laboratory(SIL), it is confirmed that the introduced design approach meets the safety requirements of the MEP system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.107-109
• /
• 2012

안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.33-36
• /
• 2010

소프트웨어가 대형화되고 복잡해짐에 따라 발생하는 오류가 증가되고 있다. 안전성이 특히 중요시되는 안전필수(safety-critical) 내장형 시스템에서 오류가 발생하면 인명상의 피해 또는 재산상의 피해를 야기한다. 개발 후, 테스팅을 통해 이런 오류를 찾는 비용은 매우 크고, 모든 오류를 찾는 것은 불가능하다고 인식되고 있다. 따라서 소프트웨어 개발단계에서 이런 오류를 탐지하고 제거하려는 노력이 증대되고 있다. 본 논문에서는 SPARK Ada를 사용하여 안전필수 내장형 시스템을 개발할 때, 오류를 제거할 수 있는 흐름분석(flow analysis) 기법을 사용하여 특정한 타입의 오류를 제거할 수 있음을 보인다. 또한 이를 적용하여 안전필수 시스템을 개발한다.

• Journal of Information Technology and Architecture
• /
• v.9 no.4
• /
• pp.443-453
• /
• 2012

In order to minimize the damage from system failures, systems over various fields are requested to contain the safety-critical features. In this paper, we deliver the considerable issues, especially, in the cyber physical systems that is recently used as a safety-critical system, as well as we propose the model driven architecture based on time as its the important factor. Based on meta-modeling approach, we introduce the time-based architecture which is associated with deadline, transition state, and threshold, and also we work out a design for this by using model driven architecture. We propose a realizable safety-critical architecture by means of showing failure handling components with safety transaction model from the meta-model. In the detailed models and the example, we design a basic safety processing state, a multiple safety processing state, and a compound safety processing state for completing the safety-critical system architecture.

• The Safety technology
• /
• no.193
• /
• pp.47-47
• /
• 2014