• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.91-91
• /
• 2003

위성을 발사하기 전까지는 지상에서 EGSE(Electrical Ground Support Equipment)를 이용하여 충분한 시스템 단위의 위성체 기능 시험을 수행한다. KOMPSAT-2(Korea Multi-Purpose Satellite - 2)와 같은 소형 위성의 서브시스템 각각이 요구사항에서 제시하는 규격을 만족하는지 여부를 점검하는 단계에서 전력계 관련 서브시스템의 기능 시험도 EPS(Electrical Power Subsystem) Test Plan에 의해 순차적으로 수행한다. KOMPSAT-2 ETB(Engineering Test Bed)에서의 전력계 시험은 먼저 Test Fuse Modules Check를 수행하였다. 퓨즈 모듈은 PCU(Power Control Unit) 상에 설치되어 있는 장치로써 퓨즈 모듈의 입력과 출력 사이에 도통성 및 다른 출력과의 절연성을 검증한다. 다음으로 EGSE 중 PMTS(Power Monitor Test Set)와 PCU와의 직렬 인터페이스를 점검하는 PCU Interface Check를 수행하였다 시험절차서에 따라 PCU가 가지는 릴레이 스위치에 대하여 명령어를 보내어 릴레이의 동작 상태 및 출력 전압 등을 점검한다. 다음 단계에서는 DC Integration을 수행하여 ETB 하니스 중 전원 관련 라인을 점검하였다 PCU는 모든 위성체 하드웨어에 전력을 공급하는 장비로써 과전력으로부터 하드웨어를 보호하기 위하여 하니스를 연결하기 전에 우선적으로 시험한다. 다음으로는 ECU(EPS Control Unit)가 각각에 해당하는 하드웨어에 명령어를 보내어 전력계 전체적인 동작 상태 검증하는 EPS Hardware Command & Telemetry Checkout을 수행하였다. ECU는 전력계의 모든 하드웨어를 제어하고 그 상태를 모니터링하는 기능을 한다. PCU와의 인터페이스를 통하여 전력의 제어 및 분배에 관련되는 특성을 제어 및 모니터하며 DDC(Deploy Device Controller)는 ECU로부터 명령어를 받아서 arm 및 safe 상태에 대한 텔리 메트리 데이터를 제공한다 그리고, SAR(Solar Array Regulator)는 ECU로부터 Bypass Relay 및 ARM Relay에 관한 명령어를 받아 수행되며 그에 따른 텔리 메트리 데이터를 제공한다. 마지막으로 EPS 소프트웨어를 검증하는 EPS Software Verification을 수행하였다 전력계 소프트웨어의 설계의 검증 부분은 현재 설계 제작된 전력계 .소프트웨어의 동작 특성 이 위성 의 전체 운용개념과 연계하여 전력계 소프트웨어가 전력계 및 위성체의 요구조건을 만족시키는지를 확인하는데 있다. 전력계 운용 소프트웨어는 배터리의 충ㆍ방전을 효율적으로 관리해 3년의 임무 기간동안 위성체에 전력을 공급할 수 있도록 설계되어 있다

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.172-177
• /
• 1997

검증 및 확인(V&V)의 속성상 Independent V&V는 반드시 필요 한 것으로 인식되고 실제로 규제 기준이나 여러 표준(Standard)들에서 그 요구사항들이 기술되고 있으나 그 기술 내용이 너무 단순, 추상적인 경우가 많아 구체적인 실현 방법에 있어서는 합의된 해결책이 제시되지 못하고 있는 실정이다. 이러한 문제점들을 해결하기 위해 본 논문에서는 원자력분야는 물론 프로세스와 군사 분야의 표준들과 기타 기술기준 자료들을 조사 분석하고 이를 기반으로 하여 원자력 분야, 특히 계측제어 계통의 Safety-critical 소프트웨어 개발에 따른 안전성과 경제성 문제가 고려되고 기술적, 관리적 측면에서 균형을 갖춘 V&V의 독립성 구현 방안에 대한 가이드를 제시하였다.

• Journal of Advanced Navigation Technology
• /
• v.19 no.1
• /
• pp.15-21
• /
• 2015

WA-DGNSS is a system to service for users using a satellite which received correction data from ground station that calculates the relative errors of the tracked GNSS signals and sends to a satellite. Users are guaranteed the reliability of the GNSS signal and the accuracy of positioning. ICAO recommends the application of WA-DGNSS for the airplane taking off and landing process. In this paper, we suggests methods to verify of the pre-developed WA-DGNSS reference software constituting modules and an integration test process refer to the RTCA DO-278 which is a document for the development process of an aeronautics software. Also, we statistically verified the reference software test through our methods. And then, we confirmed to performance the function of the reference software properly.

• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.163-172
• /
• 2020

