- Incremental Model-based Compilation of Legacy C Programs (Bachelor/Master)
Modify the model-based compiler in KIELER so that it is able to compile C to (S)CCharts incrementally.
- 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.