Dynamic Verification of SystemC with Statistical Model Checking

van Chan Ngo 1 Axel Legay 2 Jean Quilbeuf 2
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliable hardware,...). In that context, it is crucial to evaluate system properties such as “the probability that a particular hardware fails”. Such properties can be evaluated by using probabilistic model checking. However, this technique fails on models representing realistic embedded and real-time systems because of the state space explosion. To overcome this problem, we propose a verification framework based on Statistical Model Checking. Our framework is able to evaluate probabilistic and temporal properties on large systems modelled in SystemC, a standard system-level modelling language. It is fully implemented as an extension of the Plasma-lab statistical model checker. We illustrate our approach on a multi-lift system case study.
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01089742
Contributor : van Chan Ngo <>
Submitted on : Monday, September 21, 2015 - 2:00:04 PM
Last modification on : Thursday, November 15, 2018 - 11:58:49 AM
Long-term archiving on : Tuesday, December 29, 2015 - 8:58:24 AM

Files

RR-8644.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01089742, version 3
  • ARXIV : 1412.0885

Citation

van Chan Ngo, Axel Legay, Jean Quilbeuf. Dynamic Verification of SystemC with Statistical Model Checking. [Research Report] RR-8644, INRIA Rennes - Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25. ⟨hal-01089742v3⟩

Share

Metrics

Record views

720

Files downloads

123