![](/images/graphics-bg.png)
A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC
المؤلفون المشاركون
Guo, Bing
Dai, Shengxin
Hong, Mei
المصدر
العدد
المجلد 2017، العدد 2017 (31 ديسمبر/كانون الأول 2017)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2017-08-23
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص EN
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 reliability-aware power management schemes with statistical model checking approach using UPPAAL-SMC.
The power management schemes and the relevant components are modeled in the form of stochastic timed automata.
And the analysis objectives are expressed as verification queries.
With the model and queries as inputs, UPPAAL-SMC returns the probability of system failure and the expected value of energy consumption.
In this analysis, we have considered three reliability-ignorant power management schemes and two reliability-aware power management schemes.
Based on the comparative study, we provided guidelines for choosing the suitable scheme for a given system.
One thing that should be emphasized is that our methodology is not limited to the schemes involved in this paper.
The modeling and evaluating procedure can be applied to analyse other energy management schemes in practical application.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Dai, Shengxin& Hong, Mei& Guo, Bing. 2017. A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC. Scientific Programming،Vol. 2017, no. 2017, pp.1-12.
https://search.emarefa.net/detail/BIM-1203329
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Dai, Shengxin…[et al.]. A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC. Scientific Programming No. 2017 (2017), pp.1-12.
https://search.emarefa.net/detail/BIM-1203329
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Dai, Shengxin& Hong, Mei& Guo, Bing. A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC. Scientific Programming. 2017. Vol. 2017, no. 2017, pp.1-12.
https://search.emarefa.net/detail/BIM-1203329
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1203329
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)