Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework - Archive ouverte HAL Access content directly
Journal Articles International Journal of Critical Computer-Based Systems Year : 2018

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

Ayoub Nouri
  • Function : Author
Braham Lotfi Mediouni
  • Function : Author
Marius Bozga
Jacques Combaz
  • Function : Author
  • PersonId : 934819
Saddek Bensalem

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

Dates and versions

hal-01898426 , version 1 (18-10-2018)

Identifiers

Cite

Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, et al.. Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework. International Journal of Critical Computer-Based Systems, 2018, 8 (3-4), pp.340-370. ⟨10.1504/IJCCBS.2018.096439⟩. ⟨hal-01898426⟩
140 View
381 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More