Suche

Hugo/RT

Hugo/RT ist ein Übersetzungswerkzeug für das Model checking und das Theorembeweisen 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, des On-the-fly-Model checkers SPIN oder des Theorembeweisers KIV bzw. in Java- and SystemC-Code übersetzt werden.

Rückmeldungen, Kritik und Verbesserungsvorschläge bitte per Email an knapp (at) informatik.uni-augsburg.de.

Download

Aktuelle Version 0.8a (28.10.2015)

Für den Quellcode senden Sie bitte eine Email an knapp (at) informatik.uni-augsburg.de.

Diese Software enthält Software der Apache Software Foundation, der Eclipse Foundation, und von Novosoft.