Statistical Model Checking for Stochastic Hybrid Systems

被引：45

作者：

David, Alexandre ^{[1
]}

Larsen, Kim G. ^{[1
]}

Mikucionis, Marius ^{[1
]}

Poulsen, Danny Bogsted ^{[1
]}

Legay, Axel ^{[2
]}

Sedwards, Sean ^{[2
]}

Du, Dehui ^{[3
]}

机构：

[1] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark

[2] INRIA Rennes, Bretagne Atlant, Rennes, France

[3] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 20062, Peoples R China

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 92期

关键词：

D O I：

10.4204/EPTCS.92.9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.

引用

页码：122 / 136

页数：15

共 50 条

[31] STATISTICAL MODEL CHECKING OF MULTI-AGENT SYSTEMS
Nigro, Libero
Sciammarella, Paolo F.
PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017, 2017, : 11 - 17
[32] 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
[33] Predictability Analysis of Interruptible Systems by Statistical Model Checking
Strnadel, Josef
IEEE DESIGN & TEST, 2018, 35 (02) : 57 - 63
[34] Statistical Model Checking of Cooperative Autonomous Driving Systems
Bernardeschi, Cinzia
Lettieri, Giuseppe
Rossi, Federico
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: RIGOROUS ENGINEERING OF COLLECTIVE ADAPTIVE SYSTEMS, PT II, ISOLA 2024, 2025, 15220 : 316 - 332
[35] Statistical model checking QoS properties of systems with SBIP
Ayoub Nouri
Saddek Bensalem
Marius Bozga
Benoit Delahaye
Cyrille Jegourel
Axel Legay
International Journal on Software Tools for Technology Transfer, 2015, 17 : 171 - 185
[36] PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Ashok, Pranav
Kretinsky, Jan
Weininger, Maximilian
COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 497 - 519
[37] Model checking hybrid multiagent systems for the RoboCup
Furbach, Ulrich
Murray, Jan
Schmidsberger, Falk
Stolzenburg, Frieder
ROBOCUP 2007: ROBOT SOCCER WORLD CUP XI, 2008, 5001 : 262 - +
[38] Statistical Model Checking for Variability-Intensive Systems
Cordy, Maxime
Papadakis, Mike
Legay, Axel
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 294 - 314
[39] Statistical Model Checking for Cyber-Physical Systems
Clarke, Edmund M.
Zuliani, Paolo
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 1 - 12
[40] Statistical model checking QoS properties of systems with SBIP
Nouri, Ayoub
Bensalem, Saddek
Bozga, Marius
Delahaye, Benoit
Jegourel, Cyrille
Legay, Axel
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 171 - 185

← 1 2 3 4 5 →