The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Stanford, California
Aug. 15, 2006 to Aug. 17, 2006
ISBN: 0-7695-2530-X
pp: 98-106
Steve Schneider , University of Surrey, UK
Helen Treharne , University of Surrey, UK
Ana Cavalcanti , University of York, UK
Jim Woodcock , University of York, UK
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.
INDEX TERMS
null
CITATION
Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock, "A Layered Behavioural Model of Platelets", Engineering of Complex Computer Systems, IEEE International Conference on, vol. 00, no. , pp. 98-106, 2006, doi:10.1109/ICECCS.2006.1690359
94 ms
(Ver 3.3 (11022016))