...
- 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. - Live Debugging Microstep-Simulation of Statecharts (Master/Bachelor)
Implement a dedicated debugging view for method to do microstep simulation with SCCharts. - Microstep-Simulation Improve the Live Debugging of Statecharts (Master/Bachelor)
Implement a method to do microstep simulation with dedicated debugging view for SCCharts.
Model-based C Code Compilation
...