...
In diesem Kontext sind Themenstellungen für Bachelor-/Master-/Diplom- und Studienarbeiten beispielhaft genannt. Bei Fragen oder sprechen Sie einen Betreuer bitte direkt an:
Timing
- On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling (Bachelor)
Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
SCCharts Modelling & Compilation
- 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 - Visualization of Model-based Simulation via Tracing (Bachelor/Master)
Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations. - Incremental Compilation of SCEst (Bachelor/Master)
Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
For Master Students: Also add the possibility to compile from SCCharts to SCEst. - 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. - 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. - Transformation of Circuits to SCCharts (Bachelor/Master)
Implement a transformation that translates circuits to (dataflow) SCCharts.eSCL - Implementinggotopause
(Bachelor/Master)
Create an extended dialect of the SC Language including thegotopause
statement and implement a transformation to SCL.
...
- Efficient data dependency & scheduling analyses in SCCharts (Master/Bachelor)
Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler - Curing Schizophrenia in SCCharts (Master/Bachelor)
Develop new synchronizer to handle schizophrenia properly (e.g. depth join). - SCCharts Verification (Master/Bachelor)
Add the possibility to perfom model checking on SCCharts - Derive M2M Transformations from Pseudocode (Master/Bachelor)
Create a Pseudocode DSL (and generator) to automatically derive M2M transformations. - Raceyard evaluation (Master)
Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
SCCharts Simulation
- Visualization of Model-based Simulation via Tracing (Bachelor/Master)
Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations. - Environment Simulations for SCCharts (Master/Bachelor)
Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER - Core SCCharts VerificationInterpreter (Master/Bachelor)
Implement an Interpreter for Core SCCharts.
Model-based C Code Compilation
- Incremental Model-based Compilation of Legacy C Programs (Bachelor/Master)
Add the possibility to perfom model checking on SCChartsCore SCCharts Interpreter 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)Implement an Interpreter for Core SCCharts.Derive M2M Transformations from Pseudocode
- Execution of Concurrent Dataflow Code (Master/Bachelor)
Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
- Quartz
Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs.
For Master students: Implement both.
Synchronous Languages
- Incremental Compilation of SCEst (Bachelor/Master)
Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
For Master Students: Also add the possibility to compile from SCCharts to SCEst. - eSCL - Implementing
gotopause
(Bachelor/Master)
Create an extended dialect of the SC Language including thegotopause
statement and implement a transformation to SCL. - Quartz (Master)
Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.Raceyard evaluation
...
Miscellaneous Topics
Advisors: to be determined.
...