A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking
المؤلفون المشاركون
Guo, Bing
Dai, Shengxin
Hong, Mei
He, Yang
Zhang, Qiongyu
Sun, Lin
Du, Yi
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-10-25
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1074800
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر