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.
