• 대한인간공학회:학술대회논문집
• /
• 대한인간공학회 1993년도 춘계학술대회논문집
• /
• pp.69-77
• /
• 1993

원자력분야에서 인적요인의 검토, 평가, 개선의 필요성이 강조되고 있으나 인간공학 응용을 위한 기반기술의 미비로 인해 명시적 수단을 제공하지 못하고 있다. 본 연구는 인간공학적 응용수단의 하나인 운전원 모형을 개발하 기위하여, 그 첫 단계로 모형개발의 방향을 모색하였다. 원자력분야의 응용에 적합한 개발방향을 설정하기 위 하여, 첫째 모형화되어야 할 주요 운전원의 특성을 파악하였으며, 둘째 다른 응용분야와 원자력분야에서의 주요 모형개발사례를 조사분석하고, 셋째 모형화 방법론과 구현기법을 검토하였다. 그 결과, 중앙제어실 운전원을 대상 으로 진단(diagnosis)등 주요 직무수행에 나타나는 의사결정의 전략과 특성을 체계화하여 인지심리학적 기반이 확고한 개념모형(conceptual model)을 개발하고, 이를 전문가 시스템 개발도구(tool)에 의해 구체적인 소프트웨어로 구현함으 로써, 인적요인의 검토, 평가, 개선 등에 직접 활용가능한 시물레이션 수단(simulation tool)을 확보한다는 추진전략을 수립하였다.

• 중소기업융합학회논문지
• /
• 제6권1호
• /
• pp.7-15
• /
• 2016

현대 사회에서 자동차, 철도, 항공우주, 원자력, 국방 등의 다양한 분야에서 대부분의 장치들이 소프트웨어를 내장하고, 제어용 소프트웨어 시스템이 탑재됨에 따라 소프트웨어의 안전성에 대한 중요도가 높아지고 있다. 다양한 산업 분야에서 소프트웨어가 사용되면서 소프트웨어에 의한 사고의 위협도 높아지기 때문에 소프트웨어 오동작에 의한 안전성 위협이 큰 이슈로 떠오르게 되었다. 소프트웨어의 사고는 사용자의 오조작에 의해서 발생할 수 도 있지만 가장 근본적으로는 설계 과정에서의 안전성에 대한 검증이 제대로 이루어지지 않아서 발생하게 된다. 따라서 본 논문에서는 소프트웨어 개발 프로세스에서 소프트웨어 안전성 분석 및 관리 활동이 어떻게 이루어져야 하는 가를 제시한다. 특별히 프로토타입이나 점진적 개발 프로세스에서의 안전성 분석 및 관리 활동의 적용 방안에 대하여 제시한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제5권9호
• /
• pp.275-284
• /
• 2016

원자력분야에서 사용되는 안전관련 소프트웨어는 계획단계부터 설치단계까지의 전 생명주기 공정을 통해 개발과 확인검증, 안전성 분석, 그리고 품질보증 활동을 수행해 소프트웨어의 안전성을 보장하고 있다. 그러나 이러한 개발과 검증공정을 통한 평가는 시간과 비용을 많이 필요로 한다. 또한, 소프트웨어의 품질을 향상시키기 위해 다양한 활동을 수행했다고 주장하지만, 어느 정도의 품질이 향상되었는지 확인하기에는 한계가 있다. 이러한 한계를 극복하기 위해서 정량적인 평가를 수행할 수 있는 소프트웨어 신뢰도 계산 방법을 제안한다. 특히, 소프트웨어가 사용하는 메모리 공간에 고장을 주입하여 소프트웨어의 고장을 모사하고, 주입된 고장에 가중치를 부여하여 고장 민감도에 차이를 두고, 감지능력을 평가하여 소프트웨어 고장율을 계산한다. 이러한 고장율을 활용하여 소프트웨어 신뢰도 계산을 수행하면 정량적인 평가결과를 획득할 수 있게 된다.

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

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

• 정보과학회지
• /
• 제25권2호
• /
• pp.35-42
• /
• 2007

• 한국시뮬레이션학회논문지
• /
• 제3권1호
• /
• pp.135-150
• /
• 1994

일반 산업체와 화력발전소 계측제어시스템에 널리 사용되고 있는 분산제어시스템(Distributed Control System)을 원자력발전소에 사용하기 위해서는 분산제어시스템의 안전성과 신뢰성의 입증이 선결과제이다. 따라서 새로운 시스템을 시뮬레이션에 의해 구현하고 검증하기 위한 시뮬레이터가 필요하게 되었다. 발전소 전범위 시뮬레이터(full Scope Simulator)를 제작 하기에 앞서 발전소 계통 중에서 소규모계통을 대상으로 부분범위 시뮬레이터(Compact Simulator)를 제작하였다. 개발된 DCS 검증용 시뮬레이터의 시스템은 발전소 제어반을 모의한 소프트 패널, 발전소 프로세스을 모이한 계통 모델링 소프트웨어, 그리고 현재 발전소의 아날로그 제어계통을 대신한 DCS 제어 계통등의 세 개의 계통으로 구성하였다. 개발 제작된 시뮬레이터를 이용하여 원자력 발전소 계측제어시스템에 분산제어시스템 적용을 시뮬레이션을 통햐여 구현하였으며 분산제어시스템의 적용 검증작업은 물론 적용을 위한 설계업부에도 DCS 검증용 시뮬레이터가 효과적으로 사용될 수 있음을 알았다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.243-245
• /
• 2016

