| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Performance Evaluation of Complex Systems Using the SBIP Framework
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.
Cited literature [28 references]
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
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)