Skip to Main content Skip to Navigation
Conference papers

Statistical Model Checking QoS properties of Systems with SBIP

Saddek Bensalem 1 Marius Bozga 1 Benoît Delahaye 2 Cyrille Jégourel 3 Axel Legay 3 Ayoub Nouri 1 
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : BIP is a component-based framework supporting rigorous design of embedded systems. This paper presents SBIP, an extension of BIP that relies on a new stochastic semantics that enables veri cation of large-size systems by using Statistical Model Checking. The approach is illustrated on several industrial case studies.
Document type :
Conference papers
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00847827
Contributor : Marius Bozga Connect in order to contact the contributor
Submitted on : Wednesday, July 24, 2013 - 3:03:30 PM
Last modification on : Friday, February 4, 2022 - 3:29:45 AM
Long-term archiving on: : Friday, October 25, 2013 - 4:11:28 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, et al.. Statistical Model Checking QoS properties of Systems with SBIP. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. pp.327-341, ⟨10.1007/978-3-642-34026-0_25⟩. ⟨hal-00847827⟩

Share

Metrics

Record views

504

Files downloads

314