...
- Optimization of the SCCharts compiler/transformations (Bachelor/Master)
Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation. - Efficient data dependency & scheduling analyses in SCCharts (Master/Bachelor)
Implement analyses for data dependencies and scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler. - Javascript code generation (Bachelor/Master)
Implement a javascript code generation for SCCharts. Integrate with simulation and (environment) visualization to deploy a complete example as standalone web page. Compare with HipHop.js based on Esterel.
...
- 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
- Execution of Recursive Dataflow Code (Master/Bachelor)
- Execution of Concurrent Dataflow Code (Master/Bachelor)
Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs.
For Master students: Implement both.
Blech
- Extraction of mode diagrams from Blech [already in progress]
View file name Extraction of mode diagrams.pdf height 250
...