PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library

Benot Boyer 1 Kevin Corre 1 Axel Legay 1 Sean Sedwards 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We present PLASMA-lab, a statistical model checking (SMC) library that provides the functionality to create custom statistical model checkers based on arbitrary discrete event modelling languages. PLASMA-lab is written in Java for maximum cross-platform compatibility and has already been incorporated in various performance-critical software and embedded hardware platforms. Users need only implement a few simple methods in a simulator class to take advantage of our efficient SMC algorithms. PLASMA-lab may be instantiated from the command line or from within other software. We have constructed a graphical user interface (GUI) that exposes the functionality of PLASMA-lab and facilitates its use as a standalone application with multiple 'drop-in' modelling languages. The GUI adds the notion of projects and experiments, and implements a simple, practical means of distributing simulations using remote clients.
Keywords : PLASMA-lab Statistical Model Checking Modular Software Scalable Verification Domain Specific Verification
Type de document :
Communication dans un congrès
Joshi, Kaustubh and Siegle, Markus and Stoelinga, Mariëlle and D’Argenio, Pedro R. Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. 8054, pp.160 - 164, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40196-1_12〉
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01088411
Contributeur : Sean Sedwards <>
Soumis le : jeudi 27 novembre 2014 - 20:53:55
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:31:46

Fichier

Boyer-et-al2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Benot Boyer, Kevin Corre, Axel Legay, Sean Sedwards. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. Joshi, Kaustubh and Siegle, Markus and Stoelinga, Mariëlle and D’Argenio, Pedro R. Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. 8054, pp.160 - 164, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40196-1_12〉. 〈hal-01088411〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

439

Téléchargements de fichiers

172

Contact


archive-ouverte@inria.fr