The engineering of concurrent simulations of complex systems

2009 IEEE Congress on Evolutionary Computation, CEC 2009

Volumn , Issue , 2009, Pages 217-224

  Polack, Fiona A C ^a   Andrews, Paul S ^a   Sampson, Adam T ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEMS; CONCURRENT PROCESS; CONCURRENT SIMULATION; HIGH-INTEGRITY SYSTEMS;

SYSTEMS ENGINEERING;

LARGE SCALE SYSTEMS;

EID: 70449926889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CEC.2009.4982951     Document Type: Conference Paper

References (38)

1. R. Alexander, "Using simulation for systems of systems hazard analysis," Ph.D. dissertation, Department of Computer Science, University of York, 2007.
2. G. F. Miller, "Artificial life as theoretical biology: How to do real science with computer simulation," School of Cognitive and Computing Sciences, University of Sussex, Tech. Rep. Cognitive Science Research Paper 378, 1995.
3. E. D. Paolo, J. Noble, and S. Bullock, "Simulation models as opaque thought experiments," in Articial Life VII. MIT Press, 2000, pp. 497-506.
4. M. Wheeler, S. Bullock, E. D. Paolo, J. Noble, M. Bedau, P. Husbands, S. Kirby, and A. Seth, "The view from elsewhere: Perspectives on alife modelling," Artificial Life, vol.8, no.1, pp. 87-100, 2002.
5. J. Bryden and J. Noble, "Computational modelling, explicit mathematical treatments, and scientific explanation," in Artificial Life X. MIT Press, 2006, pp. 520-526.
6. J. M. Epstein, "Agent-based computational models and generative social science," Complexity, vol.4, no.5, pp. 41-60, 1999.
7. P. S. Andrews, A. T. Sampson, J. M. Bjorndalen, S. Stepney, J. Timmis, D. N. Warren, and P. H. Welch, "Investigating patterns for the processoriented modelling and simulation of space in complex systems," in Artificial Life XI. MIT Press, 2008.
8. C. G. Ritson and P. H. Welch, "A process-oriented architecture for complex system modelling," in Communicating Process Architectures 2007, vol.65. IOS Press, 2007, pp. 249-266.
9. J. Sudeikat, L. Braubach, A. Pokahr, and W. Lamersdorf, "Evaluation of agent-oriented software methodologies - examination of the gap between modeling and platform," in AOSE 2004, ser. LNCS, vol.3382. Sringer, 2004, pp. 126-141.
10. L. Padgham and M. Winikoff, "Prometheus: A methodology for developing intelligent agents," in AOSE III, ser. LNCS, vol.2585. Springer, 2003, pp. 174-185.
11. CCTA, SSADM Version 4 Reference Manual. NCC Blackwell Ltd, 1990.
12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modelling and Design. Prentice Hall, 1991.
13. P. Stevens and R. Pooley, Using UML, 2nd ed. Pearson, 2006.
14. O. Paunovski, G. Eleftherakis, and T. Cowling, "Framework for empirical exploration of emergence using multi-agent simulation," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, pp. 1-31.
15. P. S. Andrews, F. Polack, A. T. Sampson, J. Timmis, L. Scott, and M. Coles, "Simulating biology: towards understanding what the simulation shows," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, pp. 93-123.
16. R. G. Sargent, "Verification and validation of simulation models," in 37th Winter Simulation Conference. ACM, 2005, pp. 130-143.
17. -, "The use of graphical models in model validation," in 18th Winter Simulation Conference. ACM, 1986, pp. 237-241.
18. F. Polack, S. Stepney, H. Turner, P. Welch, and F. Barnes, "An architecture for modelling emergence in CA-like systems," in ECAL, ser. LNAI, vol.3630. Springer, 2005, pp. 433-442.
19. F. A. C. Polack, T. Hoverd, A. T. Sampson, S. Stepney, and J. Timmis, "Complex systems models: Engineering simulations," in ALife XI. MIT press, 2008.
20. B. P. Zeigler, "A theory-based conceptual terminology for M&S VV&A," Arizona Center for Integrative Modeling and Simulation, Tech. Rep. 99S-SIW-064, 1999, www.acims.arizona.edu/PUBLICATIONS/publications.shtml.
21. P. Welch and F. Barnes, "Communicating mobile processes: introducing occam-pi," in 25 Years of CSP, ser. LNCS, vol.3525. Springer, 2005, pp. 175-210.
22. C. Hoare, Communicating Sequential Processes. Prentice-Hall, 1985.
23. R. Milner, The Pi Calculus. Cambridge University Press, 1999.
24. A. T. Sampson, "Two-Way Protocols for occam-p," in Communicating Process Architectures 2008, WoTUG. IOS Press, 2008, pp. 85-97.
25. J. Martin and P. Welch, "A Design Strategy for Deadlock-Free Concurrent Systems," Transputer Communications, vol.3, no.4, 1997.
26. P. Welch and F. R. Barnes, "A CSP Model for Mobile Channels," in Communicating Process Architectures 2008, WoTUG. IOS Press, 2008, pp. 17-33.
27. D. Harel, Y. Setty, S. Efroni, N. Swerdlin, and I. R. Cohen, "Concurrency in biological modeling: Behavior, execution and visualization," in FBTC 2007, ser. ENTCS, vol.194, no.3. Elsevier, 2007, pp. 119-131.
28. S. Efroni, D. Harel, and I. R. Cohen, "Reactive Animation: realistic modeling of complex dynamic systems," IEEE Computer, vol.38, no.1, pp. 38-47, 2005.
29. I. R. Cohen and D. Harel, "Explaining a complex living system: dynamics, multi-scaling and emergence," Journal of the Royal Society Interface, vol.4, pp. 175-182, 2007.
30. K. Ley, C. Laudanna, M. I. Cybulsky, and S. Nourshargh, "Getting to the site of inflammation: the leukocyte adhesion cascade updated," Nature Reviews Immunology, vol.7, no.9, pp. 678-689, 2007.
31. T. P. Kelly, "Arguing safety - a systematic approach to managing safety cases," Ph.D. dissertation, Department of Computer Science, University of York, 1999, yCST 99/05.
32. R. A. Weaver, "The safety of software - constructing and assuring arguments," Ph.D. dissertation, Department of Computer Science, University of York, 2003, yCST-2004-01.
33. G. Despotou and T. Kelly, "Design and development of dependability case architecture during system development," in 25th International System Safety Conference. System Safety Society, 2007.
34. R. Alexander, R. Alexander-Bown, and T. Kelly, "Engineering safetycritical complex systems," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, pp. 33-63.
35. F. Polack, "Argumentation and the design of emergent systems," working paper, available at wwwusers.cs.york.ac.uk/fiona/PUBS/Arguments.pdf.
36. W. Wu and T. Kelly, "Towards evidence-based architectural design for safety-critical software applications," in Architecting Dependable Systems, ser. LNCS, vol.4615. Springer, 2007.
37. D. J. Pumfrey, "The principled design of computer system safety analyses," Ph.D. dissertation, Department of Computer Science, University of York, 2000, yCST 2000/05.
38. T. Srivatanakul, "Security analysis with deviational techniques," Ph.D. dissertation, Department of Computer Science, University of York, UK, 2005, yCST-2005-12.