Collaborative Research: Design and Run-time Techniques for Physically Coupled Software

提案编号：0820061/0820034/0820230标题：物理耦合软件的设计和运行时技术PI：Ramesh Govindan（南加州大学），Rajesh Gupta（加州大学圣地亚哥分校），Mani Srivastava（加州大学洛杉矶分校）和Paulo Tabuada（加州大学洛杉矶分校）摘要：许多现实世界的系统深深地嵌入在物理世界中，它们的操作行为在很大程度上取决于系统组件和物理环境之间的紧密耦合。该项目旨在通过关注分布式传感和控制应用背景下的四个挑战来建立管理这种物理耦合系统的软件的科学原则：1）以编程结构的形式支持物理上下文，使应用软件能够显式地捕获物理世界的状态作为嵌入式计算中的可观察对象; 2）用于组成通过物理世界间接地彼此交互的软件模块的形式化方法，以及可证明地强制执行组成的正确性的运行时安全监督器; 3）编程结构，以使得能够设计和验证具有资源供应的应用，所述资源供应由物理环境驱动并适应物理环境。4）系统软件支持在分布式环境中共享物理耦合的传感器和执行器资源。此外，针对物理耦合计算系统中的主题教学的教育技术正在探索通过创建共享的教育内容的形式，自包含的可重复使用的模块。

Proposal Number: 0820061/0820034/0820230TITLE: Design and Run-time Techniques for Physically Coupled SoftwarePIs: Ramesh Govindan (USC), Rajesh Gupta (UCSD), Mani Srivastava (UCLA), and Paulo Tabuada (UCLA)ABSTRACT:Many real-world systems are deeply embedded in the physical world and their operational behavior is determined in large part by a tight coupling between the system components and the physical environment. This project seeks to establish the scientific principles governing software for such physically-coupled systems by focusing on four challenges in the context of distributed sensing and control applications: 1) Support for physical context in the form of programming structures that enable application software to explicitly capture the state of the physical world as an observable in an embedded computation; 2) Formal methods for composing software modules that indirectly interact with each other through the physical world, and a run-time safety supervisor that provably enforces correctness of composition; 3) Programming structures to enable design and verification of applications with resource provisioning that is driven by and adapts to physical-world dynamics; 4) System software support for sharing physically-coupled sensor and actuator resources in distributed settings. In addition, educational techniques targeting the teaching of topics in physically-coupled computational systems are being explored by creating shared educational content in the form of self-contained reusable modules.