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 条

[21] Statistical model of energy consumption by air conditioning buildings
Wu, Jianxun
Nuantong Kongtiao/HV & AC, 1996, 26 (06): : 13 - 16
[22] Schedulability of Herschel revisited using statistical model checking
David, Alexandre
Larsen, Kim G.
Legay, Axel
Mikucionis, Marius
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 187 - 199
[23] Nanogrid for Energy Aware Buildings
Jie, Lim Rong
Naayagi, R. T.
2019 IEEE PES GTD GRAND INTERNATIONAL CONFERENCE AND EXPOSITION ASIA (GTD ASIA), 2019, : 92 - 96
[24] Prediction of the vibration in buildings using Statistical Energy Analysis
Koizumi, T
Tsujiuchi, N
Tanaka, H
Okubo, M
Shinomiya, M
PROCEEDINGS OF IMAC-XX: STRUCTURAL DYNAMICS VOLS I AND II, 2002, 4753 : 7 - 13
[25] A novel algorithm for a grammar model checking using statistical Markov model
Mandita, Fridy
Abdullah, Harnan Malik
Anwar, Toni
Assawinjaiptech, Panuwat
2018 SEVENTH ICT INTERNATIONAL STUDENT PROJECT CONFERENCE (ICT-ISPC), 2018, : 55 - 60
[26] A Model Checking Based Survivability Evaluation Framework of Wireless Network
Li, Lei
Liu, Zhifeng
Zhou, Conghua
2019 IEEE 11TH INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS (ICCSN 2019), 2019, : 715 - 721
[27] Deep Statistical Model Checking
Gros, Timo P.
Hermanns, Holger
Hoffmann, Joerg
Klauck, Michaela
Steinmetz, Marcel
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 96 - 114
[28] A Survey of Statistical Model Checking
Agha, Gul
Palmskog, Karl
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
[29] Statistical Model Checking for P
Duran, Francisco
Pozas, Nicolas
Ramirez, Carlos
Rocha, Camilo
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2023, 2023, 14290 : 40 - 56
[30] Statistical Model Checking for Hyperproperties
Wang, Yu
Nalluri, Siddhartha
Bonakdarpour, Borzoo
Pajic, Miroslav
2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021), 2021, : 1 - 16

← 1 2 3 4 5 →