Skip to Main content Skip to Navigation
Conference papers

Performance Evaluation of Complex Systems Using the SBIP Framework

Ayoub Nouri 1 Marius Bozga 1 Axel Legay 2 Saddek Bensalem 1
2 TAMIS - Threat Analysis and Mitigation for Information Security
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01406591
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 1:10:38 PM
Last modification on : Wednesday, May 12, 2021 - 3:39:36 AM
Long-term archiving on: : Monday, March 20, 2017 - 7:29:22 PM

File

c154.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01406591, version 1

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⟩

Share

Metrics

Record views

679

Files downloads

195