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