PLASMA Lab 1.3.2 Released

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 changed (the prefix fr.inria.plasmalab has been removed from all the IDs). It makes it easier to use in the command line version. However the models created by an older version of PLASMA Lab must be updated by hand to load them in the new version.

PLASMA Lab 1.3.0 Released

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 plugin used for importance splitting
    • Algorithms updates:

To test and download PLASMA Lab, go to our download page.

PLASMA Lab 1.2.20 Released and PLASMA Lab Book

A new version of PLASMA Lab (v1.2.20) has been released. It includes the following enhancements:

Improvements and new features

  • Rewards can now be used in RML and BLTL.
  • Algorithms for nondeterminism with rewards: the algorithms described here have been extended to compute minimum and maximum rewards. Several examples have been tested using these algorithms.
  • A new importance splitting algorithm for rare events estimation.

Beside PLASMA Lab documentation has been extended with a PLASMA Lab Book hosted on Gitbooks.To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr

PLASMA Lab 1.2.18 Released

A new version of PLASMA Lab (v1.2.18) has been released. It includes the following enhancements:

Improvements and new features

  • Algorithms for nondeterminism: these algorithms, described here, comprise the previously released Chernoff iterated algorithm (renamed Chernoff ND), as well as a new sequential algorithm (named Sequential ND).

To test and download PLASMA Lab, go to our download page. Currently only the bundles version of PLASMA Lab contain this new version. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr

PLASMA Lab 1.2.16 Released

A new version of PLASMA Lab (v1.2.16) has been released. It includes the following enhancements:

Improvements and new features

  • Chernoff Iterated MDP, a new algorithm.
  • CUSUM, a new algorithm.
  • Various bugfixes.

To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr

PLASMA Lab 1.2.14 Released

A new version of PLASMA Lab (v1.2.14) has been released. It includes the following enhancements:

Improvements and new features

  • A new version of the PLASMA 2 Simulink plugin allow for more possibilities using Plasma with Simulink. To see an example of this new version possibilities see our case study Fault-Tolerant Fuel Control System.
  • Various bugfixes.

To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr

PLASMA Lab 1.2.12 Released

A new version of PLASMA Lab (v1.2.12) has been released. It includes the following enhancements:

Improvements and new features

  • A new Rare events algorithm. More details will be published soon.
  • Various bugfixes.

To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr

PLASMA Lab 1.2.10 Released

A new version of PLASMA Lab (v1.2.10) has been released. It includes the following enhancements:

Improvements and new features

  • We have extended the grammar of BLTL with two adaptive operators that observe adaptive transitions in stochastic adaptive systems (SAS). This new requirement language is A-BLTL.
  • PLASMA Lab can also check unbounded properties using A-BLTL. See our short tutorial about unbounded ALTL.
  • We have extended the BLTL grammar so that is is possible to declare variable in a requirement and use expression as temporal bound.
  • Various bugfixes.

To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr

PLASMA Lab 1.2.8 Released

A new version of PLASMA Lab (v1.2.8) has been released. It includes the following enhancements:

Improvements and new features

  • You can now use PLASMA Lab from within MATLAB/Simulink. See our documentation page to download the latest PLASMA2Simulink MATLAB App.

Capture d'écran de 2013-12-18 18:33:33

  • Various bugfixes

To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr