Rotalumis

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

  • [DOI] M. C. W. Geilen, “Formal techniques for verification of complex real-time systems,” PhD Thesis, 2002.
    [Bibtex] 
    @phdthesis{Gei02,
title = "Formal techniques for verification of complex real-time systems",
author = "M.C.W. Geilen",
year = "2002",
doi = "10.6100/IR557598",
language = "English",
isbn = "90-386-1930-8",
publisher = "Technische Universiteit Eindhoven",
school = "Electrical Engineering",
}
  • [DOI] L. J. Bokhoven van, “Constructive tool design for formal languages : from semantics to executing models,” PhD Thesis, 2002.
    [Bibtex] 
    @phdthesis{Bok02,
title = "Constructive tool design for formal languages : from semantics to executing models",
author = "Bokhoven, van, L.J.",
year = "2002",
doi = "10.6100/IR559665",
language = "English",
isbn = "90-386-1960-X",
publisher = "Technische Universiteit Eindhoven",
school = "Electrical Engineering",
}
  • [DOI] J. Huang, J. Voeten, and H. Corporaal, “Correctness-preserving synthesis for real-time control software,” in 2006 sixth international conference on quality software (qsic’06), 2006, pp. 65-73.
    [Bibtex] 
    @INPROCEEDINGS{HVC06,
author={Huang, Jinfeng and Voeten, Jeroen and Corporaal, Henk},
booktitle={2006 Sixth International Conference on Quality Software (QSIC'06)},
title={Correctness-preserving synthesis for real-time control software},
year={2006},
volume={},
number={},
pages={65-73},
doi={10.1109/QSIC.2006.21}
}