• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.347-349
• /
• 2014

Model verification and validation (V&V) is a current research topic to build computational models with high predictive capability by addressing the general concepts, processes and statistical techniques. The hypothesis test for validity check is one of the model validation techniques and gives a guideline to evaluate the validity of a computational model when limited experimental data only exist due to restricted test resources (e.g., time and budget). The hypothesis test for validity check mainly employ Type I error, the risk of rejecting the valid computational model, for the validity evaluation since quantification of Type II error is not feasible for model validation. However, Type II error, the risk of accepting invalid computational model, should be importantly considered for an engineered products having high risk on predicted results. This paper proposes a technique named as the response-adaptive experimental design to reduce Type II error by adaptively designing experimental conditions for the validation experiment. A tire tread block problem and a numerical example are employed to show the effectiveness of the response-adaptive experimental design for the validity evaluation.

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

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

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

• 한국항행학회논문지
• /
• 제19권1호
• /
• pp.15-21
• /
• 2015

WA-DGNSS는 지상에서 수신한 GNSS 신호를 관련 오차 계산 후 보정 정보를 생성하여 위성을 통해 사용자에게 보정 정보를 제공하는 시스템을 말한다. 사용자는 이 시스템을 통해 위치 정확도 향상 및 GNSS 신호에 대한 신뢰성을 보장 받는다. 또한 국제 민간항공기구(ICAO)에서는 항공기 이착륙 절차에 광역 보정시스템의 적용을 권고하고 있다. 본 논문에는 항공관련 소프트웨어 개발 절차 관련 규격문서인 RTCA DO-278의 소프트웨어 검증 프로세스를 참고하여 기 구축된 WA-DGNSS 광역 기준국 소프트웨어의 모듈 및 통합 테스트 단계를 구성하여 검증을 위한 방법론을 제시한다. 또한 제시한 방법론을 통해 기준국 소프트웨어 테스트를 통계적으로 검증하였으며 이러한 검증을 통해 기준국 소프트웨어의 기능이 적절히 수행됨이 확인되었다.

• 한국산학기술학회논문지
• /
• 제10권10호
• /
• pp.2583-2588
• /
• 2009

본 논문에서는 반정현파 형태의 충격을 받는 HDD에 대한 충격해석을 수행하고, 그 타당성을 실험적으로 검증하였다. 일반적으로 센서를 이용한 제품의 충격실험을 통해서는 제한적인 정보만을 얻을 수 있지만, 컴퓨터를 이용한 해석기술은 제품의 파손현상을 규명하는데 필요한 보다 광범위하고 상세한 정보를 제공할 수 있는 장점을 가진다. 하지만, 이러한 해석결과는 여러 요인들에 따라 매우 민감하기 때문에 그 타당성을 검증하는 것이 중요하다. 따라서 본 연구에서는 200G/1ms의 전자기 충격실험과 300G/2ms의 낙하충격실험을 통하여 HDD의 조립단계별로 LS-DYNA를 이용한 유한요소해석의 신뢰성을 검증하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.256-261
• /
• 2014

Endurance test procedures of multipurpose tactical vehicle is constructed by comparing the Korea defence standard and TOP-2-2-506. The plan was to make the best reflect the operational environment and the actual production purposes. Endurance test of multipurpose tactical vehicle more stringent than the existing other military vehicles validation procedures. But the test plan, it is possible to reduce the cost and schedule of long verification that occurs because of the Endurance test. Through a comparison of the dynamic characteristic analysis, change of test center was to ensure the reliability and validity.

• 대한안전경영과학회지
• /
• 제16권4호
• /
• pp.123-131
• /
• 2014

Modern weapon systems are getting more complex in terms of the functionality and also the conditions on the environment and range in which they are deployed and used. Therefore, many development programs can easily be exposed to a variety of risks, resulting in delayed schedules and cost overrun. As such, effective means are necessary to keep the defence budget at an affordable level while competitive edges on technological aspects are retained. As one way to meet those need, modeling and simulation (M&S) methods have widely been used, particularly in the test and evaluation (T&E) process for weapon systems development. The result of M&S-based systems development should be evaluated by the verification, validation & accreditation (VV&A) process to assure keeping reliability at a desired level. On the other hand, due to the explosiveness, the weapons systems development naturally requires to consider safety issues in both the T&E and operational periods. The purpose of this paper is to improve the VV&A process by reflecting the safety requirements therein. To do so, the VV&A process has been analyzed and graphically modeled first and then safety elements have been incorporated effectively. The use of the improved process in the war ships development has also been discussed. Based on the process proposed and the consequent database constructed, the target system can be expected to benefit from reducing development risks while assuring systems safety.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제5권1호
• /
• pp.147-160
• /
• 2013

System integration is an important element for the construction of naval combat ships. In particular, because impeccable combat system integration together with the sensors and weapons can ensure the combat capability and survivability of the ship, the integrated performance of the combat system should be verified and validated whether or not it fulfills the requirements of the end user. In order to conduct systematic verification and validation, a data analysis tool is requisite. This paper suggests the Data Extraction, Recording and Analysis Tool (DERAT) for the data analysis of the integrated performance of the combat system, including the functional definition, architecture and effectiveness of the DERAT by presenting the test results.

• 시스템엔지니어링학술지
• /
• 제5권2호
• /
• pp.11-16
• /
• 2009

This study introduces the verification, validation & accreditation (VV&A) process for modeling & simulation (M&S). VV&A is standard process for credibility of M&S. In several countries including USA, for weapon system of Defense Development using M&S, VV&A is necessary procedures to acquire official approving for credibility of M&S. Many countries have regular recommend practice guide (RPG) and instructive for VV&A of M&S. In this study, we focus the VV&A key concepts as Department of Defense RPG of USA and give the outline of the main VV&A concepts because we don't have any available VV&A Instructive. Also, this report documents the first significant VV&A application for a MITS(M-SAM Integrate Test System) including Verification and Validation(V&V) activity and tasks.

• 전자공학회지
• /
• 제30권9호
• /
• pp.1002-1011
• /
• 2003

In this paper, we introduce an integrated SoC front-end design & verification environment which can be practically used in the embedded 32-bit processor-core SoC VLSI design. Our introduced SoC design & verification environment integrates two most important flows, such as the RTL power estimation and code coverage analysis, with the functional verification (chip validation) flow which is used in the conventional simulation-based design. For this, we developed two simulation-based inhouse tools, RTL power estimator and code coverage analyzer, and used them to adopt them to our RTL design and to increase the design quality of that. Our integrated design environment also includes basic design and verification flows such as the gate-level functional verification with back annotation information and test vector capture & replay environment.