![](/images/graphics-bg.png)
A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking
Joint Authors
Guo, Bing
Dai, Shengxin
Hong, Mei
He, Yang
Zhang, Qiongyu
Sun, Lin
Du, Yi
Source
Mathematical Problems in Engineering
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-10-25
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
Energy saving is a crucial concern in embedded real time systems.
Many RT-DVS algorithms have been proposed to save energy while preserving deadline guarantees.
This paper presents a novel approach to evaluate RT-DVS algorithms using statistical model checking.
A scalable framework is proposed for RT-DVS algorithms evaluation, in which the relevant components are modeled as stochastic timed automata, and the evaluation metrics including utilization bound, energy efficiency, battery awareness, and temperature awareness are expressed as statistical queries.
Evaluation of these metrics is performed by verifying the corresponding queries using UPPAAL-SMC and analyzing the statistical information provided by the tool.
We demonstrate the applicability of our framework via a case study of five classical RT-DVS algorithms.
American Psychological Association (APA)
Dai, Shengxin& Hong, Mei& Guo, Bing& He, Yang& Zhang, Qiongyu& Sun, Lin…[et al.]. 2015. A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-12.
https://search.emarefa.net/detail/BIM-1074800
Modern Language Association (MLA)
Dai, Shengxin…[et al.]. A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking. Mathematical Problems in Engineering No. 2015 (2015), pp.1-12.
https://search.emarefa.net/detail/BIM-1074800
American Medical Association (AMA)
Dai, Shengxin& Hong, Mei& Guo, Bing& He, Yang& Zhang, Qiongyu& Sun, Lin…[et al.]. A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-12.
https://search.emarefa.net/detail/BIM-1074800
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1074800