Page tree

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  • Visualization of Model-based Simulation via Tracing (Bachelor/Master)
    Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations. 
  • Core SCCharts Interpreter with dynamic Scheduling (Master/Bachelor)
    Implement an Interpreter for Core SCCharts that supports SC Policies.
  • Microstep-Simulation of Statecharts (Master/Bachelor)
    Implement a method to do microstep simulation with SCCharts.
  • Improve the Live Debugging of Statecharts (Bachelor)
    Implement a dedicated debugging view for SCCharts.

Model-based C Code Compilation