• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.05a
• /
• pp.103.2-103
• /
• 2001

• 한국IT서비스학회:학술대회논문집
• /
• 2006.05a
• /
• pp.277-281
• /
• 2006

본 연구는 중수로형(CANDU) 원자력발전소의 노심 관리(Nuclear Reactor Core Management) 업무 자동화를 위한 소프트웨어 시스템 개발 사례이다. 중수로형(CANDU) 원자력 발전소의 노심관리 업무자동화 통합시스템을 개발하기 위해서는 현업에서 사용되고 있는 공학적 계산 인자들과 그 결과를 체계적으로 관리하기 위한 데이터베이스의 구축이 우선되어야 한다. 이에 본 연구에서는 원자력발전소의 노심관리 업무에 대해 현업 업무 분석을 통해 사용자의 요구사항을 정확히 분석하고 이를 토대로 업무를 효과적이며 체계적으로 정의한 데이터베이스를 구축하기 위해 IEEE 830 템플릿 중 소프트웨어 요구사항 분석 방법을 적용하여 현업 프로세스별 입, 출력 사양을 분석하고 각 항목간의 관계를 정의하여 요구사항 분석 단계에서 데이터베이스 설계요소를 효과적으로 도출하기 위한 연구 사례를 소개한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11b
• /
• pp.743-748
• /
• 1996

원자력통제기술센터(TCNC; Technology Center for Nuclear Control)는 과학기술처의 원자력 전용 품목/기술 수출입 통제에 대한 기술 지원을 수행하고 있다. 핵비확산 노력과 원자력 통제 능력을 향상시키기 위해서는 관련 정보를 효율적으로 관리할 필요가 있다. 본 논문에서는 원자력 수출입 통제 정보 관리 체제 구축 방안과 향후 발전 방향에 대하여 분석하였다. 현재 보유하고 있는 정보량과 증가 예상량, 그리고 사용자 수 등을 고려하여 전산 체제의 기본 틀을 윈텔(Wintel)로 정하였다. 빠른 시간 내에 발전 가능성이 있는 소프트웨어를 개발하기 위하여 Microsoft사의 Office Professional을 사용하고 있으며 Office Professional에 포함된 Access를 Client/Server Database 개발 도구로 사용하고 있다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2261-2264
• /
• 2002

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

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.05a
• /
• pp.102.2-102
• /
• 2001

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

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

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.10a
• /
• pp.80.1-80
• /
• 2001