Performance Evaluation of Complex Systems Using the SBIP Framework

Nouri, Ayoub;Bozga, Marius;Legay, Axel;Bensalem, Saddek
(2016) he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) (6.October.2016)

Files

No attached file found for this publication.

Details

Authors
  • Nouri, Ayoub
    Author
  • Bozga, Marius
    Author
  • Legay, AxelUCLouvain
    Author
  • Bensalem, Saddek
    Author
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Nouri, A., Bozga, M., Legay, A., & Bensalem, S. (2016). Performance Evaluation of Complex Systems Using the SBIP Framework. he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS). https://hdl.handle.net/2078.5/227584