Skip to main content
Article thumbnail
Location of Repository

Simulating biology: towards understanding what the simulation shows

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

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

Topics: QA76
Publisher: Luniver Press
Year: 2008
OAI identifier: oai:kar.kent.ac.uk:24106

Suggested articles

Citations

  1. (1999). A theory-based conceptual terminology for m&s vv&a.
  2. Agent-based computational models and generative social science. doi
  3. (2005). An architecture for modelling emergence in CA-like systems. doi
  4. (1985). An exposition on veri and validation of simulation models.
  5. (1985). An exposition on verification and validation of simulation models. doi
  6. (1999). Arguing safety – a systematic approach to managing safety cases.
  7. (1999). Arguing safety { a systematic approach to managing safety cases.
  8. (1995). Arti life as theoretical biology: How to do real science with computer simulation.
  9. (1995). Artificial life as theoretical biology: How to do real science with computer simulation.
  10. (1972). Blood microcirculation in the lymph node during the primary immune response. doi
  11. (2000). Cellular mechanisms of CNS pericytes. doi
  12. (2008). Complex systems models: Engineering simulations.
  13. (2006). Computational modelling, explicit mathematical treatments, and scienti explanation.
  14. (2006). Computational modelling, explicit mathematical treatments, and scientific explanation.
  15. (2008). Concurrency in biological modeling: Behavior, execution and visualization. doi
  16. (2001). Deriving safety requirements using scenarios. doi
  17. (2007). Design and development of dependability case architecture during system development.
  18. (2007). Emergent dynamics of thymocyte development and lineage determination. doi
  19. (2006). Engineering emergence. doi
  20. (2004). Evaluation of agent-oriented software methodologies – examination of the gap between modeling and platform. doi
  21. (2004). Evaluation of agent-oriented software methodologies { examination of the gap between modeling and platform. doi
  22. (2008). Formal methods for biochemical signalling pathways. In Formal Methods: State of the Art and New Directions. doi
  23. (2007). Getting to the site of in ammation: the leukocyte adhesion cascade updated. doi
  24. (2007). Getting to the site of inflammation: the leukocyte adhesion cascade updated. doi
  25. (1995). High endothelial venules (HEVs): specialized endothelium for lymphocyte migration. Immunology Today, doi
  26. (2008). Investigating patterns for the process-oriented modelling and simulation of space in complex systems.
  27. (2004). Lymphocyte tracking across high endothelial venules: dogmas and enigmas. doi
  28. (2004). Lymphocyte trafficking across high endothelial venules: dogmas and enigmas. doi
  29. (2006). Modelling the in uence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. doi
  30. (2006). Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. doi
  31. (1995). No more spineless safety cases: A structured method and comprehensive tool support for the production of safety cases.
  32. (2003). Prometheus: A methodology for developing intelligent agents. doi
  33. (2005). Reactive animation: realistic modeling of complex dynamic systems. doi
  34. (2007). Rule migration: Exploring a design framework for emergence.
  35. (2005). Security Analysis with Deviational Techniques.
  36. (2000). Simulation models as opaque thought experiments.
  37. (2000). The belief-desire-intention model of agency. doi
  38. (2000). The Principled Design of Computer System Safety Analyses.
  39. (2005). The role of pericytes in blood-vessel formation and maintenance. doi
  40. (2003). The Safety of Software – Constructing and Assuring Arguments.
  41. (2003). The Safety of Software { Constructing and Assuring Arguments.
  42. (1986). The use of graphical models in model validation. doi
  43. (2002). The view from elsewhere: Perspectives on alife modelling. doi
  44. (2007). Towards evidence-based architectural design for safety-critical software applications. doi
  45. (2007). Towards veri biological models. doi
  46. (2007). Towards verified biological models. doi
  47. (2007). Using Simulation for Systems of Systems Hazard Analysis. doi
  48. (2005). Veri and validation of simulation models. doi
  49. (2005). Verification and validation of simulation models. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.