Hugo/RT ist ein Übersetzungswerkzeug für das Model checking von bzw. die Codegenerierung aus UML-Modellen: Ein UML-Modell mit aktiven Klassen, Zustandsmaschinen, Kollaborationen, Interaktionen und OCL-Constraints kann in die Eingabesprachen des Echtzeit-Model checkers UPPAAL und des On-the-fly-Model checkers SPIN bzw. in Java- und C++-Code, insbesondere für den Arduino, übersetzt werden.

Rückmeldungen, Kritik und Verbesserungsvorschläge bitte per Email an Alexander Knapp.

Projekt-Repository: https://bitbucket.org/knappale/hugo-rt/