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

Ayoub Nouri (1) , Braham Lotfi Mediouni (1) , Marius Bozga (1) , Jacques Combaz (1) , Saddek Bensalem (1) , Axel Legay (2)

1 VERIMAG - IMAG - VERIMAG
2 TAMIS - Threat Analysis and Mitigation for Information Security

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 .

Mots clés: stochastic systems; real-time systems; component-based systems; formal models; generalised semi-Markov processes; BIP; statistical model check-ing; performance evaluation

Domaines: Systèmes embarqués

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⟩