...
In diesem Kontext sind Themenstellungen für Bachelor-/Master-/Diplom- und Studienarbeiten beispielhaft genannt. Bei Fragen oder sprechen Sie einen Betreuer bitte direkt an:
...
...
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/transformations (Bachelor/Master)
Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation - 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 Visualization of Model-based Simulation via Tracing (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 Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations. - Incremental Compilation of SCEst (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 Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
- Model-based Compilation of Legacy C Programs (Bachelor/Master)
Implement a model-based compiler in KIELER that is able to compile C to (S)CCharts and then back to C again. - Efficient data dependency & scheduling analyses in SCCharts (Master/Bachelor)
Implement analyses for data dependency analyses , scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compilerKIELER 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 - Curing Schizophrenia in SCCharts (Master/Bachelor)
Develop new synchronizer to handle schizophrenia properly (e.g. depth join). Hybrid Models for Legacy Code Extraction (Master/Bachelor)Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.- 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. - 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. - Raceyard evaluation (Master)
Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
PRETSY / PRETSY2
Advisors: Insa Fuhrmann, Steven Smyth
...