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}
    }