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 条
  • [11] Using Statistical Model Checking for Measuring Systems
    Grosu, Radu
    Peled, Doron
    Ramakrishnan, C. R.
    Smolka, Scott A.
    Stoller, Scott D.
    Yang, Junxing
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 223 - 238
  • [12] Statistical Model Checking Using Perfect Simulation
    El Rabih, Diana
    Pekergin, Nihal
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 120 - 134
  • [13] Rigorous Evaluation of Computer Processors with Statistical Model Checking
    Mazurek, Filip
    Tschand, Arya
    Wang, Yu
    Pajic, Miroslav
    Sorin, Daniel J.
    56TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, MICRO 2023, 2023, : 1242 - 1254
  • [14] Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking
    Gamatie, Abdoulaye
    Sassatelli, Gilles
    Mikucionis, Marius
    PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 980 - 985
  • [15] A Novel Quantitative Evaluation Approach for Software Project Schedules using Statistical Model Checking
    Du, Dehui
    Chen, Mingsong
    Liu, Xiao
    Yang, Yun
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 476 - 479
  • [16] Checking JML specifications using an extensible software model checking framework
    Edwin Robby
    Matthew B. Rodríguez
    John Dwyer
    International Journal on Software Tools for Technology Transfer, 2006, 8 (3) : 280 - 299
  • [17] Checking strong specifications using an extensible software model checking framework
    Robby
    Rodríguez, E
    Dwyer, MB
    Hatcliff, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 404 - 420
  • [18] Schedulability of Herschel revisited using statistical model checking
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Marius Mikučionis
    International Journal on Software Tools for Technology Transfer, 2015, 17 : 187 - 199
  • [19] Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin
    Limbree, Christophe
    Schaus, Pierre
    Quilbeuf, Jean
    Traonouez, Louis-Marie
    Legay, Axel
    2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017), 2017, : 61 - 68
  • [20] SoS contract verification using statistical model checking
    Mignogna, Alessandro
    Mangeruca, Leonardo
    Boyer, Benoit
    Legay, Axel
    Arnold, Alexandre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (133): : 67 - 83
12345