• 전기의세계
• /
• 제52권9호
• /
• pp.33-40
• /
• 2003

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

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

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

• 제품안전
• /
• 통권181호
• /
• pp.74-77
• /
• 2009

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.229-231
• /
• 2018

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

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

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.33-36
• /
• 2010

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

• 정보화연구
• /
• 제9권4호
• /
• pp.443-453
• /
• 2012

다양한 분야의 시스템들은 시스템 오류에 인한 피해의 최소화를 목적으로 안전필수 특성을 가지도록 요구된다. 본 논문에서, 안전필수 시스템으로 많이 연구되는 사이버물리시스템이 그 특성을 가지기위해 고려해야하는 이슈와 주요 요소인 시간을 기반으로 모델 지향 아키텍처에 대하여 논의한다. 메타모델링 접근 방식으로 마감시간, 전환상태와 기준치에 연결하여 시간 기반 아키텍처를 제시하고, 이를 모델지향 아키텍처를 이용하여 설계한다. 메타모델로부터 생성된 안전처리 모델과 함께 오류처리 컴포넌트를 사용하여 사이버 물리 시스템 및 시간기반 도메인에 적용 가능한 안전필수 아키텍처를 제시한다. 그리고 안전필수 시스템 설계 시 기본적 안전처리 상태, 다중적 상태, 복합적 상태를 통하여 세부적인 모델과 그 사례를 나타내었다.

• 안전기술
• /
• 제181호
• /
• pp.14-15
• /
• 2013

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

• 한국멀티미디어학회논문지
• /
• 제15권1호
• /
• pp.115-130
• /
• 2012

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

• 한국항공우주학회지
• /
• 제38권8호
• /
• pp.813-822
• /
• 2010

안전성 요구수준이 서로 다른 비행필수 데이터(Flight Critical Data)와 임무필수 데이터(Mission Critical Data)의 시현을 처리하기 위해 별도의 독립된 계기를 사용하지 않고 Glass Cockpit 설계를 적용하여 데이터를 통합처리하였다. 본 논문에서는 독립적으로 설계 진행되어온 비행조종계통과 임무탑재시스템의 통합설계를 위해 설계변경을 최소화하면서 비행조종계통에서 요구되는 비행필수 데이터처리의 안전성 요구수준을 만족시키는 최적화 설계를 제안하였다. 비행필수 데이터의 시현을 처리하기 위해 KUH 임무탑재시스템의 핵심구성품인 임무컴퓨터(Mission Computer)의 하드웨어 및 소프트웨어 설계변경을 최소화하였다. 임무탑재시스템의 안전성 요구도(Safety Requirement)를 검증하기 위한 시험절차를 개발하여 임무탑재시스템 통합시험장비(SIL)를 이용한 시험 수행 결과 안전성 요구도가 만족됨을 확인하였다.