...
- Automatic documentation generation for model-based languages (Bachelor)
Develop an automatic SCCharts documentation & comment system - On the usability of the KIELER SCCharts compiler (Bachelor)
Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler - Transformation from SCCharts to Esterel (Bachelor/Master)
Develop a transformation in Xtend2 to generate Esterel code for SCCharts. - Hardware Synthesis from SCCharts to FPGA (Bachelor/Master)
Use the circuit-based code generation approach to produce code for FPGAs - Optimization of the SCCharts compiler compiler/transformations (Bachelor/Master)
Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation - Optimization of the SCCharts transformations (Bachelor/Master)
Profile the actual SCCharts transformations and apply optimizations - On the pragmatics of modeling large models in SCCharts (Bachelor/Master)
Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements - Extend the SC MoC to handle priority-based variable accesses (Bachelor/Master)
Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs. - The Semantics of Hybrid SCCharts (Bachelor/Master)
Evaluate SCCharts hybrid models and define semantics for the new features of SCCharts (3.0). - Detecting tick boundaries in SCCharts (Master/Bachelor)
Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling - Efficient data dependency analyses in SCCharts (Master/Bachelor)
Implement data dependency analyses for SCCharts to improve static scheduling of the compiler - KIELER evaluation environment for synchronous languages (Master/Bachelor)
Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts) - Raceyard evaluation (Master/Bachelor)
Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments - Quartz (Master)
Integrate the synchronous Quartz language into KIELER for validation purposes and teaching. - Implementation of a priority-based compilation approach (Master) Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
- Curing Schizophrenia in SCCharts SCCharts (Master/Bachelor)
Develop new synchronizer to handle schizophrenia properly (e.g. depth join). - Hybrid Models for Legacy Code ExtractionExtraction (Master/Bachelor)
Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models. - Quartz (Master)
Integrate the synchronous Quartz language into KIELER for validation purposes and teaching. - Implementation of a priority-based compilation approach (Master)
Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
PRETSY / PRETSY2
Advisors: Insa Fuhrmann, Steven Smyth
...