DocumentCode
2499159
Title
A layered behavioural model of platelets
Author
Schneider, Steve ; Cavalcanti, Ana ; Treharne, Helen ; Woodcock, Jim
Author_Institution
Dept. of Comput., Surrey Univ.
fYear
0
fDate
0-0 0
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 nano-robots. 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
Keywords
biology computing; communicating sequential processes; medical robotics; nanotechnology; CSP; artificial platelet; clotting behaviour; communicating sequential processes; nanomedicine application; nanorobot; nanotechnology; Application software; Blood; Coagulation; Computational modeling; Computer science; Medical simulation; Nanotechnology; Physics computing; Protocols; Safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on
Conference_Location
Stanford, CA
Print_ISBN
0-7695-2530-X
Type
conf
DOI
10.1109/ICECCS.2006.1690359
Filename
1690359
Link To Document