An evaluation framework for energy aware buildings using statistical model checking

被引：0

作者：

Alexandre David

DeHui Du

Kim G. Larsen

Marius Mikučionis

Arne Skou

机构：

[1] Aalborg University,Center for Embedded Software Systems, Department of Computer Science

[2] East China Normal University,Shanghai Key Laboratory of Trustworthy Computing

来源：

Science China Information Sciences | 2012年 / 55卷

关键词：

timed automata; stochastic hybrid systems; model checking; statistical model checking; performance evaluation; energy consumption; cyber physical systems; smart grid; energy aware buildings;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Cyber-physical systems are to be found in numerous applications throughout society. The principal barrier to develop trustworthy cyber-physical systems is the lack of expressive modelling and specification formalisms supported by efficient tools and methodologies. To overcome this barrier, we extend in this paper the modelling formalism of the tool UPPAAL-SMC to stochastic hybrid automata, thus providing the expressive power required for modelling complex cyber-physical systems. The application of Statistical Model Checking provides a highly scalable technique for analyzing performance properties of this formalisms.

引用

页码：2694 / 2707

页数：13

共 50 条

[1] An evaluation framework for energy aware buildings using statistical model checking
DAVID Alexandre
LARSEN Kim G.
MIKUIONIS Marius
SKOU Arne
Science China(Information Sciences), 2012, 55 (12) : 2694 - 2707
[2] An evaluation framework for energy aware buildings using statistical model checking
David, Alexandre
Du DeHui
Larsen, Kim G.
Mikucionis, Marius
Skou, Arne
SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (12) : 2694 - 2707
[3] Variation-Aware Resource Allocation Evaluation for Cloud Workflows using Statistical Model Checking
Huang, Saijie
Chen, Mingsong
Liu, Xiao
Du, Dehui
Chen, Xiaohong
2014 IEEE FOURTH INTERNATIONAL CONFERENCE ON BIG DATA AND CLOUD COMPUTING (BDCLOUD), 2014, : 201 - 208
[4] Variation-Aware Evaluation of MPSoC Task Allocation and Scheduling Strategies using Statistical Model Checking
Chen, Mingsong
Yue, Daian
Qin, Xiaoke
Fu, Xin
Mishra, Prabhat
2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 199 - 204
[5] Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking
Bao, Yongxiang
Chen, Mingsong
Zhu, Qi
Wei, Tongquan
Mallet, Frederic
Zhou, Tingliang
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (12) : 1989 - 2002
[6] Performance Evaluation of the NDN Data Plane Using Statistical Model Checking
Khoussi, Siham
Nouri, Ayoub
Shi, Junxiao
Filliben, James
Benmohamed, Lotfi
Battou, Abdella
Bensalem, Saddek
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 534 - 550
[7] Quantitative Analysis of Variation-Aware Internet of Things Designs using Statistical Model Checking
Xu, Siyuan
Miao, Weikai
Kunz, Thomas
Wei, Tongquan
Chen, Mingsong
2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, : 274 - 285
[8] A framework for modeling and analyzing cyber-physical systems using statistical model checking
Alshalalfah, Abdel-Latif
Mohamed, Otmane Ait
Ouchani, Samir
INTERNET OF THINGS, 2023, 22
[9] Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking
Bu, Lei
Peled, Doron
Shen, Dachuan
Zhuang, Yuan
MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 275 - 291
[10] SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models
Filipovikj, Predrag
Mahmud, Nesredin
Seceleanu, Cristina
Rodriguez-Navas, Guillermo
Ljungkrantz, Oscar
Lonn, Henrik
LEVERAGING APPLICATIONS OF FORMAL METHOD, VERIFICATION AND VALIDATION: SPECIFICATION AND VERIFICATION, PT III, ISOLA 2024, 2025, 15221 : 220 - 246

← 1 2 3 4 5 →