Communication Dans Un Congrès Année : 2012

Statistical Model Checking QoS properties of Systems with SBIP

Résumé

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.

Fichier principal
Vignette du fichier
main.pdf (427.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00847827 , version 1 (24-07-2013)

Licence

Identifiants

Citer

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⟩
647 Consultations
562 Téléchargements

Altmetric

Partager

  • More