• 전기학회논문지
• /
• 제56권12호
• /
• pp.2091-2097
• /
• 2007

This paper described the verification of modeling technique of underground distribution from comparison between field test and simulation. It needs more exact transient phenomenon analysis model to establish lightning protection of underground distribution line. Although, there were a lot of transient phenomenon researches, nobody could has verified the confidence of modeling from field tests in interior until now. So, simulation model verified field test is needed to analyse transient phenomenon of underground distribution system. The examination must be accomplished in many different condition before suggesting these verified analysis model. In this paper, the conditions were examined and the various data results on the different line composition was compared with the EMTP simulation, when the lightning impulse test was accomplished at underground distribution line. Also the value between field test and simulation was very closed and the method of modeling has demonstrated confidence, when the method is used to analyse domestic transient phenomenon of underground distribution.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2001년도 춘계학술대회 논문집
• /
• pp.394-402
• /
• 2001

In order to lessen cable vibration, new cable damper system with high damping rubber was developed using the basis of the LRB design scheme. The analysis model of cable damper system incorporate voigt-kelvin damper model into the nonlinear cable analysis model. To achieve maximum damping capacity both reducing damper stiffness and developing high damping rubber were performed. As a result of verification test, the high damping rubber damper show its effectiveness in improving cable damping capacity.

• 한국통신학회논문지
• /
• 제18권5호
• /
• pp.650-662
• /
• 1993

본 논문은 ISO 8073과 ADDENDUM 2 프로토콜에 의해 규정되는 CLNS위에 작용하는 트랜스포트 레이어의 테스트와 구현을 설명하였다. 트렌스포트 레이어의 구현을 위해, 다섯개의 모듈과 인터페이스 프리미티브가 정의되었다. 이 프로토콜은 정식으로 SDL이라 칭하고 C언어로 프로그램 되었다. 소프트웨어 검증을 위해, 프로토콜 테스트가 정의되고 테스트 시나리오가 정의되었다. 검증은 테스트 시나리오를 기초로 구현되었다. 본 논문에 나타난 트랜스포트 레이어 소프트웨어는 약간의 변조로 실상황에서 사용되어 진다. 이 논문에 나타난 프로토콜 테스터는 또한 다른 프로토콜 테스터의 검증을 위해 사용된다.

• 방송공학회논문지
• /
• 제21권5호
• /
• pp.792-802
• /
• 2016

최근 사용이 늘어나고 있는 멀티밴드 사운드바 설계 시, 설계검증은 시뮬레이션으로 확인이 되지 않거나 되기 힘든 검증요소들이 다수 존재한다. 따라서 본 논문에서는 프로세서 내장 사운드바 SoC를 위한 FPGA 검증시스템을 구현하였다. 이를 통해 설계단계의 시뮬레이션으로 검증할 수 없는 실시간 성능테스트와 청취테스트를 실시간 검증하였다. 즉, 구현된 FPGA 검증시스템을 이용해서 SNR, THD+N, 주파수응답과 같은 정량적 항목들의 측정 및 청취테스트를 시행하였고, 테스트 결과가 설계목표를 만족함을 확인하였다.

• 한국항공우주학회지
• /
• 제39권2호
• /
• pp.153-161
• /
• 2011

한국항공우주연구원에서는 GBAS 기준국의 무결성 감시 알고리즘 개발을 위한 데이터 제공 및 시험을 위하여 무결성 감시 테스트베드를 구축하였다. 개발된 알고리즘의 정확한 구현 및 시험을 위해서는 기반이 되는 시설 및 소프트웨어의 기본 기능이 국제 표준에 부합하게 구현되어 있어야 하므로, 본 논문에서는 현재 구축된 테스트베드의 GBAS 기준국으로서의 기본 기능에 대한 검증시험을 수행한다. 이를 위해 국제적으로 신뢰받고 있는 프로그램인 PEGASUS와의 비교를 통하여 GBAS 보정 정보의 타당성을 확인하였으며, 이를 적용한 사용자 측면에서의 거리 영역 및 위치 영역에서의 데이터 분석을 통하여 시스템의 무결성 및 가용성 성능을 확인하였다.

• Journal of Platform Technology
• /
• 제8권4호
• /
• pp.47-58
• /
• 2020

