The execution engine for POOSL is called Rotalumis. It is a C++ based simulator that efficiently executes POOSL models. It supports co-simulation with external tools and interactive debugging within the POOSL IDE.
Selected Related Publications
2007
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language Proceedings Article
In: 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), pp. 139-148, 2007.
A Performance Analysis Tool for Scenario-Aware Streaming Applications Proceedings Article
In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp. 269-270, 2007.
2006
Correctness-preserving synthesis for real-time control software Proceedings Article
In: 2006 Sixth International Conference on Quality Software (QSIC'06), pp. 65-73, 2006.
2004
Performance modelling for system-level design PhD Thesis
Electrical Engineering, 2004, ISBN: 90-386-1633-3, (Proefschrift.).
2002
Constructive tool design for formal languages : from semantics to executing models PhD Thesis
Electrical Engineering, 2002, ISBN: 90-386-1960-X.
Formal techniques for verification of complex real-time systems PhD Thesis
Electrical Engineering, 2002, ISBN: 90-386-1930-8.
1997
Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) PhD Thesis
Electrical Engineering, 1997, ISBN: 90-386-0280-4.
1980
A calculus of communicating systems Book
Springer, 1980.