Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems

合作研究：CSR/EHS：构建物理安全的嵌入式系统

• 批准号: 0720857
• 负责人: Walid Taha
• 金额: $ 47.5万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-08-01 至 2012-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720857&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; EHS; Building

Some of the most exciting cyber technologies on the research horizon involve sophisticated digital systems that interact with the physical world. Examples include remote surgery, physical manipulation of nano-structures, autonomous (ground and air) vehicular travel, and space and terrestrial exploration. Because such applications interact directly with the physical world, it is imperative their physical safety be assured. This project is developing a comprehensive formal framework for producing controllers for cyber-physical systems, with machine checkable proofs of their physical safety. The project brings together ideas from control theory, language design, program verification, program generation, software engineering, and real-time and embedded systems to build a framework that can be applied to challenging applications. The framework promotes an efficient, rigorous engineering process for producing embedded controllers, incorporating explicit models not only of the controller itself, but also of the physical context in which it operates, the required stability conditions, the platform on which it will run, and the associated real-time constraints. The results of the project are being demonstrated and evaluated in the context of a tele-surgery application. This application is currently being developed at the Mechatronics and Haptic Interfaces Lab in the Mechanical Engineering Department at Rice University.

研究视野中一些最令人兴奋的网络技术涉及与物理世界互动的复杂数字系统。 例子包括远程手术，对纳米结构的身体操纵，自动驾驶（地面和空气）车辆旅行以及太空和陆地探索。 由于此类应用与物理世界直接相互作用，因此必须确保它们的身体安全。 该项目正在开发一个全面的正式框架，用于为网络物理系统生产控制器，并具有可检查其物理安全的证据。 该项目汇集了控制理论，语言设计，程序验证，程序生成，软件工程以及实时和嵌入式系统的想法，以构建一个可以应用于具有挑战性应用程序的框架。 该框架促进了一个高效，严格的工程过程，用于生产嵌入式控制器，不仅合并了控制器本身的明确模型，还包括其操作的物理环境，所需的稳定性条件，运行的平台以及相关的实时约束。 该项目的结果正在通过远程手术应用中进行证明和评估。 该应用程序目前正在赖斯大学机械工程系的机械和触觉界面实验室中开发。