Composing Programs that Work Nupur Kothari University of Southern California Roy Shea University of California, Los Angeles
Slide 2Introduction 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
Slide 3Studying reptiles at the James Reserve
Slide 4Deployment at James Reserve
Slide 5Programming 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
Slide 6The 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
Slide 7How 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
Slide 8Lighthouse: Static Analysis Lighthouse Sensor Network Program Display Potential Program Errors to Developer
Slide 9Lighthouse: Static Analysis Lighthouse Sensor Network Program Display Potential Program Errors to Developer
Slide 10Lighthouse: Static Analysis Lighthouse Sensor Network Program Display Potential Program Errors to Developer
Slide 11Lighthouse: 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
Slide 12Lighthouse: 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
Slide 13Pleiades: another approach to compose programs Conventional sensor net programming Node-level program written in nesC Compiled to executable
Slide 14Pleiades: 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
Slide 15Pleiades: 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
Slide 16Conclusions 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
Slide 17Thank You!
SPONSORS
SPONSORS
SPONSORS