2011
DHSS 2011 Proceeding
Verification Methodology for Simulation Model based on System Morphism
Authors: Changbeom Choi, Jangwon Bae, Minwook Yoo, Tag Gon Kim, Soohan Kim
Abstract
As the development of modern combat system grows rapidly, the importance of a development and the verification of the simulation model are also growing rapidly in simulation based acquisition. The simulation model of the combat systems can be defined by integration of simulation models, and simulation of the models is interaction among simulation models. Therefore, the verification for each simulation model and the verification of interaction among simulation models are important. In this paper we propose system morphic verification method to support the verification of simulation model with respect to the requirement specification, and we propose the incremental system morphic verification method to verify the interaction among the simulation models. The verification method based on the system morphism was used in the development of warship simulator to support the researcher of the national defense research institute.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
