Skip to main content
Article thumbnail
Location of Repository

The engineering of concurrent simulations of complex systems

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

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

Topics: QA76
Publisher: IEEE Press
Year: 2009
OAI identifier: oai:kar.kent.ac.uk:24107

Suggested articles

Citations

  1. (2008). A CSP Model for Mobile Channels,”
  2. (1997). A Design Strategy for Deadlock-Free Concurrent Systems,”
  3. (2007). A process-oriented architecture for complex system modelling,” doi
  4. (1999). A theory-based conceptual terminology for M&S VV&A,” Arizona Center for Integrative Modeling and Simulation,
  5. (1999). Agent-based computational models and generative social science,” doi
  6. (2005). An architecture for modelling emergence in CA-like systems,” doi
  7. (1999). Arguing safety – a systematic approach to managing safety cases,”
  8. Argumentation and the design of emergent systems,” working paper, available at wwwusers.cs.york.ac.uk/˜fiona/PUBS/Arguments.pdf.
  9. (1995). Artificial life as theoretical biology: How to do real science with computer simulation,”
  10. (2005). Communicating mobile processes: introducing occam-pi,” in 25 doi
  11. (1985). Communicating Sequential Processes. doi
  12. (2008). Complex systems models: Engineering simulations,” in ALife XI.
  13. (2006). Computational modelling, explicit mathematical treatments, and scientific explanation,” in Artificial Life X.
  14. (2007). Concurrency in biological modeling: Behavior, execution and visualization,” doi
  15. (2007). Design and development of dependability case architecture during system development,”
  16. (2008). Engineering safetycritical complex systems,”
  17. (2004). Evaluation of agent-oriented software methodologies – examination of the gap between modeling and platform,” doi
  18. (2007). Explaining a complex living system: dynamics, multi-scaling and emergence,” doi
  19. (2008). Framework for empirical exploration of emergence using multi-agent simulation,”
  20. (2007). Getting to the site of inflammation: the leukocyte adhesion cascade updated,” doi
  21. (2008). Investigating patterns for the processoriented modelling and simulation of space in complex systems,”
  22. (1991). Object-Oriented Modelling and Design. doi
  23. (2003). Prometheus: A methodology for developing intelligent agents,” doi
  24. (2005). Reactive Animation: realistic modeling of complex dynamic systems,” doi
  25. (2005). Security analysis with deviational techniques,”
  26. (2008). Simulating biology: towards understanding what the simulation shows,”
  27. (2000). Simulation models as opaque thought experiments,” in Articial Life VII.
  28. (1999). The Pi Calculus. doi
  29. (2000). The principled design of computer system safety analyses,”
  30. (2003). The safety of software – constructing and assuring arguments,”
  31. (1986). The use of graphical models in model validation,” doi
  32. (2002). The view from elsewhere: Perspectives on alife modelling,” doi
  33. (2007). Towards evidence-based architectural design for safety-critical software applications,” doi
  34. (2008). Two-Way Protocols for occam-π,” in Communicating Process Architectures
  35. (2007). Using simulation for systems of systems hazard analysis,” doi
  36. (2006). Using UML, 2nd ed.
  37. (2005). Verification and validation of simulation models,” doi
  38. (1990). Version 4 Reference Manual.

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