Statistical Model Checking for SystemC Models

Van Chan Ngo 1 Axel Legay 1 Jean Quilbeuf 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Communication dans un congrès
High Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United States
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01238162
Contributeur : Van Chan Ngo <>
Soumis le : vendredi 4 décembre 2015 - 14:02:07
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : samedi 29 avril 2017 - 06:11:25

Fichier

PID3995829.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01238162, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

609

Téléchargements de fichiers

113