 |
| Home | About Us | Projects | People | Documents | Courses | Internal |
| Project Details: SRS | ||
| TITLE | ||
|
Design and Run-time Techniques for Physically Coupled Software | ||
|
SUMMARY | ||
|
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. | ||
|
PERSONNEL | ||
|
• Balani, Rahul (Ph.D. Student) • Charbiwala, Zainul (Ph.D. Student) • Davitian, Anna (Alum) • Govindan, Ramesh (Collaborator) • Gupta, Rajesh (Collaborator) • Jin, Zhong-Yi (Other) • Lin, Kaisen (Other) • Mazo, Manuel (Other) • Patel, Parth (M.S. Student) • Shea, Roy (Ph.D. Student) • Srivastava, Mani (Faculty) • Sugihara, Ryo (Other) • Tabuada, Paulo (Collaborator) • Vieira, Marcos (Other) • Wanner, Lucas (Ph.D. Student) • Weng, Thomas (Other) • Zamani, Majid (Other) |
||
|
DOCUMENTS | ||
|
•
Zainul M Charbiwala,
Younghun Kim,
Sadaf Zahedi,
Jonathan Friedman,
Mani B Srivastava,
"Energy Efficient Sampling for Event Detection in Wireless Sensor Networks,"
Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED)
,
August 2009.
(TR-UCLA-NESL-200905-03)
•
Roy S Shea,
Mani B Srivastava,
Young H Cho,
"Optimizing Bandwidth of Call Traces for Wireless Embedded Systems,"
IEEE Embedded Systems Letters (submitted)
,
June 2009.
(TR-UCLA-NESL-200906-03)
•
Roy S Shea,
Young H Cho,
Mani B Srivastava,
"LIS is More: Improved Diagnostic Logging in Sensor Networks with Log Instrumentation Specifications,"
Under submission
,
June 2009.
(TR-UCLA-NESL-200906-01)
•
Roy S Shea,
Young H Cho,
Mani B Srivastava,
"Low Bandwidth Call Trace Logging for Sensor Networks,"
January 2009.
(TR-UCLA-NESL-200901-01)
•
Roy S Shea,
Young H Cho,
Mani B Srivastava,
"Application-Specific Trace Compression for Low Bandwidth Trace Logging,"
Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems (SenSys)
,
November 2008.
(TR-UCLA-NESL-200811-02)
|
||
|
ACTIVE? | ||
|
Yes | ||
© 2009 by Networked & Embedded Systems Laboratory •
University of California, Los Angeles
(Developed using Ruby on Rails, hosted on Mac OS X, and best viewed without Internet Explorer!) Maintained by Mani Srivastava |
|