1. Methodologies for Wireless Sensor Networks Design Alvise Bonivento Alessandro Pinto Prof. Sangiovanni-Vincentelli U.C. Berkeley

2. Universal: independent on the Implementation on any present and future Sensor Network Platform Service-based: standard set of Services and Interface Primitives available to Applications Analogy with Internet Sockets Application Interface (AI) Application Interface AI Platform Application Space Architecture Space Platform Mapping Platform Design Export Application Instance Platform Instance

3. Design Cycle Specs Synthesis Formal description of system requirements Platform Implementation Verification CLEAR SEMANTIC MATHEMATICAL MODEL Formal description of hardware performance Refine constraints Abstract performance Meet in the middle Optimize

4. Genesis: Synthesis Engine for Embedded Networks System requirements Delay Traffic Environment Channel Topology Platform Library MICA Dust PicoRadio Protocol Solution Energy aware Satisfy Requirements Robustness Easy to Implement Deployment Genesis

5. Example: Habitat Monitoring Data Collector 2 3 4 5 1 Given: Topology Traffic generation requirement Delay Requirement Target Platform Generated: Hybrid Routing Hybrid MAC Duty-Cycle Cross-optimization

6. Verification Simulation –Fast parallel simulation (10^5 nodes) –Metropolis Framework Verification –Verification of asymptotic properties Stability Scalability –Verification of transient properties Responsiveness Stability