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 Alexander Knapp.

 

 

Suche