Statistical model checking QoS properties of systems with SBIP

Ayoub Nouri 1 Saddek Bensalem 1 Marius Bozga 1 Benoit Delahaye 2 Cyrille Jegourel 3 Axel Legay 3
2 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
3 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : BIP is a component-based framework sup-porting rigorous design of embedded systems. BIP sup-ports incremental design of large systems from atomic components that communicates via connectors and whose interactions can be described with a powerful algebra. This paper presents SBIP, an extension of BIP for stochastic systems. SBIP offers the possibility to add stochastic information to atomic component's behaviors, and hence to the entire system. Atomic component's semantics in SBIP is described by Markov Chains. We show that the semantics of the entire system is described by a Markov chain, showing that the non-determinism arising from system interac-tions is automatically eliminated by BIP. This allows us to verify systems described in SBIP with Statistical Model Checking. This paper introduces SBIP and illustrates its usabil-ity on several industrial case studies.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14. 〈10.1007/s10009-014-0313-6〉
Liste complète des métadonnées

Littérature citée [46 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087822
Contributeur : Cyrille Jegourel <>
Soumis le : mercredi 26 novembre 2014 - 17:11:57
Dernière modification le : jeudi 15 novembre 2018 - 11:58:48
Document(s) archivé(s) le : vendredi 27 février 2015 - 12:45:23

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jegourel, et al.. Statistical model checking QoS properties of systems with SBIP. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14. 〈10.1007/s10009-014-0313-6〉. 〈hal-01087822〉

Partager

Métriques

Consultations de la notice

664

Téléchargements de fichiers

350