Plasma Lab

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

Improvements and new features

• We have decided to publish a proof of concept of our MATLAB/Simulink integration of PLASMA Lab. This feature is available as a PLASMA Lab plugin since v1.2.6. To learn more about this feature see its dedicated page.
• We have implemented some options to test our Lightweight SMC algorithm for Markov Decision Process. This option is available for our Chernoff and Sequential algorithms.
• 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.1.1 is live!

We just released a new version of Plasma Lab. This release will allow you to add your own simulator or requirement checker in Plasma Lab. It also includes GCSL, a new requirement language as well as several bug fixes. Try it now or scroll down to read the full change list.

---

Try Plasma Lab now!

Just click on the link of the PLASMA version you want to give a try. It will run Plasma Lab directly from this page.

---

Change list

• Plugins system implemented. This allow to load new simulator and checker when launching Plasma Lab. Read more about this feature here.
• Goal Contract Specification Language (GCSL). A new requirement language is supported. GCSL allows you to write patter àla Speeds which are then translated into B-LTL formulas. Read more about this feature here.
• Fixed a bug involving multiple local variable in our RML simulator.
• Fixed a bug involving channel in our RML simulator.