LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Polack, Fiona A.C.; Andrews, Paul S.; Sampson, Adam T. (2009)
Publisher: IEEE Press
Languages: English
Types: Unknown
Subjects: QA76
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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [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-π,” 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.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Funded by projects

Cite this article