일반적으로 플랜트와 같은 대규모 설비의 공정제어를 실현하기 위해서는 분산제어시스템(DCS: Distributed Control System)을 사용하게 된다. 이 분산제어시스템은 여러 종류의 제어 및 감시 장비가 네트워크를 통하여 연결되고 맡은 기능을 포함하게 된다. 이러한 분산제어시스템을 사용하거나 개발하기 위해서는 계통을 구성하는 하드웨어 및 소프트웨어의 세부 기술특성 및 제원을 평가하는 것이 필요하다. 한국원자력연구소와 두산중공업은 원자력발전소의 공정제어계통에 사용한 상용 분산제어시스템의 기술적 평가항목과 권장되는 성능지표를 개발하였다. 이 논문은 개발된 평가항목과 제원을 분산제어시스템의 구성 요소별로 분리하여 서술한다.
원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.
원자력 교육원 #2(KNPEC-2) 시뮬레이터는 1980년도 중반에 웨스팅하우스에 의해 공급되어 계속 사용되어 오다가 현재 성능개선 연구가 진행 중이다. 이번 성능개선을 통해 기존의 컴퓨터 시스템(Gould MPX)와 소프트웨어의 전면 교체가 이루어지고 있으며 최적 계산 코드를 이용한 실시간 열수력 모델 (ARTS; Advanced Real-Time Thermal-Hydraulics Simulation) 개발 , 2-Group 3D 실시간 노심모델(REMARK ; REal Time Multigroup Advanced Reactor Kinetics)를 이용한 노심 주기개선 (Cycle Update) 가상현실 기술 등을 이용한 컴퓨터 교육지원 시스템(CATS: Computer Assister Training System)등 새로운 시도가 이루어지고 있으며 본 논문은 이러한 새로운 시도가 이루어지고 있으며 본 논문은 이러한 새로운 시도들 및 그 결과에 대해 기술하고 있다. 기준발전소(Reference Plant)인 영광 1호기 12주기의 노심모델로 주기개선(Cycle Update)을 위한 REMARK의 입력자료 생성을 위해 핵설계 전산체계인 APA(ALPHA-PHOENIX-ANC) 시스템의 출력으로부터 자동으로 REMARK 입력데이타를 생성하기 위한 GUI툴 개발하였다. 또 이를 이용하여 개발된 노심모델은 최적계산코드(RETRAn 3D) 의 열수력 해법을 이용하여 개발된 NSSS 열수력코드(ARTS) 와 결합(Integration) 되어 안정 및 과도 상태 시험에 사용되었으며 원자로 냉각재 펌프 정지등의 몇 가지 과도 시험 계산결과 기존 해석 결과와 잘 일치하였다 중앙제어실(MCR; Main Control Room)내의 운전원 행동만 훈련하도록 되어있는 기존시뮬레이터의 한계를 극복하기 위해 가상현실 (VR) 저작도구를 이용한 발전소 현장 내부를 표현하는 가상발전소 (Virtual Plant) 발전소 현장에 소재하여 기존 시뮬레이터의 모의한계 밖에 있던 패널을 표현한 가상판넬(Virtual Panel)등과 강의실에서 발전소 모의 훈련을 가능케 하기 위해 가상현실 기술을 이용한 컴퓨터 지원 교육훈력 시스템(CATS ; Computer Assister Training System)을 개발 중이며 일부 개발부분을 소개하였다.
최근에 개량형 또는 수동형 발전소의 디지탈 보호계통에서 소프트웨어의 역할이 증가함에 따라 공통원인고장의 가능성이 중요한 관심사항이 되었다. 아날로그 보호계통에서는 공통원인고장 가능성이 없었으며, 비록 공통원인고장이 발생하더라도 부식과 조기마모와 같은 과정은 천천히 진행되므로 이제까지 큰 문제가 되지 않았다. 이러한 아날로그 설계의 특징은 컴퓨터를 이용한 소프트웨어를 포함하고 있는 디지탈계통에는 적용되지 않는다. 본 논문에서는 소프트웨어의 공통원인고장을 고려하여 원자로 보호계통의 적합성을 다양성 및 심층방어 측면에서 해석할 수 있는 방법론에 대하여 논의한다. 본 논문의 결과는 추후에 한국형 차세대 원자로(KNGR)의 계측제어계통 설계를 위하여 수행하여야 할 다양성 및 심층방어 해석의 방법론 정립에 도움이 될 것으로 예상된다.
소프트웨어 기반의 시스템 설계과정에서 설계자가 고려해야 하는 요소들이 다양해지면서 시스템 설계가 점점 어려워지고 있다. 다양한 설계 요소들이 존재하지만 사용자의 특성 및 직무, 사용가능한 정보기술의 특성 등이 핵심적인 요소로 간주된다. 또한 정보기술이 발달하면서 인간과 시스템의 상호작용이 점점 인지적인 특징을 지니게 되었다. 따라서 사용성 높고, 효율적이면서 안전한 소프트웨어 기반의 시스템을 개발하기 위해서는 시스템 설계자가 사용자의 인지적인 요구사항 및 그들의 직무를 시스템 설계과정에서 체계적으로 다룰 수 있어야 한다. 그러나 소프트웨어 공학, 시스템 공학 및 인간-컴퓨터 상호작용 등에서의 전통적인 시스템 설계 방법은 이러한 설계자의 설계활동을 효과적으로 지원하는데 한계가 있었다. 그 대안으로 인지시스템공학(cognitive systems engineering; CSE)은 인간중심의 설계철학을 바탕으로 소프트웨어 기반의 복잡한 시스템 설계과정에서 설계자의 활동을 체계적으로 도와줄 수 있는 유용한 개념과 방법을 제공해주고 있다. CSE는 원래 사람이 실시간으로 감시 및 제어해야 하는 복잡한 사회기술적 시스템(예: 원자력발전소 및 공항관제소)의 분석, 설계 및 평가를 위해 태동한 학문이다. 그러나 CSE에서 제공하는 이론적 및 방법론적 프레임워크는 소프트웨어 기반의 시스템을 설계하는 데에도 유용하게 활용할 수 있는 충분한 가능성을 갖고 있다. 이 논문은 CSE의 근간을 이루는 핵심 개념 및 원칙을 고찰하고 소프트웨어 기반 시스템 설계에의 활용가능성 및 그 방안을 논의한다.
최근 디지털 컴퓨터와 정보처리기술의 발전과 더불어 원자력 발전소의 계측제어시스템과 같은 안전-필수 시스템에서도 디지털 기술을 채택하기 시작했다. 안전-필수 시스템에 사용되는 소프트웨어는 높은 신뢰도(dependability)가 요구된다. 소프트웨어의 신뢰도는 신뢰성(reliability), 안전성, 보안 등 다양한 속성들로 설명될 수 있다. 소프트웨어의 신뢰도 향상을 위한 프로세스는 결함예방프로세스, 결함허용프로세스, 결함제거프로세스 그리고 결함예측프로세스가 있으며 이들 프로세스는 소프트웨어 수명주기 초반부터 수행되어야 한다. 본 논문에서는 소프트웨어 신뢰도향상을 위한 신뢰도 프로세스 모델과 개발 단계별로 수행되어야 할 신뢰도 태스크를 제시한다.
원자력분야에서 인적요인의 검토, 평가, 개선의 필요성이 강조되고 있으나 인간공학 응용을 위한 기반기술의 미비로 인해 명시적 수단을 제공하지 못하고 있다. 본 연구는 인간공학적 응용수단의 하나인 운전원 모형을 개발하 기위하여, 그 첫 단계로 모형개발의 방향을 모색하였다. 원자력분야의 응용에 적합한 개발방향을 설정하기 위 하여, 첫째 모형화되어야 할 주요 운전원의 특성을 파악하였으며, 둘째 다른 응용분야와 원자력분야에서의 주요 모형개발사례를 조사분석하고, 셋째 모형화 방법론과 구현기법을 검토하였다. 그 결과, 중앙제어실 운전원을 대상 으로 진단(diagnosis)등 주요 직무수행에 나타나는 의사결정의 전략과 특성을 체계화하여 인지심리학적 기반이 확고한 개념모형(conceptual model)을 개발하고, 이를 전문가 시스템 개발도구(tool)에 의해 구체적인 소프트웨어로 구현함으 로써, 인적요인의 검토, 평가, 개선 등에 직접 활용가능한 시물레이션 수단(simulation tool)을 확보한다는 추진전략을 수립하였다.
원자력 발전소에 사용되는 제어기는 높은 신뢰도를 요구한다. 한국형 디지털 원자력 발전소인 APR1400 (Advanced Power Reactor 1400)을 비롯하여, 과거 많은 원자력 발전소에 FPGA (Field Programmable Gate Array)와 CPLD (Complex Programmable Logic Device, 이하 FPGA로 통칭)가 포함된 제어기가 적용되고 있다. 적용 초기에는 FPGA를 일반적인 IC (Integrated Circuit)처럼 기기검증 및 성능시험으로만 검증을 하였다. 이후 90년대에 들어 FPGA검증에 대한 연구가 시작되면서, FPGA가 칩이 되기 전까지를 소프트웨어로 간주하여 IEEE 1012-2004를 적용하여 소프트웨어 확인 및 검증을 하였다. 현재에는 유럽표준인 IEC 62566을 적용하여 많은 검증을 하고 있다. 이 방법은 현재까지 가장 현명한 방법으로 평가 받고 있다. 이유는 기존의 검증 방법에서 문제가 되었던 SoC (System on Chip)의 특징을 검증하는 방법을 충분히 적용하였기 때문이다. 하지만, IEC 62566은 유럽 표준으로 아직 미국에서는 채택을 하지 않고 있으며, FPGA에 대해서는 IEEE 1012를 적용하는 것을 유지하고 있다. IEEE 1012-2004나 IEC 62566은 기술 표준으로 실무에서는 다양한 방법을 적용하여 기술 표준을 충족시켜서 적용하고 있다. 이 논문에서는 SoC의 검증 방법이 적용된 원자력 안전등급 FPGA에 대한 검증 방법의 절차 및 중요사항에 대해 설명하고자 한다.
원자력 발전소의 제어 시스템은 safety-critical 소프트웨어로서 안정성이 중요시되는 시스템이다. 최근 기존의 시스템이 PLC 기반의 디지털 제어장치로 대체되면서 이에 사용되는 소프트웨어의 안정성과 품질을 보장하기 위한 정형검증 기법이 요구되고 있다. 특히 PLC 프로그램의 설계에 사용되는 FBD의 모델체킹을 통한 정형검증에 대한 연구는 미비한 수준이다. VIS 검증기는 위의 요구에 부합하는 도구로서 이를 사용하면 여러 종류의 정형 검증이 가능하다. 본 논문에서는 VIS를 이용한 FBD의 검증을 위해서 FBD를 Verilog로 변환 하는 기법을 제안한다. 제안하는 방법의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400용 원자로 보호 시스템의 운전정지회로를 예로 사용하였다.
본 논문은 안전등급 제어 기 기(Programmable Logic Controller) 에서 동작하는 실시간 운영체제의 안전성을 요구사항 단계에서 평가할 수 있는 검토항목을 개발하고 HAZOP(Hazard and Operability) 을 이용하여 현재 개발중인 PLC 운영체제에 적용한 경험 을 기술한다. HAZOP은 화학공장과 같은 산업에서 안전성을 평가하기 위한 방법으로 사용했던 방법론이다. 원자력발전소에 적용하기 위해 운영체제가 갖추어야 할 안전성 요건은 NUREG-0800의 BTP-14(Branch Technical Position)의 소프트웨어 기능특성 및 공정특성에 기술되어 있다. 이러한 기능적인 특성을 정확도, 신뢰성, 타이밍/사이징, 기능성, 강인성, 보안성 항목으로 나누고 세부적인 검토리스트를 만들어 HAZOP을 적용하여 평가하였다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.