• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.499-504
• /
• 2008

DC substation of urban transit supplies a suitable DC power on electricity vehicles by being supplied from KEPCO. DC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for DC traction system are unprepared on pre-operation inspection, the general safety and performance verification of DC traction system are very insufficient. Therefore this paper analyze the overseas test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of DC traction system and present a suitable test items and test standard in domestic.

• 한국군사과학기술학회지
• /
• 제14권3호
• /
• pp.388-396
• /
• 2011

Mission Equipment Package(MEP) system is a collection of avionic components that are integrated to perform the mission of the Korean Utility Helicopter(KUH). MEP system development is classified mission-critical embedded system but KUH MEP system developed including flight-critical data implementation. It is important to establish the good development and verification process for the successful system development. This paper describe the development and verification process in each phase for the KUH MEP system. MEP system design is verified through the qualification test, system failure test and compatibility test in System Integration Laboratory(SIL).

• International Journal of Internet, Broadcasting and Communication
• /
• 제14권1호
• /
• pp.1-9
• /
• 2022

Recently, a large number of cryptocurrencies and block chains have been continuously released. However, these cryptocurrencies and block chains are open to users without authorized verification and testing procedures, causing various reliability problems. Existing cryptocurrencies and blockchain test methods build a blockchain Testnet for a certain period of time by the developer without external verification by a third party, and after repeatedly self-testing and self-operating processes, commercialization is in progress by switching to the Mainnet. This self-verification method does not guarantee objectivity and publicness, and high reliability of customers cannot be realized. This study proposes a cryptocurrency and blockchain test interface and test control system as a third-party open test method.

• 한국군사과학기술학회지
• /
• 제17권3호
• /
• pp.318-326
• /
• 2014

The Shipyard Test of Naval Combat System depends on external factors, such as weather conditions and availability of its sensor-weapon, due to the need of on-board sensor-weapon during the test. This paper suggests the Supportive Equipment using virtual simulator for Shipward Test, in case of the unavailability of the on-board sensor-weapon or the test support force(aircraft, surface ship etc.), to pre-check the functions of the combat system as well as to prepare the Shipyard Test. To mock the real sensor-weapon functions as similar as possible, the Supportive Equipment for Shipyard Test was verified by the Verification and Validation process, which is usually performed while developing models in the Modeling & Simulation field.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

• 한국추진공학회지
• /
• 제25권3호
• /
• pp.127-137
• /
• 2021

발사대시스템은 다양한 설비로 구성된다. 이들 설비를 원격 운용하는 발사관제시스템은 제어 알고리즘 개발과 검증에 많은 시간과 노력이 소요된다. 알고리즘 검증은 소프트웨어 제작자가 시험절차서에 기반한 시뮬레이션 상태 값을 입력하고, 알고리즘 흐름에 따라 출력 결과를 확인하는 과정을 통해 이루어진다. 이러한 검증 과정은 반복적으로 수행되므로 작업 오류를 쉽게 유발할 수 있다. 본 논문에서는 작업 오류의 최소화와 검증 기간 단축이 가능한 스크립트 시험절차서 기반의 효율적인 자동화 검증 방법을 제안하며, 발사대의 고압가스 공급설비와 전자식 유공압패널설비 제어 알고리즘 검증시험에 적용한 결과를 제시한다.

• 공업화학
• /
• 제9권5호
• /
• pp.674-679
• /
• 1998

액체금속로 증기발생기 전열관 재질로 사용이 예상되는 ferrite steel 시편을 사용해서 소듐분위기에서 미량의 물 누출 실험을 수행하였다. 누출경로는 소듐-물 반응생성물 및 부식생성물에 의한 self-plugging 현상과 열적인 transient 및 전열관의 vibration에 의한 re-opening 메카니즘으로 설명이 가능하였다. 실험결과, 600 Psig의 injection 압력으로 5 g $H_2O$를 소듐분위기 속의 시편으로 누출시킨 경우, 누출초기와 약 70분 경과 후에 약간의 누출 흔적이 보였으나, self-plugging되었던 누출경로는 129분이 경과되자 완전 re-opening된 것으로 확인되었다. 누출시편의 re-opening shape은 2중으로 되어 있었으며, 소듐부위에서 시편 표면에 나타난 re-opening size 약 2 mm의 직경을 나타내었다.

• 정보보호학회논문지
• /
• 제21권3호
• /
• pp.165-176
• /
• 2011

본 논문에서는 TTAK.KO-12.0112 문서에 따른 컴퓨터 포렌식을 위한 디지털 증거 분석도구의 일반적인 검증 절차를 살펴보고, 제시된 검증 항목들을 이용하여 실제 증거분석 도구를 대상으로 기능 요구사항들을 테스트한다. 또한 테스트 내용을 바탕으로 대상 도구들에 대한 성능 평가를 수행하며 각 도구들의 증거 분석 기능에 대하여 향후 성능 개선 방향을 제시한다. 이는 테스트 대상 도구가 수행 가능한 기능들을 파악하고, 요구사항 문서에서 제안된 검증 절차들을 활용하여 각 기능 별로 구체적인 모의 테스트를 설계한 후, 검증 항목의 내용을 포함시킨 가상의 증거 이미지 파일들을 생성하여 도구가 분석한 결과를 검증하고 해석한다. 이 과정을 통해 대부분의 도구들에서 단편화된 삭제 파일에 대한 복구, 국내에서 널리 사용되고 있는 파일 포맷 인식, 한글 문자열 처리 기능 등에 취약점이 존재함을 확인할 수 있다.

• 한국항행학회논문지
• /
• 제25권5호
• /
• pp.377-383
• /
• 2021

본 논문에서는 항공기에 탑재되는 무장관리컴퓨터의 하드웨어 검증을 위한 자동시험 장비 개발 사례를 기술한다. 최근 항공기에 요구되는 기능이 다양해지고, 항공전자 장비의 관련 기술이 발전함에 따라 항공전자 장비에 필요한 인터페이스의 종류와 수량이 증가하였다. 무장관리컴퓨터 또한 기존 구형 무장 이외에도 신형 무장에 대한 요구사항이 추가됨에 따라 다량은 인터페이스 제어가 필요하다. 이와 같은 이유로 항공전자 장비의 점검에 투입되는 시간과 인력 소요 또한 증가하고 있으며, 항공전자 장비의 시험 과정을 자동화 및 무인화 할 수 있다면, 더 효율적인 점검 시스템 운용이 가능해질 것이다. 따라서 본 논문에서는 무장관리컴퓨터 하드웨어 기능 검증에 필요한 시험장비의 구조설계 내용과 검증 과정을 자동화하기 위한 시험 소프트웨어 및 시험 시나리오 설계 사례를 소개한다.

• 한국컴퓨터정보학회논문지
• /
• 제23권11호
• /
• pp.67-74
• /
• 2018

The verification for the design limit margin of the power device for the information communication and surveillance systems using HALT(Highly Accelerated Life Test) reliability test is described. The HALT reliability test performs with a step stress method which change condition until the marginal step in a design and development phase. The HALT test methods are the low temperature(cold) step stress test, the high temperature(hot) step stress test, the thermal shock cyclic stess test, and the high temperature destruct limit(hot DL) step stress test. The power device is checked the operating performance during the test. In this paper, the HALT was performed to find out the design limit margin of the power device.