2008년 미국 Hatch 발전소에서 제어시스템 소프트웨어 업데이트로 인한 비상정지, 2010년 이란 원자력시설에서 악성코드 스턱스넷(Stuxnet) 감염을 통한 원심분리기 1,000여개 파괴 등 원자력시설에 대한 사이버공격이 점차 증가하고 있는 상황에서 우리나라도 이와 같은 사고를 예방하기 위한 방안을 강구하여야 한다. 이미 우리나라 원자력시설에서 사용되는 시스템들이 아날로그 방식에서 디지털로 교체되고 있는 등 사이버공격에 용이하게 변화되고 있다. 이에 원전 사고연계 시스템들의 보안성을 평가할 수 있는 환경을 구축함으로써 사이버공격에 대한 보안대책 마련 및 근본적인 방어 체계를 수립하고자 한다.

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

상용기기(Commercial Grade Item CGI)란 구조물, 시스템, 콤포넌트 또는 그것들의 일부분을 구성하는 것으로써 안전기능(safety function)에 영향을 미치지만 basic component로써 설계되거나 제작되지 아니한 것을 의미한다 즉, ASME/NQA-1 Appendix B의 엄격한 품질보증 프로그램 하에서 설계되고 제작되지 아니한 것으로써 원전 이외의 분야에서 상용적으로 널리 사용되고 있는 기기들을 의미한다. 본 논문에서는 이러한 원전 안전등급 분류기준 Non-Nuclear System(NNS) Simple에 해당되는 Non-Safety CGI를 Safety Application의 Nuclear Grade Item으로 사용하기 위한 CGI 평가 및 승인 절차를 제안하고 새로운 CGI 생명주기 모델을 제시하였다. 본 논문에서 제시한 CGI Dedication 절차 및 CGI 생명주기 모델은 우리나라 원전 계측제어계통의 디지털 upgrade plan 및 교체, 신규원전 상용기기 평가방법론에 적용할 수 있을 것이다. CGI Dedication은 10여년전부터 원자력계가 고민해온 분야로써 원전 계측제어계통의 디지털화에 따라 상용 (Commercial Off The Shelf : COTS) 소프트웨어의 승인과 함께 전세계적으로 hot issue가 될 만큼 활발한 연구와 논의가 현재 진행되고 있는 분야이다.

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

최근 원자력산업계 동향은 기기의 노후화, 예비품 확보의 어려움, 그리고 기존 설비에 대한 보수비용 증가 등의 이유로 아날로그 계측제어 설비들을 컴퓨터-기반 설비로의 부분적인 개선이나 전체적인 교체가 추진되고 있다 그러나 컴퓨터-기반 설비는 소프트웨어와 하드웨어가 환경영향에 민감하고, 공통모드고장을 일으킬 수 있는 프로그래밍 설계오류의 잠재성이 있는 것으로 알려져 있다. 공통모드고장을 방지할 수 있는 가장 설득력 있는 해결방안은 철저한 품질보증, 심층방어 및 다양성 설계기법으로 평가되고 있다. 본 논문에서는 컴퓨터-기반 계측제어계통의 심층방어 및 다양성에 관한 규제기준과 정성적 평가를 위한 블록개념을 소개하고, 평가의 사례로서 CE System 80+와 국내 가동중인 W형 원전의 설비개선에서 주급수 상실시 컴퓨터-기반 설비의 공통 모드고장에 따른 다양성과 심층방어계층을 평가하였다. 특히 국내 가동중인 W형 원전에 대해서는 그 평가결과를 근거로 하여 ATWS 완화설비의 설치를 제안하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.435-438
• /
• 2002

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 대표적인 Safety-critical 시스템으로서 그 설계로부터 구현에 이르기까지 다양한 방법으로 안정성을 보장하는 설계방법이 연구되고 있다. 특히 이러한 내장형 시스템은 근래에 들어 하드웨어-소프트웨어 통합설계를 통해 설계초기부터 안정성과 일관성 등을 높일 필요가 있다. 본 연구에서는 아날로그 및 디지털이 혼합된 Heterogeneous 시스템의 통합 설계 도구인 PtolemyII[1]을 이용하여 원자력 발전 내장형 시스템의 일종인 Digital Plant Protection 시스템을 설계하고 이를 시뮬레이션 함으로 Safety-critical 시스템 가운데 가장 높은 등급을 요하는 시스템에 통합설계를 적용시켜 본다. 그리고 이에 대한 정형 검증기법을 제안한다.