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