Statistical Model Checking QoS properties of Systems with SBIP
Résumé
BIP is a component-based framework supporting rigorous design of embedded systems. This paper presents SBIP, an extension of BIP that relies on a new stochastic semantics that enables veri cation of large-size systems by using Statistical Model Checking. The approach is illustrated on several industrial case studies.
Domaines
Systèmes embarqués| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...