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.
Important!
Latest release (1.1.1)PLASMA Lab — Web Start distribution
PLASMA Lab Service — Web Start distribution
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.
