Performance Evaluation of Complex Systems Using the SBIP Framework

Ayoub Nouri 1 Marius Bozga 1 Axel Legay 2 Saddek Bensalem 1
1 VERIMAG - IMAG - VERIMAG
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : In this paper we survey the main experiments performed using the SBIP framework. The latter consists of a stochastic component-based modeling formalism and a probabilistic model checking engine for verification. The modeling formalism is built as an extension of BIP and enables to build complex systems in a compositional way, while the verification engine implements a set of statistical algorithms for the verification of qualitative and quantitative properties. The SBIP framework has been used to model and verify a large set of real life systems including various network protocols and multimedia applications.
Type de document :
Communication dans un congrès
he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01406591
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 13:10:38
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : lundi 20 mars 2017 - 19:29:22

Fichier

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

Identifiants

  • HAL Id : hal-01406591, version 1

Collections

IMAG | INRIA | UGA | IRISA | CENTRALESUPELEC | UR1-UFR-ISTIC | UNIV-RENNES | VERIMAG

Citation

Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem. Performance Evaluation of Complex Systems Using the SBIP Framework. he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia. 〈hal-01406591〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

504

Téléchargements de fichiers

101

Contact


archive-ouverte@inria.fr