Collaborative Research: CSR-EHCS(CPS), TM: Teleolog: Certified Software for Medical Robotics

合作研究：CSR-EHCS(CPS)，TM：Teleolog：医疗机器人认证软件

• 批准号: 0834812
• 负责人: Luca De Alfaro
• 金额: $ 19.18万
• 依托单位: University of California-Santa Cruz
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-15 至 2011-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0834812&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; EHCS; CPS

Healthcare is 16% of the United States Gross Domestic Product. Technology in the form of medical devices as well as health informatics is critical to improving the quality and reliability of care and the reduction of cost. Medical devices are increasingly controlled by software, and failures in the software can often be life-threatening.Medical devices are instances of cyber-physical systems that operate in both the physical and virtual world. The scientific challenge is to demonstrate that the combined cyber-physical system is safe for its intended purpose. The Teleolog project takes on the challenge of certifying the safety of SRI's M7 system for robotic telesurgery. TheM7 medical robot allows a surgeon to perform telesurgery by manipulating the master controls in order to mobilize two robot arms at the slave station connected through a network. The project takes an explicit, evidence-based approach that leans heavily on formal verification technology for modeling and analyzing the electronic and physical components, the human user, the software control, as well as the interaction between these components. The certification effort reengineers the M7 software to develop a formal assurance case for the safety and resiliency of the system. The models, formats, tools, and certification techniques developed during the certification of M7 can be employed in the certification of other cyber-physical systems. The project also develops course material, case studies, and training kits for educating students in the design and analysis of cyber-physical systems, evidence-based software certification, and resiliency engineering.

医疗保健是美国总生产总值的16％。 医疗设备以及健康信息学形式的技术对于提高护理的质量和可靠性和降低成本至关重要。 医疗设备越来越受软件控制，并且软件中的故障通常可能会威胁生命。医疗设备是在物理和虚拟世界中运行的网络物理系统的实例。 科学挑战是证明联合的网络物理系统对于其预期目的是安全的。 该目录项目面临着证明SRI M7机器人伸缩系统安全性的挑战。 Them7 Medical机器人允许外科医生通过操纵主控件来进行伸缩，以便通过网络连接的从奴隶站动员两个机器人臂。 该项目采用了一种明确的，基于证据的方法，该方法在很大程度上依靠正式的验证技术，用于建模和分析电子和物理组件，人类用户，软件控制以及这些组件之间的相互作用。 认证工作重新设计了M7软件，以制定用于系统安全性和弹性的正式保证案例。 在M7认证期间开发的模型，格式，工具和认证技术可用于其他网络物理系统的认证。 该项目还开发了课程材料，案例研究和培训套件，以对学生进行网络物理系统的设计和分析，基于证据的软件认证和弹性工程的教育。