Skip to Main content Skip to Navigation
Conference papers

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
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01406488
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 11:32:42 AM
Last modification on : Thursday, January 7, 2021 - 4:34:35 PM
Long-term archiving on: : Monday, March 20, 2017 - 10:34:40 PM

File

c177.pdf
Files produced by the author(s)

Identifiers

Citation

Van Ngo, Axel Legay, Vania Joloboff. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. pp.84 - 91, ⟨10.1007/978-3-319-41528-4_5⟩. ⟨hal-01406488⟩

Share

Metrics

Record views

459

Files downloads

313