Statistical Model Checking QoS Properties of Systems with SBIP

Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jegourel, Axel Legay, and Ayoub Nouri.
In Tiziana Margaria and Bernhard Steen, editors, Leveraging Applications of Formal Methods, Verication and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Proceedings, Part I, volume 7609 of Lecture Notes in Computer Science, pages 327-341. Springer, 2012.
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 verification
of large-size systems by using Statistical Model Checking. The approach is illustrated on several industrial case studies.