 |
| Home | About Us | Projects | People | Documents | Courses | Internal |
| Project Details: Lighthouse | ||
| TITLE | ||
|
Lighthouse | ||
|
SUMMARY | ||
|
Many sensor network systems expose general interfaces to system developers for dynamically creating and/or manipulating resources of various kinds. While these interfaces allow programmers to accomplish common system tasks simply and efficiently, they also admit the potential for programmers to mismanage resources, for example through leaked resources or improper resource sharing. These kinds of errors are particularly problematic for sensor networks, given the resource constraints and lack of memory protection on current sensor platforms. Lighthouse is a static analysis technique that brings the safety of static resource management to systems that dynamically manage resources. Our analysis is based on the observation that sensor network applications often manipulate resources in a producer-consumer pattern. In this style, each resource has a unique owner component at any given point in time, who has both the sole capability to manipulate the resource and the responsibility to properly dispose of the resource or transfer ownership to another component. Our analysis enforces this ownership discipline on components at compile time. | ||
|
PERSONNEL | ||
|
• Majumdar, Rupak (Other) • Markstrum, Shane (Other) • Millstein, Todd (Other) • Shea, Roy (Ph.D. Student) |
||
|
DOCUMENTS | ||
|
•
Nupur Kothari,
Roy S Shea,
"Writing Programs that Work,"
CENS 2007 ARR
,
October 2007.
(TR-UCLA-NESL-200710-01)
•
Roy S Shea,
Todd Millstein,
Rupak Majumdar,
Mani B Srivastava,
"Static Analysis of Bottom Tier Sensor Networks,"
CENS ARR
,
May 2007.
(TR-UCLA-NESL-200705-01)
•
Roy S Shea,
"Software Analysis for Wireless Sensor Networks,"
March 2007.
(TR-UCLA-NESL-200703-07)
•
Roy S Shea,
"Work Related to Lighthouse,"
March 2007.
(TR-UCLA-NESL-200703-08)
•
Roy S Shea,
Shane Markstrum,
Todd Millstein,
Rupak Majumdar,
Mani B Srivastava,
"Static Checking for Dynamic Resource Management in Sensor Network Systems,"
November 2006.
(TR-UCLA-NESL-200611-02)
|
||
|
WEBSITE | ||
|
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 |
|