School of Computing

The engineering of concurrent simulations of complex systems

Fiona A.C. Polack, Paul S. Andrews, and Adam T. Sampson

In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 182-196. IEEE Press, May 2009.

Abstract

Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which may itself be complex). There is little guidance for engineering complex systems simulation. In the context of simulation work to support immunological research, we explore relevant approaches to modelling, and draw on concepts from dependable and high-integrity systems engineering, including the emphasis on the need to validate all aspects of the simulation.

Download publication 179 kbytes (PDF)

Bibtex Record

@inproceedings{2918,
author = {Fiona A.C. Polack and Paul S. Andrews and Adam T. Sampson},
title = {The engineering of concurrent simulations of complex systems},
month = {May},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2918},
    publication_type = {inproceedings},
    submission_id = {6270_1243433595},
    ISBN = {978-1-4244-2959-2},
    booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
    publisher = {IEEE 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