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

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

• 한국시뮬레이션학회논문지
• /
• 제24권4호
• /
• pp.1-9
• /
• 2015

원자력 분야에서 안전관련(safety-related) 소프트웨어의 활용이 점차 확대됨에 따라서, 그에 상응하는 소프트웨어 안전과 신뢰도 향상을 위한 방안 연구가 지난 10여년 전부터 활발히 진행되고 있다. 원전 계측제어시스템(MMIS)은 원자력 발전소의 두뇌와 신경망에 해당하는 기능을 수행하고 있고 첨단 디지털 장비들로 구성된다. 따라서 원전 계측제어시스템의 소프트웨어 오류는 원자력 발전소 운전에 지장을 초래할 수 있고, 오동작으로 인한 발전소 정지로 경제적 손실을 초래할 수 있다. 소프트웨어 확인 및 검증(verification and validation, V&V)은 소프트웨어 품질을 향상시킬 수 있는 소프트웨어 공학의 분야로 알려져 있고, 원자력 산업계에서는 소프트웨어 생명주기에 따른 철저한 V&V 활동을 이행하고 준수할 것을 법규로 규정하고 있다. V&V 활동은 소프트웨어 전 생명주기에 따라 분석과 시험 활동들의 조합으로 다른 품질관련 공학 업무를 보완하는 역할을 한다. 본 논문에서는 명세 평가, 요건 추적, 소스코드 리뷰, 및 소프트웨어 시험을 통한 최적화된 안전관련 소프트웨어 V&V 방법론에 기반한 소프트웨어 품질 향상 방안과 단계별로 적합한 도구를 활용하여 효율성을 확보할 수 있는 방안을 제시하고자 한다. 제안된 방법론은 실제 신한울 1,2호기 원자력발전소 MMIS 시스템에 적용되어 입증되었다.

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

디지털 컴퓨터와 정보처리기술의 급속한 발전과 함께 산업계 전반적으로 아날로그 기술은 쇠퇴하고 디지털 기술로 전환되고 있다. 심지어 안전-필수 기능을 담당하는 원자력발전소의 계측제어시스템에서도 제한적으로 디지털 기술을 채택하여 사용하기 시작했다. 지금까지 소프트웨어의 신뢰도의 정량화에 대한 연구는 많이 이루어져 왔으나 소프트웨어가 가지는 특수성 때문에 연구결과에 대해 전문가들의 동의를 얻지 못하고 있는 상태이다. 원자력발전소에서는 확률적 안전성 평가(PSA)를 수행할 때 소프트웨어의 실패에 기인한 위험은 무시하고 있다. 하지만, 소프트웨어를 기반으로 한 디지털 시스템의 사용이 점점 늘어남에 따라 소프트웨어 신뢰도에 대한 정량화가 점점 더 요구되고 있다. 본 연구에서는 소프트웨어의 실패모드를 정의하고 해당 실패모드에 의해 사고가 발생할 확률을 베이지안 통계이론을 이용하여 정량화하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 D
• /
• pp.1761-1762
• /
• 2006

지금까지 원전 계측제어계통은 안전을 위한 보수적인 설계기준을 적용하여 아날로그 기기를 사용하여 설계되었다. 그러나 최근에는 아날로그 기기의 생산 중단으로 기기 및 장비의 예비품 조달에 어려움을 겪게 되었고, 점차 복잡하면서도 편리한 기능에 대한 사용자 요구로 인해 디지털 기기의 사용이 확대되고 있는 추세이다. 프로그램 가능한 논리제어기 (Programmable Logic Controller:PLC)는 기존의 산업체에서 널리 사용되고 있지만, 높은 수준의 안전성 기준 때문에 일부 극소수의 PLC만이 원자력에 적용되고 있는 실정이다. 최근 국내에서도 원전 안전등급의 보호, 제어 및 감시계통에 디지털 기기의 적용을 위해 많은 노력을 하고 있다. 원전 계측제어계통의 디지털화는 부품 단종 및 설비 노후화 문제 등을 해결할 수 있는 장점이 있는 반면에 디지털화로 인한 새로운 안전 현안이 제기될 수 있다. PLC를 기반으로 하는 원전 계측제어계통은 안전등급의 보호, 제어 및 감시 기능을 수행하게 되므로, 고신뢰도 소프트웨어 적용등의 안전계통 개발에서 요구하는 요건을 만족해야 한다. 따라서 상용 또는 신규 개발되는 PLC를 사용하여 발전소보호계통을 구현할 경우에 적용 가능한 기술기준 및 계통요건이 필요하다. 본 논문에서는 발전소보호계통에 적용하기 위한 PLC 평가 항목을 개발하고, 각 부분별 평가 항목에 대해 소개한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2432-2434
• /
• 2003

노내 중성자 분포 측정 설비는 원자로 내부의 중성자 분포를 측정하는 설비로서 원자로 내부를 이동하는 검출기의 구동 메커니즘 제어와 측정 데이터 취득을 위한 제어시스템이 요구된다. 이 설비는 발전소 건설 당시 도입되었던 제어시스템으로 운전되고 있으나 노후되어 디지털 제어시스템으로의 설비 개선 연구가 착수 되었다. 개발된 제어시스템은 산업표준 Programmable Logic Controller 및 소프트웨어 기반으로 설계되어 기능개선, 설계변경 및 예비품 확보에 유연하게 대처할 수 있고, 진보된 검출기 구동 메커니즘 제어와 검출기 데이터 취득 기능을 통하여 측정 작업의 완전 자동화가 가능하다. 특히, 다양한 진단 기법을 통하여 작업상황 및 설비의 상태를 파악하여 필요한 보호기능과 경보기능을 제공함으로써 설비의 안정적 운영과 정비가 편리하다. 현재 개발된 시스템은 고리1호기에 설치되어 주기적으로 노내 중성자 분포 측정 작업을 수행하고 있다.

