PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

Van Ngo 1 Axel Legay 2 Vania Joloboff 3
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 TEA - Tim, Events and Architectures
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 : mardi 16 janvier 2018 - 15:54:26
Document(s) archivé(s) le : lundi 20 mars 2017 - 22:34:40

Fichier

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

Identifiants

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〉

Partager

Métriques

Consultations de la notice

288

Téléchargements de fichiers

44