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

Methodologies for Wireless Sensor Networks Design

Alvise BoniventoAlessandro Pinto

Prof. Sangiovanni-Vincentelli

U.C. Berkeley

• 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

PlatformDesignExport

Application Instance

Platform Instance

Design Cycle

Specs

Synthesis

Formal description of system requirements

Platform

Implementation

Verification

CLEAR SEMANTIC

MATHEMATICAL MODEL

Formal description of hardware performance

Refine constraintsAbstract performance

Meet in the middleOptimize

Genesis: Synthesis Engine for Embedded Networks

System requirements DelayTraffic

Environment ChannelTopology

Platform LibraryMICA Dust

PicoRadio

Protocol SolutionEnergy aware

Satisfy RequirementsRobustness

Easy to Implement

Deployment

Genesis

Example: Habitat Monitoring

Data Collector

2

3

4

5

1

Given:TopologyTraffic generation requirementDelay RequirementTarget Platform

Generated:Hybrid RoutingHybrid MACDuty-CycleCross-optimization

Verification

• Simulation– Fast parallel simulation (10^5 nodes)– Metropolis Framework

• Verification– Verification of asymptotic properties

• Stability• Scalability

– Verification of transient properties• Responsiveness• Stability