A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC
Energy saving and high reliability are two key concerns in the design of real time systems. However, high reliability and low energy consumption are conflicting objects, and they are generally contrasted with temporal correctness. In this paper, we propose comparing reliability-ignorant and reliabil...
Main Authors: | Dai Shengxin, Hong Mei, Guo Bing |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2017-01-01
|
Series: | Scientific Programming |
Online Access: | http://dx.doi.org/10.1155/2017/2621089 |
Similar Items
-
Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO
by: Shengxin Dai, et al.
Published: (2017-04-01) -
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
by: Peter Bulychev, et al.
Published: (2012-07-01) -
Automatic Test Generation and Mutation Analysis using UPPAAL SMC
by: Larsson, Jonatan
Published: (2017) -
Automatic Test Generation and Mutation Analysis using UPPAAL SMC
by: Larsson, Jonatan
Published: (2017) -
TIOA and UPPAAL
by: Robson, Christine Margaret, 1981-
Published: (2005)