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:

 

SCCharts Modelling & Compilation

...

Transformations

  • 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
  • Transformation of Circuits to SCCharts (Bachelor/Master)
  • Implement a transformation that translates circuits to (dataflow) SCCharts.
  • 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 Code Generation & Optimizations

  • 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
  • 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.
  • 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 Interpreter (Master/Bachelor)
    Implement an Interpreter for Core SCCharts.

...