DO-330 소프트웨어 도구 자격증명 고려사항은 항공기에 탑재되는 소프트웨어 및 하드웨어를 개발/검증 하기 위해 사용되는 도구 개발 프로세스에 적용하기 위한 지침이다. 이 지침 상의 도구 개발 프로세스 중 검증 프로세스는 DO-330을 준수하기 위해 달성해야 하는 목표 중 많은 비중을 차지하고 있어 상당히 중요하다. 특히, 도구의 안전성 수준이 높은 개발 도구의 시험 목표들은 독립적으로 수행되어야 하기 때문에 많은 시간, 비용, 그리고 인력이 투입되어야 한다. 시험 절차를 잘 수립 해 놓았을 지라도 시험의 복잡도가 높아지면 인적 오류가 발생할 확률이 높아진다. 본 논문에서는 한화시스템에서 개발한 A661UAGEN 도구의 효율적인 DO-330 검증 프로세스를 진행하기 위한 스크립트 기반의 시험 자동화 에이전트 소프트웨어 구조를 제시하고 평가하였다. 그 결과 스크립트 기반의 시험 자동화 에이전트를 통해 자동화 된 시험이 테스트 엔지니어에 의한 수동 시험 보다 시험 수행 시간은 87.5%가 감소되었고, 시험 생산성은 43.75%가 향상되었음을 확인하였다.

• 대한전자공학회논문지SD
• /
• 제46권2호
• /
• pp.24-30
• /
• 2009

본 논문에서는 3GPP(Third Generation Partnership Project) Release 7 eHSPA(High Speed Packet Access for Evolution) UE(User Equipment) FDD(Frequency Division Duplex) 규격을 만족하는 단말 모뎀의 FPGA(Field Programmable Gate Array) 플랫폼 설계 및 이를 기반으로 한 효율적인 검증 방법에 대해 제안한다. 구현된 FPGA 모뎀 플랫폼은 물리 계층 지원을 위한 모뎀 보드, MCU(Micro Controller Unit)와 DSP(Digital Signal Processor) 코어로 구성되어 모뎀 보드를 제어를 위한 제어 보드, 그리고 RF(Radio Frequency) 및 기타 장비 접속을 위한 주변장치(Peripheral) 보드 등으로 구성된다. 그리고 검증 단계는 하드웨어-소프트웨어 연동 상관 정도에 따라 단순 기능 검증, 시나리오 검증 그리고 호 처리 및 시스템 성능 검증 등으로 규정화하여 진행되었고, 실제 구현적인 측면으로 저 전력 SoC(System On a Chip)를 위한 에뮬레이션 검증 기법도 제안한다.

• 한국산업융합학회 논문집
• /
• 제22권6호
• /
• pp.689-702
• /
• 2019

This paper deals with the verification of the functions about mining robot, which is the system for developing deep seabed resources by applying V&V(verification and validation). In order to overcome water pressure of 500 bar and to travel on soft ground, and to operate in deep sea environment with bad conditions, it is necessary to develop a robot that can satisfy various deepsea conditions. A mining robot has been developed based on simulation based design and Multidisciplinary design optimization. In order to verify the developed robot, lab test and real sea test should be performed for various marine environment conditions. There are too many requirements to consider, such as space, time, cost, personnel, and environment to do performance test. So it is costly and time consuming for developing robot. In order to solve this problems, V&V technique was applied to mining robot. The stages of mining robot design, fabrication and commission were verified.

• 한국컴퓨터정보학회논문지
• /
• 제26권9호
• /
• pp.105-114
• /
• 2021

소프트웨어 연동통제문서는 시스템을 구성하는 구성품 간 연동을 위해 프로토콜 및 데이터 등을 기술하는 문서를 의미한다. 무기체계 개발 특성상 소프트웨어 연동통제문서 검증을 위해서는 각 구성품 개발자들이 특정 장소에 모여서 통합시험을 진행하게 되는데, 이때 소프트웨어 개발자들의 단순한 실수로 인하여 통합시험이 지연되는 경우가 종종 발생하게 된다. 이러한 상황이 발생하는 가장 큰 이유는 소프트웨어 개발자들이 연구실 환경에서는 시스템 환경을 구성하기 어려운 문제로 인해 충분한 검증을 수행하지 못한 경우와 통합시험 간 발생한 오류에 대해서 즉각적으로 원인을 발견하지 못한 경우 때문이다. 따라서 본 논문에서는 무기체계 개발 단계의 제작 및 구현단계부터 시스템 통합시험 단계 사이에 많은 시간이 소요되는 소프트웨어 연동통제문서 검증을 효과적으로 수행하기 위한 전략을 제안한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(2)
• /
• pp.325-328
• /
• 2001

This paper describes a VHDL code coverage checker for If design and verification. Applying the verification coverage to IP design is a methodology rapidly gaining popularity. This enables the designers to improve the IP design quality and reduces the time-to-market by providing the Quantitative measure of simulation completeness and test benches. To support this methodology, a VHDL code coverage model was defined and the measurement tool was developed.