Back to Search
Start Over
Performance Evaluation of Complex Systems Using the SBIP Framework
- Source :
- he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia
- Publication Year :
- 2016
- Publisher :
- HAL CCSD, 2016.
-
Abstract
- International audience; In this paper we survey the main experiments performed using the SBIP framework. The latter consists of a stochastic component-based modeling formalism and a probabilistic model checking engine for verification. The modeling formalism is built as an extension of BIP and enables to build complex systems in a compositional way, while the verification engine implements a set of statistical algorithms for the verification of qualitative and quantitative properties. The SBIP framework has been used to model and verify a large set of real life systems including various network protocols and multimedia applications.
- Subjects :
- [INFO]Computer Science [cs]
[INFO] Computer Science [cs]
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia
- Accession number :
- edsair.dedup.wf.001..9e551e4a3580faf9c4ed5d56736e8664