School of Computing

Simulating biology: towards understanding what the simulation shows

Paul S. Andrews, Fiona Polack, Adam T. Sampson, Lisa Scott, and Mark Coles

In Susan Stepney, Fiona Polack, and Peter Welch, editors, Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008, pages 182-196. Luniver Press, September 2008.

Abstract

When building simulations of complex systems the task of validation is often overlooked. Validation helps provide confidence in the simulation by exploring the link between the models that we build and the real complex system. We investigate software engineering validation techniques from outside the area of complex systems to assess their applicability for the types of simulation we build. We then provide an example of how such techniques can be applied to a complex systems simulation of cells migrating from blood vessels into lymph nodes through the walls of the blood vessels. We suggest that explicitly stating the modelling and simulation assumptions we make is key to the process of validation. Concluding, we highlight a possible process for validating complex systems that explicitly incorporates environmental aspects.

Download publication 1449 kbytes (PDF)

Bibtex Record

@inproceedings{2917,
author = {Paul S. Andrews and Fiona Polack and Adam T. Sampson and Lisa Scott and Mark Coles},
title = {Simulating biology: towards understanding what the simulation shows},
month = {September},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2917},
    publication_type = {inproceedings},
    submission_id = {6056_1243433244},
    ISBN = {978-1-905986-17-0},
    booktitle = {Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008},
    editor = {Susan Stepney and Fiona Polack and Peter Welch},
    publisher = {Luniver Press},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014