TItle: Design and Run-time Techniques for Physically Coupled Software
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.
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.
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.
Status: Active Project
Main Research Area: Embedded Software