Importance Splitting in Uppaal

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 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.
OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider15
Publikationsdato17 okt. 2022
Sider433-447
ISBN (Trykt)978-3-031-19758-1
ISBN (Elektronisk)978-3-031-19759-8
DOI
StatusUdgivet - 17 okt. 2022
Begivenhed11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Grækenland
Varighed: 22 okt. 202230 okt. 2022

Konference

Konference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Land/OmrådeGrækenland
ByRhodes
Periode22/10/202230/10/2022
NavnLecture Notes in Computer Science
Vol/bind13703
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Importance Splitting in Uppaal'. Sammen danner de et unikt fingeraftryk.

Citationsformater