Hugo/RT is a UML model translator for model checking and code generation: A UML model containing active classes with state machines, collaborations, interactions, and OCL constraints can be translated into the system languages of the real-time model checker UPPAAL, the on-the-fly model checker SPIN, and into Java and C++ code, in particular for the Arduino.


For feedback, criticism and suggestions, please send an e-mail to Alexander Knapp.


Project repository: