rtas_poster
description
Transcript of rtas_poster
Debugging Wireless Sensor Networks using Mobile ActorsRajesh Karmani and Gul Agha
Open Systems Laboratory, University of Illinois at Urbana-Champaign{rkumar8,agha}@cs.uiuc.edu
Forward and Backward Tracking
What bugs are we talking about?
• Node displacement– Can’t do much except localize
• Node f ailure (dead or disabled)– Monitor, alert before the node complete fails
• Sensor malfunction• Sof tware bug• Network congestion• I ntermittent connectivity• Bad route
Error Scenario – Token Passing Protocol
Open Questions• Specifications in terms of continuous variables that
describe– System, Libraries, Services, Physical phenomenon
• Minimize Logging– Observation: Stale data is of ten not useful– Amount of logs as a function of specifications?
• Structure of probe actors– I dea # 1: Application call graph– I dea # 2: Specification propositions
• Scheduling of actors• Ability to detect Byzantine faults
Motivation
•Viewing WSN as an inf rastructure•Large deployments Large investment
•Long-running and possibly critical applications•Frequent node and communication f ailures•Low bandwidth
monitor, debug and (possibly) repair WSN in situ
Errors in Wireless Sensor Networks
Node displacement
Weak battery
Hardwaremalfunction
Node failure
Software bug
Sensormalfunction
Application error
Congestion
IntermittentConnectivity
Bad route
Environment factors
Acknowledgements: We would like to thank Bill Donkervoet, Sameer Sundresh, Kirill Mechitov and Soumyadeb Mitra for their valuable input.
“Automated” Debugging
• Combination of monitors and mobile actors– Monitors alert, salvage nodes and trigger actors
• Mobile actors trace (f orward and backward) logged events across network to fi nd the root cause
• Human operator is critical to constructing the actor probes– But lower the barrier f or operator
Previously Proposed Approaches