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

提案编号：0820061/0820034/0820230标题：物理耦合软件的设计和运行时技术PI：Ramesh Govindan (USC)、Rajesh Gupta (UCSD)、Mani Srivastava (UCLA) 和 Paulo Tabuada (UCLA) 摘要：许多现实世界的系统都深深嵌入到物理世界中，它们的操作行为很大程度上取决于部分原因是系统组件和物理环境之间的紧密耦合。该项目旨在通过关注分布式传感和控制应用背景下的四个挑战，为此类物理耦合系统建立管理软件的科学原理：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.