Methodologies for Wireless Sensor Networks Design Alvise Bonivento Alessandro Pinto Prof....
-
date post
19-Dec-2015 -
Category
Documents
-
view
214 -
download
0
Transcript of Methodologies for Wireless Sensor Networks Design Alvise Bonivento Alessandro Pinto Prof....
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