• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.87.1-87.1
• /
• 2003

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.05a
• /
• pp.87-87
• /
• 1999

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.227-227
• /
• 2004

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1830-1831
• /
• 2011

최근 스마트폰 등의 산업에서와 같이 발전플랜트에서도 가치창출의 중심이 하드웨어 제조 관리 기술에서 최적 제어 운용의 소프트웨어로 급속히 이동하고 있다. 국내외 발전사 및 관련 연구기관들은 발전플랜트 운용최적화를 위한 다양한 제어, 감시, 분석, 설계, 시뮬레이션, 자원관리 등의 다양한 분야에서 독립적인 소프트웨어 개발을 활발히 수행하고 있으나, 이들 간의 데이터, 이벤트 통신 및 서비스 연동은 미흡한 실정이다. 본 연구에서는 발전플랜트 관련 소프트웨어의 서비스 통합 기반을 마련하고, 안정성 재사용성 이식성 등의 품질을 제고하며 개발자가 쉽고 빠르게 소프트웨어를 구현할 수 있는 발전플랜트 소프트웨어 플랫폼을 제안한다. 이는 화력, 원자력 등의 중대형 발전플랜트 뿐만 아니라 점점 확대되고 있는 태양광, 태양열, 풍력 등 크고 작은 다양한 신재생에너지 발전기에 적용가능하며 발전 효율 및 안정성 향상과 발전플랜트 소프트웨어 산업의 활발한 생태계 조성에 기여할 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1097-1100
• /
• 2001

소프트웨어 개발자로부터 독립된 소프트웨어 시험자가 수행하는 소프트웨어 시험은 소프트웨어의 안전성 향상을 위해 필요하다. 컴퓨터기반의 디지틀시스템으로 설계되는 일체형원자로 MMIS에 적용하기 위한 소프트웨어 시험 계획을 개발할 필요가 있다. 본 논문은 소프트웨어 시험 계획을 소프트웨어시험 조직 구성, 시험 문서, 시험 절차, 시험 방법을 중심으로 제시한다. 소프트웨어 시험 방법은 원시코드 정적분석과 동적시험을 구분하여 기술한다. 본 논문에서 제시된 소프트웨어 시험 계획은 원자력 규제기관에서 요구하는 소프트웨어 시험 요구사항을 만족한다. 본 논문을 통해 제시된 소프트웨어 시험 계획을 일체형원자로 MMIS 소프트웨어 개발 시 적용하여 소프트웨어 고장율 데이터를 수집할 예정이다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.329-334
• /
• 1998

원자력발전소와 같이 복잡하고 안전성이 강조되는 경보처리 및 표시계통은 개발개념의 적합성 (설계요건의 타당성), 적용된 알고리즘의 완결성(지식기반과 소프트웨어의 확인)과 인간공학적 유용성의 평가가 상당히 중요하다. 동적 경보계통(Alarm and Diagnosis-Integrated Operator Support System : ADIOS)은 다음과 같은 실험을 통해 경보처리 알고리즘의 완결성과 인간공학적 유용성을 확인하였다.·예비기능시험(Preliminary functional test)·Petri net 을 이용한 알고리즘의 완결성 확인(Verification)·전규모 시뮬레이션 환경에서의 인간공학적 성능평가(Validation and Evaluation)

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2000.11a
• /
• pp.695-702
• /
• 2000

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.33-37
• /
• 2007

최근 디지털 컴퓨터와 정보처리기술의 발전과 더불어 원자력 발전소의 계측제어시스템과 같은 안전-필수 시스템에서도 디지털 기술을 채택하기 시작했다. 안전-필수 시스템에 사용되는 소프트웨어는 높은 신뢰도(dependability)가 요구된다. 소프트웨어의 신뢰도는 신뢰성(reliability), 안전성, 보안 등 다양한 속성들로 설명될 수 있다. 소프트웨어의 신뢰도 향상을 위한 프로세스는 결함예방프로세스, 결함허용프로세스, 결함제거프로세스 그리고 결함예측프로세스가 있으며 이들 프로세스는 소프트웨어 수명주기 초반부터 수행되어야 한다. 본 논문에서는 소프트웨어 신뢰도향상을 위한 신뢰도 프로세스 모델과 개발 단계별로 수행되어야 할 신뢰도 태스크를 제시한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.973-983
• /
• 2019

The importance of information security has been increasingly emphasized at the national, organizational, and individual levels due to the widespread adoption of software applications. High-safety software, which includes embedded software, should run without errors, similar to software used in the airline and nuclear energy sectors. Software development techniques in the above sectors are now being used to improve software security in other fields. Secure coding, in particular, is a concept encompassing defensive programming and is capable of improving software security. In this paper, we propose a software security vulnerability detection method using an improved coding standard searching technique. Public static analysis tools were used to assess software security and to classify the commands that induce vulnerability. Software security can be enhanced by detecting Application Programming Interfaces (APIs) and patterns that can induce vulnerability.

• The KIPS Transactions:PartD
• /
• v.12D no.5 s.101
• /
• pp.797-806
• /
• 2005

The objective of the In-h(High Level Architecture) have recommended by DoD(Department of Defense) is to facilitate interoperability among simulations and to promote reuse of their components. There are many legacy simulation softwares developed before the HLA becomes simulation standard. The integration of legacy simulations into federations using the HLA is an important research topic in M&S(Modeling and Simulation) area. Legacy simulation softwares of the mission critical industry such as nuclear and aerospace are generally use Fortran language. However, the reuse of those is not easy because the HLA is not support Fortran language. This paper suggests a integration method which minimizes the modification of legacy simulation software and migrates the legacy simulation software to HLA federation. Each federate participating in federation have the separated executables that communicate via a shared memory created at run-time. Two types of shared memory blocks are used for publication and subscription. Declaration block for global variables used in legacy simulation software is separated for publication and subscription and then mapped as classes of objects and interactions for the HLA FOM design. To validate the suggested method, we approached the HLA integration of legacy nuclear simulation code being used in plant design and to observe the integration results, we used the FMT(Federation Management Tool). The diagnostic information which the FTM displays showed that our method can be successfully and effectively used for a HLA federation.