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

提案编号：0820061/0820034/0820230TITLE：物理耦合软件的设计和运行时技术PI：Ramesh Govindan(南加州大学)、Rajesh Gupta(加州大学洛杉矶分校)、Mani Sriastava(加州大学洛杉矶分校)和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.