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

@inproceedings{Nouri2017PerformanceEO,
  title={Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework},
  author={Ayoub Nouri and Braham Lotfi Mediouni},
  year={2017}
}
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… CONTINUE READING