1 / 17

Writing Programs that Work

Writing Programs that Work. Nupur Kothari University of Southern California. Roy Shea University of California, Los Angeles. Introduction. Sensor network deployments are getting more advanced and complicated Images, video feeds from cameras in sensor networks

Download Presentation

Writing Programs that Work

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Writing Programs that Work Nupur Kothari University of Southern California Roy Shea University of California, Los Angeles

  2. Introduction • Sensor network deployments are getting more advanced and complicated • Images, video feeds from cameras in sensor networks • Writing programs for these deployments also getting more complicated • Need for new technologies that simplify programming for distributed sensing

  3. Studying lizards at the James Reserve

  4. Deployment at James Reserve

  5. Programming Challenges • Resource efficiency • Energy efficient communication • Memory efficiency • Reliability • Data should be consistently handled • Coordination among nodes needed • Failure recovery • Detect and deal with unexpected failures

  6. The Consequence of Failure Data may be lost, and application may crash Most programmer errors ultimately result in node failures or unexpected application behavior

  7. How to avoid these errors Our Proposals • Use static program analysis techniques to generate warnings for code that may cause errors during execution • Develop new languages to avoid some of the programmer generated errors Current Technique • Perform extensive pre-deployment testing (trial and error) and fix the errors caught • Onus is on the programmer to catch all possible errors Lighthouse Pleiades

  8. Lighthouse: Static Analysis Lighthouse Sensor Network Program Display Potential Program Errors to Developer

  9. Lighthouse: Static Analysis Lighthouse Sensor Network Program Display Potential Program Errors to Developer

  10. Lighthouse: Static Analysis Lighthouse Sensor Network Program Display Potential Program Errors to Developer

  11. Lighthouse: Static Analysis • Analysed program is not executed • Analysis is independent of execution path • Not biased by developer expectations • Find all possible errors Lighthouse Sensor Network Program Display Potential Program Errors to Developer

  12. Lighthouse: Programming Challenges Addressed • Resource efficiency • Energy efficient communication • Memory efficiency • Reliability • Data should be consistently handled • Coordination among nodes needed • Failure recovery • Detect and deal with unexpected failures

  13. Pleiades: A new way to write programs Conventional sensor net programming Node-level program written in nesC Compiled to executable

  14. Pleiades: A new way to write programs Programming using Pleiades Central program that specifies application behavior Compiler Node-level program written in nesC + Runtime Compiled to executable Lets the programmer focus on application semantics

  15. Pleiades: Programming Challenges Addressed • Resource efficiency • Energy efficient communication • Memory efficiency • Reliability • Data should be consistently handled • Coordination among nodes needed • Failure recovery • Detect and deal with unexpected failures

  16. Conclusions • Programming sensor networks is inherently hard • Employing techniques developed in the Programming Languages/Compilers community to sensor network programs can significantly reduce the burden of the programmer • Lighthouse: https://projects.nesl.ucla.edu/public/lighthouse/ • Pleiades: http://kairos.usc.edu

  17. Thank You!

More Related