...
- 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.
Blech
- Extraction of mode diagrams from Blech [already in progress]
View file name Extraction of mode diagrams.pdf height 250