POOSL Tools

The following tools exist for the Parallel Object-Oriented Specification Language:

Rotalumis

Rotalumis is a high-speed execution engine for POOSL models. This execution engine simulates POOSL models conform the formal semantics. If you wonder what Rotalumis actually stands for, try reading it backwards.

read more

PooslIDE

Eclipse-based tools for editing and debugging POOSL models and highlights the industrial applicability of POOSL developed by Embedded Systems Inovation by TNO.

read more

PooslIDE Unit Testing

An extension for the Eclipse-based tools that allow you to perform unit testing on POOSL Data Classes.

read more

SHESim

The old smalltalk based tool for editing, debugging and simulating POOSL models. This tool has been decommissioned in favour of PooslIDE and Rotalumis.

read more