A Layered Behavioural Model of Platelets

Authors:
Steve Schneider;Helen Treharne;Ana Cavalcanti;Jim Woodcock
Affiliations:
University of Surrey, UK;University of Surrey, UK;University of York, UK;University of York, UK
Venue:
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Year:
2006

Citing 0
Cited 2

Combinators for message-passing in Haskell

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Relaxing b sharing restrictions within CSP||B

SC'12 Proceedings of the 11th international conference on Software Composition

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.