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

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

• 批准号: 0720682
• 负责人: Paul Hudak
• 金额: --
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-08-01 至 2011-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720682&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.

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