Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework

Nouri, Ayoub;Mediouni, Braham;Bozga, Marius;Combaz, Jacques;Legay, Axel;et.al.
(2018) International Journal of Critical Computer-Based Systems — p. 1-33 (2018)

Files

No attached file found for this publication.

Details

Authors
  • Nouri, Ayoub
    Author
  • Mediouni, Braham
    Author
  • Bozga, Marius
    Author
  • Combaz, Jacques
    Author
  • Legay, AxelUCLouvain
    Author
Show more
Abstract
The SBIP framework consists of a stochastic real-time component-based modelling formalism and a statistical model checking engine. The former is built as a stochastic extension of the real-time BIP formalism and enables the construction of stochastic real-time systems in a compositional way. The statistical engine implements a set of statistical algorithms for the quantitative and qualitative assessment of probabilis-tic properties. The paper provides a thorough introduction to the SBIP formalism and the associated verification method. In a second part, it surveys several case studies about modelling and verification of real-life systems, including various network protocols and multimedia applications .
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Nouri, A., Mediouni, B., Bozga, M., Combaz, J., Bensalem, S., & Legay, A. (2018). Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework. International Journal of Critical Computer-Based Systems, 1-33. https://hdl.handle.net/2078.5/172866 (Original work published 2018)