The following tools exist for the Parallel Object-Oriented Specification Language:
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.
Eclipse-based tools for editing and debugging POOSL models and highlights the industrial applicability of POOSL developed by Embedded Systems Inovation by TNO.
PooslIDE Unit Testing
An extension for the Eclipse-based tools that allow you to perform unit testing on POOSL Data Classes.
The old smalltalk based tool for editing, debugging and simulating POOSL models. This tool has been decommissioned in favour of PooslIDE and Rotalumis.