Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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 - Implementing gotopause (Bachelor/Master)
    Create an extended dialect of the SC Language including the gotopause 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
  • SCCharts Verification (Master/Bachelor)
    Add the possibility to perfom model checking on SCCharts
  • Core SCCharts Interpreter (Master/Bachelor)
    Implement an Interpreter for Core SCCharts.
  • Derive M2M Transformations from Pseudocode (Master/Bachelor)
    Create a Pseudocode DSL (and generator) to automatically derive M2M transformations. 

 

...

Model-based C Code Compilation

  • 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.

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 the gotopause 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.

...