Composing Programs that Work

Presentation Transcript

Composing Programs that Work Nupur Kothari University of Southern California Roy Shea University of California, Los Angeles

Introduction Sensor organize arrangements are getting more progressed and convoluted Images, video nourishes from cameras in sensor systems Writing programs for these organizations additionally getting more entangled Need for new advancements that streamline programming for conveyed detecting

Studying reptiles at the James Reserve

Deployment at James Reserve

Programming Challenges Resource effectiveness Energy productive correspondence Memory proficiency Reliability Data ought to be reliably taken care of Coordination among hubs required Failure recuperation Detect and manage startling disappointments

The Consequence of Failure Data might be lost, and application may crash Most software engineer mistakes at last result in hub disappointments or sudden application conduct

How to maintain a strategic distance from these blunders Our Proposals Use static program examination methods to create notices for code that may bring about mistakes amid execution Develop new dialects to dodge a portion of the software engineer created mistakes Current Technique Perform broad pre-sending testing (experimentation) and alter the mistakes got Onus is on the developer to catch every single conceivable mistake Lighthouse Pleiades

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

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

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

Lighthouse: Static Analysis Analyzed program is not executed Analysis is free of execution way Not one-sided by designer desires Find every conceivable mistake Lighthouse Sensor Network Program Display Potential Program Errors to Developer

Lighthouse: Programming Challenges Addressed Resource proficiency Energy proficient correspondence Memory effectiveness Reliability Data ought to be reliably taken care of Coordination among hubs required Failure recuperation Detect and manage surprising disappointments

Pleiades: another approach to compose programs Conventional sensor net programming Node-level program written in nesC Compiled to executable

Pleiades: another approach to compose programs Programming utilizing Pleiades Central program that determines application conduct Compiler Node-level program written in nesC + Runtime Compiled to executable Lets the software engineer concentrate on application semantics

Pleiades: Programming Challenges Addressed Resource productivity Energy effective correspondence Memory productivity Reliability Data ought to be reliably taken care of Coordination among hubs required Failure recuperation Detect and manage unforeseen disappointments

Conclusions Programming sensor systems is inalienably hard Employing procedures created in the Programming Languages/Compilers people group to sensor organize projects can fundamentally lessen the weight of the software engineer Lighthouse: https://projects.nesl.ucla.edu/open/beacon/Pleiades: http://kairos.usc.edu

Thank You!