Post on 20-Dec-2015
A Platform for WEbS (wireless embedded sensor/actuator)
systems
David Culler
Eric Brewer
Dave Wagner
Enable NEST Research(Network Embedded Software Technology)
• Goal: enable research in algorithms, synchronization, real-time systems
• Low-cost, large-scale experimentation
• Extensible Tiny OS (byte code)
• Infrastructure services
• Simulation environment
• Development Environment
+ Research Itself
• Power management
• Networking
• Security
• Resilient Aggregation– collect data with noise, failures and adversaries
• FSM programming & composition
• Macrocomputing: programming a collection
Platforms• Current
• Phase 1: 6 months => algorithm studies– Mote++, MEMS sensors
• Phase 2: 20 months => composition– ARM, Bluetooth physical– integrated system
• Workshops for both phases
Nodal Communication• Local multicast• event-driven reception• intelligent pruning• aggregation• buffer management• remote programming/debugging/upgrade• key management• synchronized logging (trace extraction)
Adversarial Simulation
• Large-scale mote simulator• Detecting “composition” bugs• Target failure: search for bugs
– test race conditions automatically– pick orders that consume resources– more efficient than random-walk testing– simulator is an adversary…
• Hybrid simulator/testbed
Development Environment
• Make FSMs work– event-driven programming– composition– debugging– visualization
• Same four issues for collections of WEbS!
Macrocomputing
• How to program a large collection?– Single program, multiple data
• but errors and probabilistic behavior
– “global” variables that reflect collections• need to handle error propagation
– scatter/gather for collections?– online query processing?
• Need multi-WEbS abstractions
Summary• We have rare advantages…
– MEMS center– Millennium cluster (services & simulation)– working hardware– event-driven programming experience– early wins in algorithms and security– language expertise– dense distributed systems expertise
• This should be fun