• 정보과학회지
• /
• 제32권12호
• /
• pp.36-43
• /
• 2014

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2000년도 추계공동학술대회논문집
• /
• pp.695-702
• /
• 2000

OTS(Operator Training Simulator) 소프트웨어는 원자력발전소, 화력발전소 또는 화학공장 등과 같은 플랜트의 동적 특성을 실제의 플랜트와 같게 컴퓨터 환경을 이용하여 모의하는 기능을 수행한다. OTS 소프트웨어는 개발 규모가 방대하고 개발에 소요되는 시간과 비용부담이 큰 특징을 갖는다. 또한 플랜트 공정제어와 감시에 대한 전문지식이 요구된다. 따라서 OTS 소프트웨어 개발은 정부투자기관이나 연구기관의 자체인력을 활용하여 개발되어 왔다. 그러나, 최근에는 아웃소싱이 보편화됨에 따라 OTS 소프트웨어 개발 또한 외주개발 형태를 띄게 되었다. OTS 소프트웨어 외주개발은 소프트웨어 개발회사들에게 동등한 기회를 부여하기 위하여 일반적으로 2 단계 공개경쟁 형태로 프로젝트가 수행된다. 즉, 기술규격경쟁과 가격경쟁의 결과에 따라 외주개발 회사가 선정된다. 국내 소프트웨어 개발회사들의 경우에 OTS 소프트웨어 개발경험이 적으므로 OTS 소프트웨어 개발 프로젝트 수주를 위한 첫 번째 장벽은 발주자의 제안요청서에 합당하는 기술 제안서를 작성하여 OTS 소프트웨어를 개발할 수 있는 기술적 사업적 능력이 충분함을 입증하는 일이다 본 연구에서는 OTS의 유형과 특징, 프로젝트의 기술제안서 평가요소를 고찰하고 OTS 소프트웨어 개발에 참여하려 고 개발회사가 제안서를 작성 제출할 경우에 기술규격 경쟁에서 우위를 점할 수 있는 기술제안서 작성방안을 토의한다.

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

반응형 실시간 시스템의 특성을 가진 원자력 발전소 제어시스템은 안정성이 크게 중요시되며, 소프트웨어의 오류가 많은 인적 물질적 피해를 줄 수 있는 시스템이므로 높은 신뢰도를 가지고 있는 소프트웨어가 요구된다. 높은 신뢰도를 뒷받침하기 위해 내장되는 소프트웨어는 적합한 정형명세기법과 정형검증기법의 적용이 필요하다. 소프트웨어 개발시 적용되는 정형기법은 명세의 모호성을 제거하고 검증을 수행하기에 용이하게 하므로, 높은 신뢰도를 요구하는 반응형 실시간 시스템인 원자력 분야의 소프트웨어 개발에 유용하다. 그러므로, 본 논문에서는 반응형 실시간 시스템의 특성을 가진 원자력분야의 소프트웨어 개발시 유용하게 적용할 수 있는 정형기법을 기반으로 한 소프트웨어 개발 방법론을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2261-2264
• /
• 2002

미션 크리티컬 영역의 실시간 소프트웨어의 프로세스들은 시스템 요구사항에 맞게 제한된 시간안에 수행되도록 프로세스를 설계되고 구현되어야 한다. 본 논문에서는 원자력발전소의 감시와 제어를 담당하는 MMIUNIX 소프트웨어 실시간 프로세스들을 관리 통제하는 방법을 제안한다. 제안한 방법이 원자력 발전소의 특수한 환경에 적합하게 사용할 수 있는지 알아보기 위해서 시간제약 조건 관점에서 성능평가를 수행한다.

• 정보보호학회논문지
• /
• 제25권2호
• /
• pp.363-374
• /
• 2015

기존의 원자력발전소 계측제어 시스템은 아날로그 기술 기반으로 설계 및 운영되어 왔지만, 정보기술(IT)의 발달로 신규 원자력발전소에는 점차 디지털 기반 기술이 도입되고 있다. 디지털 기반 기술은 여러 가지 순기능에 반하여 사이버 위협에 취약한 측면이 존재하며 이로 인해 시스템 상에 안전성과 신뢰성에 악영향을 끼치고 발전소 전체에 심각한 영향을 미칠 수 있다. 그러므로 원자력발전소에 탑재되는 소프트웨어는 개발 초기 단계부터 사이버보안 요소들을 고려하여 설계되고 각 단계마다 사이버보안 평가를 통하여 사이버보안에 대한 신뢰 수준을 측정하고, 기술적 관리적 운영적 측면에서의 사이버보안 척도가 요구된 바와 같이 이행되는지를 확인하는 것이 필요하다. 그러나 현재 이러한 사이버보안 평가 방법을 포함한 전반적인 사이버보안 프로그램이 마련되어 있지 않은 실정이므로 본 논문에서는 원자력발전소와 관련된 규제요건 및 기술표준문서를 기반으로 원자력발전소의 소프트웨어 생명주기 단계별 사이버보안 활동과 평가 항목을 도출하여 소프트웨어 생명주기 단계별로 사이버보안 평가가 가능한 방법을 제안한다.