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

协作研究：物理耦合软件的设计和运行技术

• 批准号: 0820061
• 负责人: Mani Srivastava
• 金额: $ 45万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-15 至 2012-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0820061&HistoricalAwards=false
• 关键词: Collaborative; Research; Design; Run; time

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.

主题：物理耦合软件的设计和运行时技术（pis）： Ramesh Govindan (USC), Rajesh Gupta (UCSD), Mani Srivastava （UCLA）和Paulo Tabuada （UCLA）摘要：许多现实世界的系统深深嵌入到物理世界中，其运行行为在很大程度上取决于系统组件与物理环境之间的紧密耦合。该项目旨在通过关注分布式传感和控制应用环境中的四个挑战，为这种物理耦合系统建立管理软件的科学原则：1)以编程结构的形式支持物理环境，使应用软件能够明确地捕获物理世界的状态，作为嵌入式计算中的可观察对象；2)组成通过物理世界间接相互作用的软件模块的形式化方法，以及可证明加强组成正确性的运行时安全监督；3)编程结构，使应用程序的设计和验证具有由物理世界动态驱动并适应的资源供应；4)系统软件支持在分布式设置中共享物理耦合的传感器和执行器资源。此外，通过以自包含可重用模块的形式创建共享的教育内容，正在探索针对物理耦合计算系统中主题教学的教育技术。