A new version of PLASMA Lab (v1.4.4) has been released. This version adds the following updates: Correction of the distribution mechanism to limit the number of threads created. New option for controlling the frequency of the heartbeat mechanism. Update of the nested BLTL plugin: it now works with a dedicated…
We have released a new simulator plugin to run LLVM code in PLASMA Lab. The plugin is a wrapper for the external simulator LODIN developed by the Dependable System Group at the University of Kiel. It allows to run LLVM code with a stochastic semantics, notably to detect race conditions.…
A new version of PLASMA Lab (v1.4.2) has been released. This version provides several modifications and new functionalities to PLASMA LAb’s user: Reorganisation and renaming of some SMC algorithms: Merging Monte-Carlo and Chernoff algorithms: the new algorithm interface has 3 parameters, but not all are mandatory. Either “Total sample” is…
A new plugin for Plasma Lab is available. It provides a language and simulator for modeling Probabilistic Timed Automata, a property language and checker, and specific algorithms for PTA. The plugin is available on the plugin page.
A new version of PLASMA Lab (v1.4.0) has been released. This version makes some important changes on the structure of PLASMA Lab. Old versions of the plugins may not be compatible. It provides a new command line interface with more capabilities. It provides a new cross-entropy minimization algorithm for rare…
A new version of PLASMA Lab (v1.3.8) has been released. This version improves the importance splitting algorithm: Better performances. Improvement of the results display. A bug with the observers has been fixed.
A new version of PLASMA Lab (v1.3.6) has been released. This version introduces several corrections: The CUSUM algorithm has been corrected. The CUSUM interface now provides three different checks: one for the classical CUSUM algorithm, one for simulating the algorithm in order to estimate the stopping rule, and one that…
A new version of PLASMA Lab (v1.3.4) has been released. It provides a new simulator for the RML language to perform importance sampling simulations. The simulator uses special annotations of RML models to specify sampling parameters.
A new version of PLASMA Lab (v1.3.2) has been released. It includes the following enhancements: Distributed algorithms for importance splitting. A tool that converts a BLTL property into an observer used by the importance splitting algorithm. Please note that the IDs of the models, properties, and algorithms plugins have been…
A new version of PLASMA Lab (v1.3.0) has been released. It includes the following enhancements: Improvements and new features New command line mode to launch algorithms directly from the command line. New SystemC plugin. New Observer plugin to write properties as observers in the RML language. This replace the MRLRare…