Flight data recorder (FDR) for accident investigation is required to comply with EUROCAE(ED-112) standard so that flight data can be restored when exposed to extreme conditions due to aircraft crash. Since the ED-112 standard defines the general requirements for all aircraft, it is essential to analyze detailed requirements for FDR software to apply appropriate requirements selectively according to the configuration and operation concept of a specific aircraft. In this paper, the software requirements applicable to unmanned aircraft will be analyzed and the FDR software design will be proposed. Also, a software verification method for each requirement will be presented to verify that the implemented software is designed to satisfy all requirements.

• KIPS Transactions on Computer and Communication Systems
• /
• v.5 no.9
• /
• pp.275-284
• /
• 2016

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and validation process needs a lot of time and money, and there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a reliability evaluation method for the software to be used for a specific operation of the digital controller in a nuclear power plant. After injecting weighted faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in a nuclear power plant.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.1104-1106
• /
• 2014

FSDM은 SMART 기술검증 및 표준설계 인가 획득 사업을 통해서 개발된 인간공학 통합검증설비로서 SMART 주제어실 설계에 대한 인간공학 확인 및 검증시험 활동을 수행하기 위한 수단과 방법을 제공하는 설비이다. 이러한 목적으로 개발된 FSDM은 운영허가 취득단계에서 개발하여 운전원 훈련에 사용되어야 하는 시뮬레이터에 대비하여 약 10%의 모의 성능을 가지고 있다. 본 논문에서는 개발된 FSDM의 제어실 설계 측면에서 하드웨어 및 소프트웨어 자원에 대한 설계현황 분석을 수행하여 설계 개선 요구사항을 도출 및 반영하여 SMART 시뮬레이터 개발에 적용하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.464-466
• /
• 2019

Controllers used in nuclear power plants require high reliability. A controller including a Field Programmable Gate Array (FPGA) and a Complex Programmable Logic Device (referred to hereinafter as FPGA) has been applied to many Nuclear Power Plants (NPP) in the past, including the APR1400 (Advanced Power Reactor 1400), a Korean digital nuclear power plant. Initially, the FPGA was considered as a general IC (Integrated Circuit) and verified only by device verification and performance testing. In the 1990s, research on FPGA verification began, and until the FPGA became a chip, it was regarded as software and the software Verification and Validation (V&V) using IEEE 1012-2004 was implemented. Currently, IEC 62566, which is a European standard, has been applied for a lot of verification. This method has been evaluated as the most sensible method to date. This is because the method of verifying the characteristics of SoC (System on Chip), which has been a problem in the existing verification method, is sufficiently applied. However, IEC 62566 is a European standard that has not yet been adopted in the United States and maintains the application of IEEE 1012 for FPGA. IEEE 1012-2004 or IEC 62566 is a technical standard. In practice, various methods are applied to meet technical standards. In this paper, we describe the procedure and important points of verification method of Nuclear Safety Class FPGA applying SoC verification method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.181-184
• /
• 2011

소프트웨어와 인터넷 연결이 일반화되고 소프트웨어 규모가 복잡해짐에 따라, 소프트웨어 보안 취약점 발생 수 및 관련 보안 사고가 나날이 증가하고 있다. 소프트웨어 보안 사고를 예방하기 위한 하나의 방법은 소프트웨어 개발 단계에서 취약점을 발견하여 제거하는 것이다. 이에 본 논문에서는 취약점 발견에 사용되는 대표적 테스팅 기법인 퍼징에 대해 연구하였다. 먼저, 웹 애플리케이션 서버와 관련된 기존의 공개된 취약점 정보를 분석하여 퍼징에 필요한 오용 케이스(misuse case) 생성 방법을 보인다. 생성된 오용 케이스는 URL과 HTTP 요청 메시지의 각 필드에 대한 테스팅 정보를 포함하고 있으며, 이 오용 케이스를 웹 애플리케이션 서버에 퍼징하여 실제 보안 관련 결함이 나타남을 확인하였다.

• Journal of Energy Engineering
• /
• v.8 no.2
• /
• pp.213-223
• /
• 1999

In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.223-224
• /
• 2020

2015 개정 교육과정에서는 컴퓨팅 사고력을 갖춘 인재를 함양하기 위해 소프트웨어 교육 및 정보 교육을 강조하고 있으며, 다양한 학문에서의 융합이 제시되고 있다. 그러나 소프트웨어 및 정보 교과에서의 융합교육의 현황이나 방법에 따른 결과 도출, 효과성 검증 등에 대한 연구는 미비한 실정이다. 따라서 본 연구에서는 초등학교 실과 교과서 1종, 중학교 정보 교과서 1종, 고등학교 정보 교과서 1종을 각기 다른 출판사로 무선 표집하여 융합교육 현황에 대해 분석하였다. 분석 결과, 교과서 내에 융합교육의 시도가 1~2회 정도의 융합교육의 시도가 있었음을 확인할 수 있었다. 이러한 변화는 긍정적이라 볼 수 있지만, 충분하다고 판단할 수는 없다. 그러므로 이를 보완하기 위하여 현행의 교과서를 보완해 줄 수 있는 융합교육 자료가 요구된다는 시사점을 도출하였다.