Importance Splitting in Uppaal

Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen

doi:10.1007/978-3-031-19759-8_26

Importance Splitting in Uppaal

Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

3 Citationer (Scopus)

Abstract

Statistical Model Checking is a simulations-based verification technique that has gathered increased focus in the past ten years, due to its applicability to handle much larger models compared to exhaustive verification techniques used in model checking. Statistical Model Checking is also applicable to a larger class of systems than exhaustive methods—in particular its ability to handle hybrid systems is important. To apply statistical model checking we must however accept that verification results are probabilistic, and simulations exercise only the most likely behaviour of models. Unfortunately the events we are often interested in finding/estimate the probability of are rare. In its core form, Statistical Model Checking cannot reliably estimate such events.

In this work we investigate how to incorporate the rare event simulating technique importance splitting into UPPAAL SMC.

Originalsprog	Engelsk
Titel	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022
Redaktører	Tiziana Margaria, Bernhard Steffen
Antal sider	15
Publikationsdato	17 okt. 2022
Sider	433-447
ISBN (Trykt)	978-3-031-19758-1
ISBN (Elektronisk)	978-3-031-19759-8
DOI	https://doi.org/10.1007/978-3-031-19759-8_26
Status	Udgivet - 17 okt. 2022
Begivenhed	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Grækenland Varighed: 22 okt. 2022 → 30 okt. 2022

Konference

Konference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Land/Område	Grækenland
By	Rhodes
Periode	22/10/2022 → 30/10/2022

Navn	Lecture Notes in Computer Science
Vol/bind	13703
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-031-19759-8_26

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@inproceedings{ed7cc5f2852a4750b992402743e28764,

title = "Importance Splitting in Uppaal",

abstract = "Statistical Model Checking is a simulations-based verification technique that has gathered increased focus in the past ten years, due to its applicability to handle much larger models compared to exhaustive verification techniques used in model checking. Statistical Model Checking is also applicable to a larger class of systems than exhaustive methods—in particular its ability to handle hybrid systems is important. To apply statistical model checking we must however accept that verification results are probabilistic, and simulations exercise only the most likely behaviour of models. Unfortunately the events we are often interested in finding/estimate the probability of are rare. In its core form, Statistical Model Checking cannot reliably estimate such events. In this work we investigate how to incorporate the rare event simulating technique importance splitting into Uppaal SMC.",

author = "Larsen, {Kim Guldstrand} and Axel Legay and Marius Miku{\v c}ionis and Poulsen, {Danny B{\o}gsted}",

year = "2022",

month = oct,

day = "17",

doi = "10.1007/978-3-031-19759-8_26",

language = "English",

isbn = "978-3-031-19758-1",

series = "Lecture Notes in Computer Science",

publisher = "Physica-Verlag",

pages = "433--447",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning",

note = "11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

}

Larsen, KG, Legay, A, Mikučionis, M & Poulsen, DB 2022, Importance Splitting in Uppaal. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Lecture Notes in Computer Science, bind 13703, s. 433-447, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Grækenland, 22/10/2022. https://doi.org/10.1007/978-3-031-19759-8_26

Importance Splitting in Uppaal. / Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius et al.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. red. / Tiziana Margaria; Bernhard Steffen. 2022. s. 433-447 (Lecture Notes in Computer Science, Bind 13703).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Importance Splitting in Uppaal

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Mikučionis, Marius

AU - Poulsen, Danny Bøgsted

PY - 2022/10/17

Y1 - 2022/10/17

N2 - Statistical Model Checking is a simulations-based verification technique that has gathered increased focus in the past ten years, due to its applicability to handle much larger models compared to exhaustive verification techniques used in model checking. Statistical Model Checking is also applicable to a larger class of systems than exhaustive methods—in particular its ability to handle hybrid systems is important. To apply statistical model checking we must however accept that verification results are probabilistic, and simulations exercise only the most likely behaviour of models. Unfortunately the events we are often interested in finding/estimate the probability of are rare. In its core form, Statistical Model Checking cannot reliably estimate such events. In this work we investigate how to incorporate the rare event simulating technique importance splitting into Uppaal SMC.

AB - Statistical Model Checking is a simulations-based verification technique that has gathered increased focus in the past ten years, due to its applicability to handle much larger models compared to exhaustive verification techniques used in model checking. Statistical Model Checking is also applicable to a larger class of systems than exhaustive methods—in particular its ability to handle hybrid systems is important. To apply statistical model checking we must however accept that verification results are probabilistic, and simulations exercise only the most likely behaviour of models. Unfortunately the events we are often interested in finding/estimate the probability of are rare. In its core form, Statistical Model Checking cannot reliably estimate such events. In this work we investigate how to incorporate the rare event simulating technique importance splitting into Uppaal SMC.

UR - http://www.scopus.com/inward/record.url?scp=85142729313&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-19759-8_26

DO - 10.1007/978-3-031-19759-8_26

M3 - Article in proceeding

SN - 978-3-031-19758-1

T3 - Lecture Notes in Computer Science

SP - 433

EP - 447

BT - Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

Importance Splitting in Uppaal

Abstract

Konference

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater