Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
A methodology for cost-risk analysis in the statistical validation of simulation models
Communications of the ACM - Special issue on simulation modeling and statistical computing
Tests for the verification and validation of computer simulation models
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 2
Validation of simulation models
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
ANSS '07 Proceedings of the 40th Annual Simulation Symposium
Numerical Recipes 3rd Edition: The Art of Scientific Computing
Numerical Recipes 3rd Edition: The Art of Scientific Computing
Enhancing the Credibility of Wireless Network Simulations with Experiment Automation
WIMOB '08 Proceedings of the 2008 IEEE International Conference on Wireless & Mobile Computing, Networking & Communication
Verification and validation of simulation models
Proceedings of the 40th Conference on Winter Simulation
Design of experiments: overview
Proceedings of the 40th Conference on Winter Simulation
A flexible and scalable experimentation layer
Proceedings of the 40th Conference on Winter Simulation
A Discussion on Experimental Model Validation
UKSIM '09 Proceedings of the UKSim 2009: 11th International Conference on Computer Modelling and Simulation
On the automation of computer network simulators
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Visual support for the understanding of simulation processes
PACIFICVIS '09 Proceedings of the 2009 IEEE Pacific Visualization Symposium
On the analysis of numerical data time series in temporal logic
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Formal cell biology in biocham
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Visual analytics for stochastic simulation in cell biology
i-KNOW '11 Proceedings of the 11th International Conference on Knowledge Management and Knowledge Technologies
GUISE - a tool for GUIding simulation experiments
Proceedings of the Winter Simulation Conference
GUISE - a tool for GUIding simulation experiments
Proceedings of the Winter Simulation Conference
Using workflows in M&S software
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
With the rising number and diversity of validation methods, the need for a tool supporting an easy exploitation of those methods emerges. We introduce FAMVal, a validation architecture that supports the seamless integration of different validation techniques. We structure a validation experiment into the tasks specification of requirements, configuration of the model, model execution, observation, analysis, and evaluation. This structuring improves the flexibility of the approach, by facilitating the combination of methods for different tasks. In addition to the overall architecture, basic components and their interactions are presented. The usage of FAMVal is illuminated by several validation experiments with a small chemical model. The architecture has been realized using the plug-in based design of the modeling and simulation framework JAMES II.