• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.271-273
• /
• 2003

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

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

인터넷의 발전으로 인터넷을 통한 서비스가 증대하고 있다. 반면 응용 소프트웨어의 보안 취약점으로 인해 국가, 기업, 개인 모두에게 정보보호의 중요성이 더욱 강조 되고 있다. 임베디드 소프트웨어인 우주, 항공, 원자력 소프트웨어 등 오류 없이 수행되어야 하는 고안전성 소프트웨어의 개발기법은 이제 응용 소프트웨어의 보안강화 활동에 활용 되고 있다. 특히 시큐어 코딩 (Secure Coding)은 방어적 프로그램(Defensive Programming)을 포함하는 개념으로 소프트웨어의 안전성과 보안성을 향상 시킬 수 있다. 본 논문에서는 범용 보안 취약가능성 분석 도구를 이용하여 소프트웨어의 취약 가능성을 분석하고 보안 취약점 유발 명령어를 분류한다. 그 다음에 시큐어 코딩 기법을 적용하여 취약한 코드를 개선하였다. 이러한 개선을 통해 보안 취약성 가능한 코드 부분을 손쉽게 수정하여 소프트웨어 보안을 개선할 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.305-306
• /
• 2007

본 논문은 차세대 원전 신고리 #3, 4호기 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위한 설계개념에 관한 것이다. 차세대 원전 신고리 #3, 4호기는 KHNP(Korea Hydro & Nuclear Power Co., Ltd.)가 개발한 APR1400(Advanced Power Reactor 1400 [MWe])을 적용하는 최초의 원자력 발전소이다. APR1400은 3세대 원자력발전소로 인정받고 있으며, APR1400 원자력발전소의 안전한 운영을 위하여 I&C(Instrumentation and Control)시스템이 디지털 표준 플랫폼으로 설계되었다[2]. 특히, 차세대 원전 신고리 #3, 4호기의 비안전계통(제어 감시 및 경보계통)은 WEC (Westinghouse Electric Company)의 DCS(Distributed Control System) 상용 단일 플랫폼으로 구성될 예정이다. 우리는 신고리 #3, 4호기의 제어계통 중에서 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위하여 Stimulated Simulator의 방법론을 적용하여 "Simulator"라는 설계 개념을 정립하였다. 현재 원자력발전소 NSSS 제어계통의 DCS Stimulator 개발을 위하여 차세대 원전 신고리 #3, 4호기에 시설될 WEC의 DCS와 Simulation 서버 그리고 I/O 설비를 구축 중에 있으며, 원자력발전소 현장 기기 모델링 소프트웨어와 I/O 설비간의 인터페이스를 위한 동신 소프트웨어도 개발하고 있다.

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

최근에 개량형 또는 수동형 발전소의 디지탈 보호계통에서 소프트웨어의 역할이 증가함에 따라 공통원인고장의 가능성이 중요한 관심사항이 되었다. 아날로그 보호계통에서는 공통원인고장 가능성이 없었으며, 비록 공통원인고장이 발생하더라도 부식과 조기마모와 같은 과정은 천천히 진행되므로 이제까지 큰 문제가 되지 않았다. 이러한 아날로그 설계의 특징은 컴퓨터를 이용한 소프트웨어를 포함하고 있는 디지탈계통에는 적용되지 않는다. 본 논문에서는 소프트웨어의 공통원인고장을 고려하여 원자로 보호계통의 적합성을 다양성 및 심층방어 측면에서 해석할 수 있는 방법론에 대하여 논의한다. 본 논문의 결과는 추후에 한국형 차세대 원자로(KNGR)의 계측제어계통 설계를 위하여 수행하여야 할 다양성 및 심층방어 해석의 방법론 정립에 도움이 될 것으로 예상된다.

• Nuclear Engineering and Technology
• /
• 제19권1호
• /
• pp.42-50
• /
• 1987

고리 2호기와 원자력 안전센터 상황실을 연결하는 Nuclear Data Link System에 대하여 기술하였다. 특히 선정된 원자력 안전변수, Data Link용 Pseudo-Network 소프트웨어, 관련장비들의 입출력 기능 및 전송된 자료의 영상화 등의 내용을 포함하였다. 아울러 현재까지 수행해온 고리 1,2,5,6호기에 대한 비상대응 설비의 설계 내용과 ERF/SPDS 하드웨어 및 소프트웨어 국산화 연구 방향을 제시하였다.

