• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.139-141
• /
• 2005

국내에서는 암호제품의 안전 및 신뢰성 확보를 위해 2005년부터 KCMV 암호모듈 검증시험을 시행하고 있다. 그러나 암호모듈 검증시험을 수행함에 있어서 시험에 필요한 제출물의 세부내용 및 제출물에 대한 일관성 있는 문서 스키마(schema)가 제공되지 않고 있다. 이렇듯 암호모듈 검증시험을 수행함에 있어서 제출물에 대해 정해진 템플리트 없이 오프라인상의 문서를 이용한다는 것은 전체적인 검증시험 업무수행에 있어서 저해요인으로 크게 나타나게 된다. 이에 본 논문에서는 암호모듈 검증시험에 있어서 검증 받고자 하는 보안등급에 맞추어 시험 제출물을 작성 시 제출물의 일관성 유지를 위해, FIPS 140-2 DTR 분석을 통한 제출물 템플리트 작성방법을 제안한다.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.196.1-196.1
• /
• 2012

인공위성은 지상에서부터 발사 및 궤도 운용까지 다양한 전자파 환경에 노출되며 이러한 환경에서의 위성 운용을 검증하기 위하여, 다양한 전자파 환경을 모사하는 전자파 환경시험을 수행하게 된다. 특히, 궤도내에서 위성의 운용시 지상국과의 교신을 위하여 X 밴드 안테나와 S 밴드 안테나에서 지상국으로 강한 전자기파를 방사하게 되는데, 이 방사에너지가 위성에 영향을 주는지 검증하는 시험을 지상에서 수행한다. 이런 시험을 RFC (RF Auto-Compatibility) 시험이라고 부른다. RFC 시험은 위성으로부터 방사되는 전자기파가 외부에 새어나가지 않도록 전자파 챔버내에서 시험하며, 강한 전자기파를 흡수할 수 있는 고전력 전파 흡수체가 설치된 전자파 챔버가 필요하다. RFC 시험시 X 밴드 안테나와 S 밴드 안테나를 최대 전력으로 방사시키고, 이때 위성 주변에 전자파 센서를 부착하여 전계강도를 측정함으로써 위성으로 입사되는 전자기파의 세기가 적정 레벨 이하인지를 검증하고, 동시에 위성의 운용상태를 확인하여 위성에 영향이 없음을 검증한다. 본 논문에서는 다목적 실용위성 3호의 RFC 시험시 측정된 전계강도를 이론적으로 검증하고, RS 시험시 인가하는 레벨과의 상관관계를 설명한다. RS 시험 레벨의 선정은 위성 안테나의 방사레벨과 관련이 있으며 RFC 시험결과를 검토함으로써 RFC 시험 결과의 유효성과 RF 레벨 요구사항의 적절성을 검증한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.317-322
• /
• 1997

앞으로 건설되는 원전의 계측제어계통은 디지털 기술로 설계될 전망이다. 그러나 디지털 기술을 원전 계측제어계통에 적용하는데 있어서 디지털 기술이 원전의 안전성이나 신뢰도에 영향을 미치지 않는다는 사실을 보증하여야 하며, 디지털계통의 기능과 성능에 대한 확인/검증은 원전에 설치되기 전에 수행되어야 한다. 계측제어 시험검증설비의 목적은 새롭게 개발되는 디지털 제어 및 보호 알고리즘, 경보축약 알고리즘 또는 운전지원계통등의 성능을 검증하기 위함이다. 시험검증설비의 소프트웨어는 웨스팅하우스형 993 MWe 가압경수로를 모델링한 수학적 모델링과 시험검증설비를 운용하기 위하여 필요한 종합운용프로그램으로 구성된다. 하드웨어는 공학용 워크스테이션, 시험용 패널, 개발되는 계통과의 인터페이스를 위한 VXI 인터페이스 모듈, 그리고 공유메모리의 값을 시험대상 시작품으로 전송하는 Ethernet 모듈 등으로 구성된다. 사용자 인터페이스로 할덴 원자로 프로젝트에서 개발된 Picasso 그래픽 도구를 이용한 화면과 60개의 주요변수의 값을 CRT에 표시하는 기능을 제공한다. 계측제어 시험검증설비를 응용한 계측제어계통 시작품은 정상운전 및 과도상태에서 적절한 시험결과를 제공하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.99-100
• /
• 2006

지금까지 국내 디지털 보호계전기의 성능 검증은 동작치 특성 시험 등 정특성시험(steady-state performance) 검증 위주로 수행되어 왔으며, 신규개발 디지털 보호계전기 및 신규 도입 디지털 보호계전기에 대해서는 정특성 시험과 함께 시뮬레이터를 이용한 동특성 시험을 병행하여 왔다. 동특성 시험은 보호계전기에 내장된 계전요소들의 유기적인 성능을 검증할 수 있는 시험으로서 복수 개의 보호계전요소를 탑재하고 있는 디지털 보호계전기를 검증하기 위해서는 필수적인 성능검증 수단이다. 그러나 이러한 장점들과 편리함에도 불구하고 디지털 보호계전기의 성능검증에 사용되는 계통 모델이 실 계통을 정확하게 반영하지 못할 경우 검증 결과의 신뢰성을 보장하기가 어렵다. 본 논문에서는 154kV 송전선로 보호용 디지털 보호계전기의 성능 검증을 위한 기반 구축 과정 및 결과에 대해서 기술한다.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.45-51
• /
• 2007

The various levels of test are performed to verify the correctness, completeness, and quality of the developed flight software. The three main test levels are unit test, integration test and verification test. The flight software unit test is performed on the individual PC environment using target simulator. And integration and verification test is mainly performed on STB(S/W Test Bed) which provides test and debugging environments for flight software on the target board This document is to present the test environment for the next generation low earth orbit satellite flight software development.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.6
• /
• pp.683-691
• /
• 2011

In order to develop technology for an equipment qualification (EQ) test, which is an important process in localizing solenoid-operated valves used in nuclear power plants, we analyzed related regulations, test procedures, conditions, equipment, and acceptance criteria. EQ regulations for the solenoid-operated valve are classified as law, guide, and standard, and are subdivided according to test specimens and contents. The EQ test is composed of functional, normal-, and accident- condition tests. The solenoid-operated valve is aged under normal and accident conditions, which are predicted in the design conditions of a nuclear power plant, and the performance of the valve is measured by a functional test. The test method and procedure analyzed in this paper might be very useful for manufacturers as well as EQ testers.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3176-3184
• /
• 1998

프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.11
• /
• pp.130-138
• /
• 2016

In this paper present the real-time system parallel testing techniques for weapon systems error verification. Previously field testing equipment in the military field was using the sequential testing method to maintain. This method could not check the error verification of interference. For this reason, in this paper propose the real-time system parallel testing techniques using an embedded module instead of the sequential testing techniques which is used in the weapon system error verification. Using the embedded module mounted switching control card conduct the parallel testing and then send the result to the PC. This method is possible to increase the reliability in the weapon system error verification.