血小板的分层行为模型

11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) Pub Date : 2006-08-15 DOI:10.1109/ICECCS.2006.80

Steve A. Schneider, H. Treharne, Ana Cavalcanti, J. Woodcock

{"title":"血小板的分层行为模型","authors":"Steve A. Schneider, H. Treharne, Ana Cavalcanti, J. Woodcock","doi":"10.1109/ICECCS.2006.80","DOIUrl":null,"url":null,"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","PeriodicalId":269321,"journal":{"name":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":"{\"title\":\"A layered behavioural model of platelets\",\"authors\":\"Steve A. Schneider, H. Treharne, Ana Cavalcanti, J. Woodcock\",\"doi\":\"10.1109/ICECCS.2006.80\",\"DOIUrl\":null,\"url\":null,\"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\",\"PeriodicalId\":269321,\"journal\":{\"name\":\"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-08-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"22\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.2006.80\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.2006.80","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 22

摘要

人们对纳米技术在医学上的应用很感兴趣，但是对安全的关注是最重要的。我们提出了一种基于CSP和B的建模技术，作为纳米机器人网络仿真的起点。该模型和模拟是我们提出的纳米医学应用安全案例构建方法的核心特征，以及一般合作组件的复杂网络。我们的工作是基于一个案例研究:(人工)血小板的凝血行为。我们提出了一个模型，并讨论了它的分析和使用

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A layered behavioural model of platelets

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

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量