• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.53-63
• /
• 2018

미래 전장 환경이 복잡하고 다양화됨에 따라 조직에 적절한 구조 및 편성을 작성하는 것도 간단하지 않은 일이 되었다. 이에 본 연구에서는 육군의 미래 제대별 참모부 편성을 시스템 다이내믹스를 활용하여 검증하는 방법론을 제시한다. 참모부 구조 및 편성 검증을 위한 SD 활용 절차는 입력 DB값 산출, 인과지도 작성 및 모델 구축, 모의 및 분석 순으로 진행된다. 시스템 다이내믹스를 활용한 모의분석의 취약점은 입력 값에 따라 결과가 달라질 수 있고 모의인원의 관점에 따라 분석이 달라질 수 있다는 것이다. 본 연구에서는 이에 대한 보완책으로 연구 분석, 설문 등을 병행하여 종합분석에 포함하는 방법을 적용하였다. 본 연구의 의의는 군조직의 구조 및 편성을 검증하기 위한 과학적인 방법으로 조직편성의 적절성을 정량화하여 판단할 수 있는 전투실험 방법을 제시함으로써 그 활용 가치가 크다고 판단된다.

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

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

• 대한전자공학회논문지SD
• /
• 제43권7호
• /
• pp.38-49
• /
• 2006

본 논문에서는 SoC를 검증 및 테스트하기 위한 새로운 개념의 칩을 제안하고 이를 SwToC(System with Test on a Chip)라 명명한다. SwToC는 SoC의 임베디드 프로세서에 재구성 가능한 로직을 추가하여 칩의 물리적인 결함을 테스트할 수 있을 뿐만 아니라 기존의 기법으로는 수행이 어려웠던 테스트 단계에서의 디자인 검증이 가능하도록 한 칩을 말한다. 제안한 개념의 칩은 고속 검증이 가능하며 테스트를 위해 많은 비용이 소모되는 ATE 가 불필요한 장점을 갖고 있다. 제안한 칩의 디자인 검증 및 테스트 기능을 평가하기 위하여 임베디드 프로세서가 내장된 상용 FPGA를 이용하여 SwToC를 구현하였으며, 구현 결과 제안한 칩의 실현 가능성을 확인하였고 적은 비용의 단말기를 통한 테스트가 가능함은 물론 기존의 검증기법에 비해 고속 검증이 가능함을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 전자공학회논문지A
• /
• 제32A권7호
• /
• pp.115-122
• /
• 1995

This paper presents the simulation environment that verifies whether a new microprocessor described with HDL is compatible with MS-DOS. The phrase 'compatible with MS-DOS' means that the microprocessor can execute MS-DOS without any modification of MS-DOS's binary code. The proposed verification environment consists of HDL simulator and user interface module. And the communications between them are performed by using sockets which UNIXprovide. The HDL simulator is equipped with several functions, which use PLI to emulate ROM-BIOS facilities. The ROM-BIOS emulation routine is described by using these functions. User interface module utilizes S/MOTIF and participates in emulating PC monitor and keyboard. The verification environment is tested by executing the MS-DOS commands (DIR, FORMAT, DATE, TIME etc.) with the HDL model of microprocessor, and the display of user interface module verifies that the environment works correctly. In this paper, the method of constructing the verification environment is presented, and the simulation results are summarized.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 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.

• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.14-20
• /
• 2014

본 연구는 무기체계 획득의 신뢰성과 연구개발의 효과를 증대하기 위한 모델링과 시뮬레이션 방법을 전산유체역학을 이용하여 연구하였다. 모델링과 시뮬레이션을 이용한 시험 평가가 무기체계의 획득에 신뢰성을 줄 수 있고, 시험에 필요한 시간과 비용의 절감, 사전에 예측하고 사후에 검증이 가능한 자료를 제공할 수 있다. 그러나 현재 우리의 무기체계 획득에서는 모델링과 시뮬레이션을 적극적으로 활용하지 않고 있으며 검증을 위한 소프트웨어 사용도 제한되고 있는 실정이다. 따라서 본 연구에서는 전산유체역학을 이용한 모델링과 시뮬레이션을 위해 GAMBIT과 FLUENT를 이용하여 모델링과 시뮬레이션을 실시하였다. 그 결과 기존의 연구보다 더 좋은 결과 확인하였고 향후 무기체계의 획득과 연구개발에 많이 활용될 것으로 기대된다.

• 대한조선학회논문집
• /
• 제60권6호
• /
• pp.473-481
• /
• 2023

In this study, a simulation system was developed to verify autonomous navigation algorithm in complex maritime traffic areas. In particular, real-world maritime traffic scenario was applied by considering near real-time maritime traffic information provided by Korean e-Navigation service. For this, a navigation simulation system of Unmanned Surface Vehicle (USV) was integrated with an e-Navigation equipment, called Electronic Chart System (ECS). To verify autonomous navigation algorithm in the simulation system, initial conditions including initial position of an own ship and a set of paths for the ship to follow are assigned by an operator. Then, considering real-world maritime traffic information obtained from the service, the simulation is implemented in which the ship repeatedly travels by avoiding surrounding obstacles (e.g., approaching ships). In this paper, the developed simulation system and its application on verification of the autonomous navigation algorithm in complex maritime traffic areas are introduced.

• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.157-164
• /
• 2010

우수하고 신뢰성 있는 통신 시스템의 개발을 위해 시스템에 대한 기능 검증과 성능 평가가 모두 필수적인데 반해 이들은 주로 형식 언어 도구를 이용한 기능 모델링과 전문 네트워크 성능 평가 도구에 의한 성능 모델링을 통해 개별적으로 수행되어 왔다. 그러나 한 시스템을 별도로 중복하여 모델링 하는 것은 비용의 증가와 모델 간 불일치를 가져오게 된다. 본 논문은 이 문제를 해결하기 위해 SDL-OPNET 코-시뮬레이션을 통해 SDL로 설계된 통신 프로토콜의 성능을 평가하는 통합 설계 기법을 제안한다. 제안 기법은 Tau의 환경함수와 OPNET의 외부시스템 모듈을 이용하는 코-시뮬레이션 시스템의 설계 방법을 제시한다. InRes 프로토콜이 예로 사용되어 제안 기법의 적용가능성과 효용성을 보여준다.

• Industrial Engineering and Management Systems
• /
• 제14권1호
• /
• pp.88-93
• /
• 2015

In this paper, we identify the characteristics of modeling and simulation (M&S) for military and defense and propose the method of verification, validation, and accreditation (VV&A) using the identified characteristics. M&S has been widely used for many different applications in military and defense, including training, analysis, and acquisition. Various methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of M&S. The notion of applying formal credibility assessment in VV&A originated in software engineering reliability testing and the systems engineering development process. However, the VV&A techniques and processes proposed for M&S by the research community have not addressed the characteristics and issues specific to military and defense. We first identify the characteristics and issues of military/defense M&S and then propose techniques and methods for VV&A that are specific for military/defense M&S. Possible approaches for the development of VV&A are also proposed.