PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

Van Ngo 1 Axel Legay 2 Vania Joloboff 3
1 LMRS - Laboratoire de Mathématiques Raphaël Salem
2 TAMIS - Threat Analysis and Mitigation for Information Security
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
3 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This paper describes PSCV, a runtime verification tool for a class of SystemC models which have inherent probabilistic characteristics. The properties of interest are expressed using bounded linear temporal logic. The various features of the tool including automatic monitor generation for producing execution traces of the model-under-verification, mechanism for automatically instrumenting the model, and the interaction with statistical model checker are presented.
Type de document :
Communication dans un congrès
Swarat Chaudhuri; Azadeh Farzan CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. Springer, 9779, pp.84 - 91, 2016, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-41528-4_5〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01406488
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 11:32:42
Dernière modification le : vendredi 11 janvier 2019 - 16:22:50
Document(s) archivé(s) le : lundi 20 mars 2017 - 22:34:40

Fichier

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

Identifiants

Collections

LMRS | INRIA | COMUE-NORMANDIE | IRISA | CENTRALESUPELEC | UR1-UFR-ISTIC | UNIV-RENNES | UNIROUEN | IRISA-D4

Citation

Van Ngo, Axel Legay, Vania Joloboff. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. Swarat Chaudhuri; Azadeh Farzan CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. Springer, 9779, pp.84 - 91, 2016, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-41528-4_5〉. 〈hal-01406488〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

363

Téléchargements de fichiers

79

Contact


archive-ouverte@inria.fr