• Corpus ID: 785905

Verification and Validation of Agent-based Scientific Simulation Models

  title={Verification and Validation of Agent-based Scientific Simulation Models},
  author={Xiaorong Xiang and Ryan C. Kennedy and Gregory R. Madey and Stephen E. Cabaniss},
Most of the existing model verification and validation techniques are largely used in the industrial and system engineering fields. The agent-based modeling approach is different from traditional equation-based modeling approach in many aspects. As the agent-based modeling approach has recently become an attractive and efficient way for modeling large-scale complex systems, there are few formalized validation methodologies existing for model validation. In our proposed work, we design, develop… 

Figures and Tables from this paper

1 Verification and Validation of an Agent-based Simulation Model

A subset of techniques gathered from several authors are introduced and applies them to a computer simulation of natural organic matter to increase confidence in the simulation.

Verification and Validation of Agent-based and Equation-based Simulations: A Comparison *

This work performs verification and validation techniques on an agent-based scientific model and an equation- based economic model and offers a general strategy for performing verification and validate.

Software Process Simulation Modelling : A Multi Agent-Based Simulation Approach

This research resulted in a model of the software development process that integrates performance, cognition and artefact quality, for which it built a common simulation framework to implement and run MABS and System Dynamics simulators upon the same integrated models.

Hammer or Tongs: How Best to Build Agent-Based Models?

The sample reviewed in this paper includes techniques advocated specifically for agent-based modeling along with general software development approaches, and verification and validation techniques forAgent- based modeling are specially highlighted.

From Formal Modelling to Agent Simulation Execution and Testing

This work presents an approach to agent-based simulation development using formal modelling, i.e. stream X-Machines, that combines the power of executable specifications and test case generation.

Applying statistical debugging for enhanced trace validation of agent-based models

The tool is presented, the V&V Calculator, which applies predicates employed in the field of software engineering and the result is a structured trace validation approach with quantifiable measures that facilitates SME exploration and insight into the causes of unexpected output within ABMs.

Software Development Process Simulation: Multi Agent-Based Simulation versus System Dynamics

This work presents one of the first actual applications of Multi Agent-Based Simulation (MABS) to the field of software process simulation modelling (SPSM), and uncovers quite interesting properties of these approaches, e.g., that MABS reflects the problem domain more realistically than SD.

An Adaptive Agent-Based Model of Homing Pigeons: A Genetic Algorithm Approach

It is hypothesize that incorporation of real-time sensor data into agent-based models improves the predictive ability of such models and results in increasingly well calibrated model parameters and rule sets.

Towards Reducing Complexity of Multi-agent Simulations by Applying Model-Driven Techniques

Athos is presented, the domain specific language Athos with which network based traffic simulations can be created declaratively and platform independent and executable code can be generated for two popular multi-agent platforms.



Agent-Based Modeling vs. Equation-Based Modeling: A Case Study and Users' Guide

The domain of supply networks is summarized and it is illustrated how they can be modeled both with agents and with equations, and develops criteria for selecting one or the other approach.

Validation and verification of simulation models

  • R. Sargent
  • Computer Science
    Proceedings of the 2004 Winter Simulation Conference, 2004.
  • 2004
Four different approaches to deciding model validity are described, and a recommended procedure for model validation is presented, as well as various validation techniques defined.

The Swarm Simulation System: A Toolkit for Building Multi-Agent Simulations

Swarm is a multi-agent software platform for the simulation of complex adaptive systems that supports hierarchical modeling approaches whereby agents can be composed of swarms of other agents in nested structures.

Verification of Computer Simulation Models

The problem of validating computer simulation models of industrial systems has received only limited attention in the management science literature, so the writings of economists who have been concerned with testing the validity of economic models are considered.

Simulation Modeling and Analysis

The text is designed for a one-term or two-quarter course in simulation offered in departments of industrial engineering, business, computer science and operations research.

The epitheliome: agent-based modelling of the social behaviour of cells.


Overall, visual debugging integrates general principles of software engineering and specific requirements for modeling ecological systems and would therefore contribute to establishing an improved culture of analyzing, understanding, and communicating bottom‐up simulation models.

Validation of models: statistical techniques and data availability

  • J.P.C. Kleijen
  • Computer Science
    WSC'99. 1999 Winter Simulation Conference Proceedings. 'Simulation - A Bridge to the Future' (Cat. No.99CH37038)
  • 1999
This paper shows which statistical techniques can be used to validate simulation models, depending on which real-life data are available, and examples of these techniques are presented.

An experimenter's perspective on validating codes and models with experiments having shock-accelerated fluid interfaces

  • R. Benjamin
  • Computer Science
    Computing in Science & Engineering
  • 2004
This article discusses several experiments designed to validate the capability of a fluid simulation code - called a hydrocode - to calculate the complex flow of a fluids interface accelerated by a shock wave.