Performance Evaluation of Complex Systems Using the SBIP Framework - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Performance Evaluation of Complex Systems Using the SBIP Framework

Ayoub Nouri
  • Function : Author
Marius Bozga
Saddek Bensalem

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.
Fichier principal
Vignette du fichier
c154.pdf (1.02 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01406591 , version 1 (01-12-2016)

Identifiers

  • HAL Id : hal-01406591 , version 1

Cite

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⟩
483 View
177 Download

Share

Gmail Mastodon Facebook X LinkedIn More