Name: SRS

Title: Design and Run-time Techniques for Physically Coupled Software

Description: <p> This web site contains information about the project "Design and Run-time Techniques for Physically Coupled Software" funded by the NSF Software for Real-world Systems program. This is a collaboration of NESL with research groups of Ramesh Govindan at USC, Rajesh Gupta at UCSD, and Paulo Tabuada at UCLA. <p>The research in this project seeks to establish the scientific principles governing software for real-world systems that are deeply embedded in the physical world, and whose operational behavior is determined in large part by a tight coupling between the system components and the physical environment. This objective is being accomplished 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. <p>This material is based upon work supported by the NSF under awards # CCF-0820061, CCF-0820034, and CCF-0820230. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the NSF.

Isactive: true

Url:

Miscattributes:

Main research area: #<ResearchArea:0x007f418d328518>

Edit | Back