
Rotalumis is a high-speed execution engine allowing you to run POOSL simulations. It includes a POOSL compiler that adheres to the latest POOSL syntax and it replaces any older releases of the former execution engine.
You can download rotalumis for Windows here.
You will also need this syntaxtranslator.
For Linux, you can download this all-in-one package.
myspec.syntaxtranslator myspec_tl.sim out.poosl.rotalumis out.poosl.Your model can use the predefined data classes FileIn and FileOut, e.g. to write simulation results to disk.
Don't be alarmed when the compiler in rotalumis finds several errors that you did not encounter in SHESim. This is because rotalumis performs a lot of checks at compile time, some of which SHESim defers until run-time. When your model compiles, it may run differently than in SHESim. This is because your model exhibits non-deterministic transitions (e.g. sel-or-les) and SHESim and rotalumis are probably following different valid(!) execution paths. To debug your model, you can insert error messages or use files. To print a message, use data method error which has been defined in class Object and accepts a String as a parameter.
For specific questions related to rotalumis, please contact
.