Statistical Model Checking for SystemC Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Statistical Model Checking for SystemC Models


Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have an inherent probabilistic behavior, i.e., random data, unreliable components. It is crucial to evaluate the quantitative and qualitative analysis of the probability of the system properties. Such analysis can be conducted by constructing a formal model of the system and using probabilistic model checking. However, this method is infeasible for large and complex systems due to the state space explosion. In this paper, we demonstrate the successful use of statistical model checking to carry out such analysis directly from large SystemC models and allows designers to express a wide range of useful properties.
Fichier principal
Vignette du fichier
PID3995829.pdf (358.82 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01238162 , version 1 (04-12-2015)


  • HAL Id : hal-01238162 , version 1


van Chan Ngo, Axel Legay, Jean Quilbeuf. Statistical Model Checking for SystemC Models. High Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United States. ⟨hal-01238162⟩
584 View
218 Download


Gmail Mastodon Facebook X LinkedIn More