Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO
Effective power management has become a key concern in the design of wireless sensor networks. Dynamic power management refers to strategies which selectively switch between several power states of a device during the runtime in order to achieve a tradeoff between power consumption and performance....
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2017-04-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | https://doi.org/10.1177/1550147717700900 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850223515769241600 |
|---|---|
| author | Shengxin Dai Mei Hong Bing Guo |
| author_facet | Shengxin Dai Mei Hong Bing Guo |
| author_sort | Shengxin Dai |
| collection | DOAJ |
| description | Effective power management has become a key concern in the design of wireless sensor networks. Dynamic power management refers to strategies which selectively switch between several power states of a device during the runtime in order to achieve a tradeoff between power consumption and performance. In this article, we present a novel methodology that exploits current model-checking technology for automatic synthesis for dynamic power management. The generic system model for dynamic power management is modeled as a network of timed games. And the synthesis objectives are expressed as synthesis queries. Subsequently, automatic synthesis of power management strategies is performed by UPPAAL-STRATEGO with respect to the synthesis queries. Once a strategy has been constructed, its performance can be analyzed through statistical model-checking using the same tool. The modeling and synthesizing procedures are illustrated with a running example. Finally, the applicability of the methodology is assessed by synthesizing and evaluating a range of power management strategies for a concrete sensor node. Our methodology can be employed to help designers in constructing dynamic power management strategies for wireless sensor networks in practical applications. |
| format | Article |
| id | doaj-art-4966f2c86fd14af989b6d9ef0061636c |
| institution | OA Journals |
| issn | 1550-1477 |
| language | English |
| publishDate | 2017-04-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Distributed Sensor Networks |
| spelling | doaj-art-4966f2c86fd14af989b6d9ef0061636c2025-08-20T02:05:56ZengWileyInternational Journal of Distributed Sensor Networks1550-14772017-04-011310.1177/1550147717700900Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGOShengxin DaiMei HongBing GuoEffective power management has become a key concern in the design of wireless sensor networks. Dynamic power management refers to strategies which selectively switch between several power states of a device during the runtime in order to achieve a tradeoff between power consumption and performance. In this article, we present a novel methodology that exploits current model-checking technology for automatic synthesis for dynamic power management. The generic system model for dynamic power management is modeled as a network of timed games. And the synthesis objectives are expressed as synthesis queries. Subsequently, automatic synthesis of power management strategies is performed by UPPAAL-STRATEGO with respect to the synthesis queries. Once a strategy has been constructed, its performance can be analyzed through statistical model-checking using the same tool. The modeling and synthesizing procedures are illustrated with a running example. Finally, the applicability of the methodology is assessed by synthesizing and evaluating a range of power management strategies for a concrete sensor node. Our methodology can be employed to help designers in constructing dynamic power management strategies for wireless sensor networks in practical applications.https://doi.org/10.1177/1550147717700900 |
| spellingShingle | Shengxin Dai Mei Hong Bing Guo Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO International Journal of Distributed Sensor Networks |
| title | Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO |
| title_full | Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO |
| title_fullStr | Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO |
| title_full_unstemmed | Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO |
| title_short | Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO |
| title_sort | synthesizing power management strategies for wireless sensor networks with uppaal stratego |
| url | https://doi.org/10.1177/1550147717700900 |
| work_keys_str_mv | AT shengxindai synthesizingpowermanagementstrategiesforwirelesssensornetworkswithuppaalstratego AT meihong synthesizingpowermanagementstrategiesforwirelesssensornetworkswithuppaalstratego AT bingguo synthesizingpowermanagementstrategiesforwirelesssensornetworkswithuppaalstratego |