PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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

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.
Fichier principal
Vignette du fichier
Boyer-et-al2013.pdf (108.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01088411 , version 1 (27-11-2014)

Identifiers

Cite

Benot Boyer, Kevin Corre, Axel Legay, Sean Sedwards. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.160 - 164, ⟨10.1007/978-3-642-40196-1_12⟩. ⟨hal-01088411⟩
242 View
287 Download

Altmetric

Share

Gmail Facebook X LinkedIn More