Statistical model checking QoS properties of systems with SBIP

S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel, A. Legay, A. Nouri

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

20 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
EditorsTiziana Margaria, Bernhard Steffen
Number of pages15
PublisherSpringer Publishing Company
Publication date2012
Pages327-341
ISBN (Print)978-3-642-34025-3
ISBN (Electronic)978-3-642-34026-0
DOIs
Publication statusPublished - 2012
EventLeveraging Applications of Formal Methods, Verification and Validation: Applications and Case Studies - Amirandes Hotel, Heraclion, Crete, Greece
Duration: 14 Oct 201219 Oct 2012

Conference

ConferenceLeveraging Applications of Formal Methods, Verification and Validation
LocationAmirandes Hotel
Country/TerritoryGreece
CityHeraclion, Crete
Period14/10/201219/10/2012
SeriesLecture Notes in Computer Science
Volume7609
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Statistical model checking QoS properties of systems with SBIP'. Together they form a unique fingerprint.

Cite this