2010 IEEE Workshop on Principles of Advanced and Distributed Simulation (2010)
May 17, 2010 to May 19, 2010
Claudia Szabo , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
Yong Meng Teo , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
A simulation model composed using reusable components is semantically valid if it produces meaningful results in terms of expressed behaviors and meets the desired objective. This paper focuses on the validation of component-based data-driven simulation. In data-driven simulation applications, it is necessary to model entity behavior at higher resolution. In simulations such as military training scenarios where entity behavior changes dynamically, additional input data is required to express complex state transitions. This can significantly increase the composed model state space and presents a major challenge in simulation validation. Using a component-based data-driven tactical military simulation, we propose a layered and automated approach for semantic composability validation. While the expressivity of data driven models increases the semantic equivalence of the validated model, it incurs higher validation cost.
semantic equivalence, semantic composability, data-driven simulation applications, military training scenarios, complex state transitions, tactical military simulation
Yong Meng Teo and C. Szabo, "On Validation of Semantic Composability in Data-Driven Simulation," 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation(PADS), Atlanta, GA, 2010, pp. 1-8.