Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Automatic knowledge base refinement for classification systems
Artificial Intelligence
A system for automatic model verification and validation
Transactions of the Society for Computer Simulation International
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Systems modelling and description
ACM SIGSOFT Software Engineering Notes
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Model-Based Systems Engineering
Model-Based Systems Engineering
Theory of Modelling and Simulation
Theory of Modelling and Simulation
A knowledge-based environment for the validation of simulation models
A knowledge-based environment for the validation of simulation models
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Usage testing of military simulation systems
Proceedings of the 33nd conference on Winter simulation
A m-fold-decimation-based technique for model validation using a single system output data set
Mathematics and Computers in Simulation
Philosophical foundations of computer simulation validation
Simulation and Gaming
Building modeling tools that support verification, validation, and testing for the domain expert
WSC '05 Proceedings of the 37th conference on Winter simulation
Data Organization and Data Comparison for Model Validation in Faster-than-Real-Time Simulation
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
A knowledge-based method for the validation of military simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
| Hi-index | 0.00 |
A new perspective of the validation problemfor simulation models is formulated in this article. The approach is knowledge-based and focuses on behavioral validation. It has the important feature of providing a basis for the development of a software environment that can automate the validation activity. Discrete, continuous and combined simulation models can be treated in a uniform manner.The key element of the approach is a validation knowledge base (VKB). This is developed as three disjoint sets of relationships among the input and output variables of the simulation model. These relationships serve to capture all aspects of expected behavior of the simulation model. A simple characterization of model behavior is presented which provides the basis for specifying the relationships from which the VKB is constructedThe utilization of all the information in the VKB in an efficient way is an important subgoal of our system architecture. This requirement gives rise to an experiment design problem. This problem is carefully formulated and examined within the framework of the behavior characterizations that exist in the VKB. In particular, a basis for its solution is established in a constraint set framework by carrying out a transformation on the relationships within the VKB. The constraint set context for the problem has the advantage of providing an environment which not only facilitates analysis but also enables the application of a variety of solution techniques.