Verification and Validation of DEVS Models: Applying the Theory of Modeling and Simulation to the needs of Simulation Based Acquisition

摘要

Formal representation of simulation models can contribute to a number of aspects in the modeling and simulation enterprise. Separation of models from simulation execution engines is a prerequisite for Simulation-based Acquisition (SBA) which requires model transfer among phases of a project as well as from project to project. The Discrete Event System Specification (DEVS) fromalism, drawing on its system theoretic basis, provides a number of important properties such as hierarchical, modular composition, universality and uniqueness that can better support development of simulation models and environments their development.