Principles and techniques of simulation validation, verification, and testing
WSC '95 Proceedings of the 27th conference on Winter simulation
Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on uniform random number generation
Proceedings of the 33nd conference on Winter simulation
Computational Laboratories for Organization Science: Questions, Validity and Docking
Computational & Mathematical Organization Theory
ACM SIGSIM Simulation Digest
Validation and verification of social processes within agent-based computational organization models
Computational & Mathematical Organization Theory
GNU Scientific Library Reference Manual - 2nd Edition
GNU Scientific Library Reference Manual - 2nd Edition
Agent-based modelling and simulation for the analysis of social patterns
Pattern Recognition Letters
Model driven development of multi-agent systems
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
An agent-based model of the Anopheles gambiae mosquito life cycle
Proceedings of the 2010 Summer Computer Simulation Conference
P-SAM: a post-simulation analysis module for agent-based models
Proceedings of the 2010 Summer Computer Simulation Conference
Modeling space in an agent-based model of malaria: comparison between non-spatial and spatial models
Proceedings of the 2011 Workshop on Agent-Directed Simulation
Divide and conquer: a four-fold docking experience of agent-based models
Proceedings of the Winter Simulation Conference
A Spatial Agent-Based Model of Malaria: Model Verification and Effects of Spatial Heterogeneity
International Journal of Agent Technologies and Systems
| Hi-index | 0.00 |
In this paper, using the technique of docking, we perform verification & validation (V&V) of agent-based simulation models that simulate the life cycle of Anopheles gambiae, the primary vector for malaria transmission. Working with one (out of several) particular version of the core conceptual simulation model, we perform: (1) verification between two separate implementations (Java & C++) built independently from the core model, and (2) validation by comparing these implementations to the core model. Incremental agreement in model output by iterative docking serves the purpose of increasing confidence to the core model and revealing conceptual errors in model-building, as well as to clarify concepts and eliminate semantic ambiguities. Results indicate that V&V should be performed in parallel, and the entire docking process should be iterative in nature, utilizing well-planned feedback from earlier implementations.