Communicating complex systems

Welch, Peter; Barnes, Frederick R.M.; Polack, Fiona

doi:10.1109/iceccs.2006.1690360

Cited by 8 publications

(10 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(4) To investigate the nature of safety cases for the use of networks of devices. In this paper, we discuss (1) and (2), while (3) and (4) are discussed elsewhere [14,17,11,16].…”

Section: Discussionmentioning

confidence: 99%

“…Through the visualisations in [3] the emergent behaviour of the individual interactions of individual stem cells has been observed. We have also developed visualisation of our formal models using Occam [17] so that we can observe the movement and clumping of platelets amd that the platelets induce haemostasis.…”

Section: Discussionmentioning

confidence: 99%

“…Using a simulation platform, we can conduct large-scale experiments to study the emergence of properties such as haemostasis. Initial results are presented in a companion paper [17].…”

Section: Applications and Experimentsmentioning

confidence: 99%

See 2 more Smart Citations

A layered behavioural model of platelets

Schneider

Cavalcanti

Treharne

et al.

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)

View full text Add to dashboard Cite

There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting point for simulation of networks of nanorobots. The model and the simulations are central features of our proposed approach to the construction of safety cases for nanomedicine applications, and complex networks of cooperating components in general.Our work is based on a case study: the clotting behaviour of (artificial) platelets. We present a model, and discuss its analysis and uses.

show abstract

“…(4) To investigate the nature of safety cases for the use of networks of devices. In this paper, we discuss (1) and (2), while (3) and (4) are discussed elsewhere [14,17,11,16].…”

Section: Discussionmentioning

confidence: 99%

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

A layered behavioural model of platelets

Schneider

Cavalcanti

Treharne

et al.

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)

View full text Add to dashboard Cite

show abstract

“…To this end, we have produced simple CA-based models, and mobile process models, of platelets forming clots. Two other papers in these proceedings describe other features of the TUNA project: Schneider et al [40] describe the abstract CSP B formal models; Welch et al [48] describe the occam-π simulation framework. Here we discuss the engineering architecture.…”

Section: Tuna Project Overviewmentioning

confidence: 98%

“…TUNA CA platelet simulation [35,40,47,48]. The system is a collection of platelets moving and clotting.…”

Section: An Architecturementioning

confidence: 99%

Engineering emergence

Stepney¹,

Polack²,

Turner³

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)

Self Cite

View full text Add to dashboard Cite

We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might engineer emergent systems. We discuss the TUNA ("Theory Underpinning Nanotech Assemblers") project, which is investigating emergent engineering in the context of molecular nanotechnology, and use the TUNA case study to explore an architecture suitable for emergent complex systems.

show abstract

A process‐oriented architecture for complex system modelling

Ritson

Welch

2010

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYA fine-grained massively parallel and process-oriented architecture for the modelling of complex systems is presented. We propose that the concurrency in the model simplifies its design and construction by directly reflecting the processes in the natural world. The architecture is based on CSP, extended with mechanisms for process mobility from the pi-calculus; implementations are presented using the occam-pi language. A case study, modelling platelets (possibly artificial) within a blood vessel, is described. The aim for this model is to engineer emergent behaviour: the clotting of platelets in response to a wound in the blood vessel wall and the staunching of blood loss. A three-dimensional model is constructed, along with mechanisms for visualization and interaction. Its expressiveness and efficiency relies strongly on the dynamic and mobile capabilities of occam-pi. General principles for the design of large and complex system models are drawn. The described case study runs to millions of processes engaged in ever-changing communication topologies. It is free from deadlock, livelock, race hazards and starvation by design, employing a small set of synchronization patterns for which we have proven safety theorems. Compiled occam-p codes automatically and efficiently exploit all cores in a shared-memory multiprocessor system. They are also straightforward to distribute over standard cluster architectures.

show abstract

Communicating complex systems

Abstract: Abstract

Cited by 8 publications

References 13 publications

A layered behavioural model of platelets

A layered behavioural model of platelets

Engineering emergence

A process‐oriented architecture for complex system modelling

Contact Info

Product

Resources

About