Performance evaluation of stochastic real-time systems with the SBIP framework. (2018)

• Record Type: Journal Article
• Authors: Nouri, Ayoub; Mediouni, Braham Lotfi; Bozga, Marius; Combaz, Jacques; Bensalem, Saddek; Legay, Axel
• Is Part Of: International journal of critical computer-based systems. Volume 8:Number 3/4(2018)
• Page Start: 340
• Page End: 370
• Publication Date: 2018
• Subjects: stochastic systems -- real-time -- component-based -- formal models -- generalised semi-Markov process -- GSMP -- behaviour interaction priority -- BIP -- statistical model checking -- SMC -- performance evaluation; Computer systems -- Periodicals; Computer architecture -- Periodicals; 004
• Languages: English
• ISSNs: 1757-8779

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 probabilistic 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.