• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.7A
• /
• pp.503-511
• /
• 2012

In this paper, the performance analysis of telemetering method using delayed frame time diversity (DFTD) as the outer code and Reed-Solomon (RS) code as the inner code is described. DFTD is used to transmit a real-time frame together with a time-delayed frame which was saved in the memory during a defined period. The RS code as a kind of FEC (forward error correction) is serially concatenated with DFTD. This method was applied to the design of telemetry units that have been used for flight tests in a communication environment with deep fading. The data of the flight test for four cases with no applied code, with DFTD only, with the RS code only, and with both DFTD and the RS code are used to analyze the performance. The simulation for time-delay suggests the possibility that all frame errors can be removed. And the results of 12 flight tests show the performance superiority of this new method to compare with the RS code only.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.220-222
• /
• 2006

본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.

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

This paper analyzes the source code of FIPS-OpenSSL cryptographic module approved as FIPS cryptographic module in USA and shows how the selftest requirements are implemented as software cryptographic library with respect to pre-operational test and conditional tests. Even though FIPS-OpenSSL follows FIPS 140-2 standard, lots of security requirements are similar between FIPS 140-2 and Korean cryptographic module validation standards. Therefore, analysis from this paper contributes to help Korean cryptographic module vendors develop correct and secure selftest functions on their own cryptographic modules, which results in reducing the test period.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.11
• /
• pp.755-762
• /
• 2022

The wind tunnel test data for the missile configuration were compared with analysis results using various semi-empirical code and CFD analysis code. The three types of configurations were used for comparison including 2 types of main wing, inline and interdigitate configuration that the main wing and tail intersect. Additionally, it was confirmed that the vortex flow was accurately predicted by comparing the CFD analysis result with the flow visualization test result.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.440-442
• /
• 2012

이 논문은 안드로이드 어플리케이션의 불필요한 코드를 찾는 방법을 제안한다. 불필요한 코드란 어플리케이션이 실행되는 도중에 한 번도 호출되지 않는 메소드로 한정한다. 불필요한 코드를 찾으면 어플리케이션의 크기를 줄일 수 있고, 개발자는 디버깅에도 이용할 수 있다. 안드로이드 어플리케이션의 불필요한 코드를 찾을 때는 자바의 특성과 안드로이드의 특성을 잘 고려해야 한다. 우리의 방법은 이 특성들을 잘 고려하여 불필요한 코드를 안전하게 찾도록 설계하였으며, 제안한 방법을 구현하여 실제 안드로이드 공식 마켓의 인기 무료 앱을 수집해 시험하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.242-247
• /
• 1995

원자력발전소에서 사용하는 ASME 코드펌프는 관련법규 및 기술기준에 따라 주기적으로 가동중시험을 수행함으로써 펌프의 운전가능성(operability)을 확인하도록 되어 있으며, 이러한 내용이 최종안전성분석보고서의 기술지침서에 명시되어 있다. 고리 1호기의 경우, ASME Sec. XI의 관련 규정이 1979년 Winer Addenda에서 변경되어 이를 따를 경우 매 3개월마다 가동중 시험을 수행하면 되도록 되어 있으나, 이러한 사항이 기술지침서에 명시적으로 반영 되어있지 않아 현재까지 종전 규정에 따라 매월 가동중 시험을 수행하고 있다. 따라서 본 연구는 고리 1호기 ASME 펌프의 가동중 시험주기를 1개월에서 3개월로 완화시키기 위한 기술적인 근거를 확보하기 위하여 10 CFR 50, ASME 코드 Sec. XI 및 III등 관련 법규 및 기술기준과 고리 1호기를 비롯한 유사발전소의 기술지침서, 표준기술지침서 및 지침서 개선연구결과 등과 고리 1호기 현장에서의 시험기록을 조사하였다. 이러한 검토를 통하여 가동중 시험주기를 매 3개월마다로 완화하는 것이 타당하다는 결론을 얻었으며, 그 근거로는 법규 및 기술기준에의 적합성, 유사발전소 및 표준기술지침서에서의 적용 사례, NRC의 개선연구결과의 권고사항 및 현장시험기록자료의 안정성 등을 들 수 있다.

• Nuclear Engineering and Technology
• /
• v.29 no.6
• /
• pp.29-41
• /
• 1997

원자력발전소에서 사용하는 ASME 코드펌프는 관련법규 및 기술기준에 따라 주기적으로 가동중 시험을 수행함으로써 펌프의 운전가능성(operability)을 확인하도록 되어 있으며, 이러한 내용이 최종 안전성분석보고서의 기술지침서에 명시되어 있다. 고리 1호기의 경우, ASME Sec. XI의 관련 규정이 1979년 Winter Addenda에서 변경되어 이를 따를 경우 매 3개월마다 가동중 시험을 수행하면 되도록 되어 있으나, 이러한 사항이 기술지침서에 명시적으로 반영 되어있지 않아 현재까지 종전 규정에 따라 매월 가동중 시험을 수행하고 있다. 따라서 본 보고서는 고리 1호기 ASME 펌프의 가동중 시험주기를 1개월에서 3개월로 완화시키기 위한 기술적인 근거를 확보하기 위하여 10 CFR 50, ASME 코드 Sec. XI 및 III 등 관련 법규 및 기술기준과 고리 1호기를 비롯한 유사발전소치 기술지침서, 표준기술지침서 및 지침서 개선연구결과 등과 고리 1호기 현장에서의 시험기록을 조사검토하였다. 이러한 검토를 통하여 가동중시험주기를 매 3개월 마다로 완화하는 것이 타당하다는 결론을 얻었으며, 그 근거로는 법규 및 기술기준에의 적합성, 유사발전소 및 표준기술지침서에서의 3개월 주기 적용 사례, NRC의 개선연구결과의 권고사항 및 현상시험기록자료의 안정성 등을 들 수 있다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.10a
• /
• pp.157-157
• /
• 1998