• 정보보호학회지
• /
• 제26권1호
• /
• pp.54-60
• /
• 2016

기업들의 생산 공정이 세분화되면서 하나의 디지털 기기는 여러 단계의 공급망을 통해 원자력 발전소 외부에서 제작된 후 공급된 기기들과 소프트웨어의 조합으로 최종 완성품이 제작된다. 이러한 공정 과정을 거치는 다양한 나라, 회사에서 제작된 수많은 부품들과 소프트웨어의 조합은 어느 하나의 단계에서 발생한 의도되거나 의도되지 않은 결함 또는 사이버 위험을 포함한 최종제품이 될 가능성을 가지고 있으며 실제로 공급망을 위협하는 사례가 발생하기도 하였다. 이러한 결과로 공급망을 통한 사이버공격의 보안 위험 사례를 관리하는 것이 디지털화가 급격하게 진행되고 있는 원자력발전소와 같은 주요기반시설의 안전과 보안을 유지하는데 고려해야하는 중요한 요소가 되고 있다. 본 논문에서는 공급망을 통한 사이버보안 위험 사례와, 원자력발전소 디지털 자산 공급망 위험관리를 위한 해외 사례를 살펴보고자 한다.

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

과거 인터넷을 사용하지 않는 시스템의 경우 소프트웨어의 안전성과 강건성은 철도, 국방, 우주, 항공, 원자력 등 오류 없이 수행되어야 하는 임베디드 소프트웨어에 국한되어 있었다. 그러나 인터넷의 발전으로 인터넷을 통한 정보의 교류 및 서비스가 증대하면서 소프트웨어의 보안품질은 개인, 사회, 국가 모두에게 정보보호의 중요성을 더욱 강조하고 있다. 특히 오류 없이 수행되어야 하는 고안전성 소프트웨어의 개발 기법은 이제 응용 소프트웨어의 보안강화 활동에 활용 되고 있다. 시큐어 코딩 (Secure Coding)은 방어적 프로그램(Defensive Programming)을 포함하는 개념으로 소프트웨어의 안전성과 보안성을 향상 시킬 수 있다. 본 논문에서는 C 언어의 취약가능성 유발 명령어를 예를 들고 시큐어 코딩 기법을 적용하여 취약한 코드를 개선하였다. 이러한 개선을 통해 보안 취약성 유발 가능한 코드 부분을 손쉽게 수정하여 소프트웨어 보안품질을 개선할 수 있다.

• Nuclear Engineering and Technology
• /
• 제27권3호
• /
• pp.385-392
• /
• 1995

월성원자력 2, 3, 4호기 safety-critical 소프트웨어에 대한 규제 기관의 요구사항을 만족시키기 위하여 소프트웨어 엔지니어링 절차가 개발되었다. 본 논문에서는 그 중에서 검증시험절차에 대하여 기술하였는데, 검증시험이란 설계그룹에서 개발된 소프트웨어가 독립된 기능그룹에서 부여한 요구사항을 모두 만족하는지를 확인하는 것이다. 이 검증시험을 수행하기 위하여 시험설비와 시험용 소프트웨어가 개발되었으며, 검증시험은 기능시험, 성능시험 및 자기점검시험 등으로 구성되었다. 시험결과를 분석하여, 불만족한 경우는 설계그룹에 통보되어 소프트웨어가 수정되었고, 최종결과는 보고서로 작성되어 규제기관에 제출될 것이다. 개발된 검증시험 방법과 절차는 효율적이고 성공적이었으며, 시험결과는 소프트웨어가 기능사양서를 충분히 만족시킨다는 것을 성공적으로 검증함을 보여주었다. 본 시험방법은 다른 safety-critical 소프트웨어 검증에도 적용될 수 있을 것이다.

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

영상처리방법에 의한 핵연료봉의 제원을 측정하기 위하여 영상처리 소프트웨어를 개발하였으며, 이 영상처리방법에 의하여 핵연료봉의 직경에 대한 백분을 측정상대오차는 $\pm$2.09% 이내이며 영상처리방법이 아닌 기존 방법에 의한 백분율 측정상대오차 $\pm$9.70 %보다 측정정확도가 약 5배정도 향상되었다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2004년도 추계학술발표회 발표논문집
• /
• pp.651-652
• /
• 2004