Page tree

Versions Compared


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


  • Validation Manager for Models
    Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
  • SCCharts compiler validation with Esterel
    Automate the validation of the SCCharts compiler using the Esterel simulation.
  • Transformation from SCCharts to Esterel [possibly also Master Topic]
    Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
  • Hardware Synthesis from SCCharts to FPGAFPGA [possibly also Master Topic]
    Use the circuit-based code generation to produce code for FPGAs
  • Automatic documentation generation out of annotations [possibly also Master Topic]
    Develop an automatic SCCharts documentation system
  • Optimizations for the SCCharts compiler [possibly also Master Topic]
    Profile the actual SCCharts compiler and apply optimizations

Miscellaneous Topics

  • Developing an Info Screen
    Info screens are screens that present data in ways that can be easily understood. This includes static data (project description graphics, members of a team, ...) as well as dynamically aggregated data (bug statistics, automatic build overviews, ...). This topic is about developing such an info screen for our group and making it easily configurable.


  • Quartz
    Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
  • Implementation of a priority-based compilation approach
    Curing Schizophrenia with Depth JoinImplement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
  • Curing Schizophrenia in SCCharts
    Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
  • Adding dataflow to SCCharts
    Add dataflow to SCCharts 
  • Detecting tick boundaries in SCCharts
    Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
  • Preserving concurrency for multi-core 
    Evaluate possibilities to preserve parallelism in SCCharts.
  • Railway 2.0
    Design a new and modern hardware controlling (Version 4) for the railway installation.