Composing Programs that Work

Writing programs that work l.jpg
1 / 17
0
0
757 days ago, 287 views
PowerPoint PPT Presentation
Beacon. Sensor Network Program. Show Potential Program. Blunders to Developer ... Beacon: Static Analysis. Beacon. Investigated system is not ...

Presentation Transcript

Slide 1

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

Slide 2

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

Slide 3

Studying reptiles at the James Reserve

Slide 4

Deployment at James Reserve

Slide 5

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

Slide 6

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

Slide 7

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

Slide 8

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

Slide 9

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

Slide 10

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

Slide 11

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

Slide 12

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

Slide 13

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

Slide 14

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

Slide 15

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

Slide 16

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

Slide 17

Thank You!

SPONSORS