Skip to Main content Skip to Navigation

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 metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Van Chan Ngo Connect in order to contact the contributor
Submitted on : Monday, September 21, 2015 - 2:00:04 PM
Last modification on : Monday, June 27, 2022 - 3:03:24 AM
Long-term archiving on: : Tuesday, December 29, 2015 - 8:58:24 AM


Files produced by the author(s)


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


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⟩



Record views


Files downloads