Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Verification & validation in military simulations
Proceedings of the 29th conference on Winter simulation
Model composability: formulating a research thrust: composable simulations
Proceedings of the 32nd conference on Winter simulation
On the Power of Labels in Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
What Comes After the Semantic Web - PADS Implications for the Dynamic Web
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
On Syntactic Composability and Model Reuse
AMS '07 Proceedings of the First Asia International Conference on Modelling & Simulation
A Rule-based Approach to Syntactic and Semantic Composition of BOMs
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Principles of the Spin Model Checker
Principles of the Spin Model Checker
CODES: An Integrated Approach to Composable Modeling and Simulation
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
Applying causal inference to understand emergent behavior
Proceedings of the 40th Conference on Winter Simulation
An Approach for Validation of Semantic Composability in Simulation Models
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
A time-based formalism for the validation of semantic composability
Winter Simulation Conference
Hi-index | 0.00 |
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.