Page tree

Versions Compared

Key

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

...

Bachelor Topics

  • Control flow graph layout
    Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler developmentexploration/visualization
    Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using Klighd.
  • SyncCharts and actor model visualization
    Develop an integrated viewer for SyncCharts and KAOM models using KLighD, including view management techniques such as focus & context and structure-based editing.
  • Validation manager for models
    Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
  • Transformation from SyncCharts to Esterel
    Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.Esterel / SyncCharts Validation
    Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.Instruments for data visualization
    Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment
  • Transformation from SyncCharts to Esterel [possibly also Master Topic]
    Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.
  • Multicore Layout
    Find good ways of distributing layout tasks in hierarchical diagrams to the different cores of multicore CPUs. Also, evaluate when a multithreaded approach starts to make sense, and how best to implement it.
  • Incremental Update for Klighd
    Incremental update of Klighd data structure after editing.
  • Visualizing Model Edits/Changes
    Develop and implement methods to visualize a model while it is edited. A particular concern here is the preservation of the mental map.

Master Topics

  • SyncCharts in Yakindu
    Develop a SyncChart-Editor based on Yakindu, including basic pragmatics concept (automatic layout, collapse/expand, structure-based editing) and interfacing to host-language.
  • FPGA Statecharts
    Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
  • Diagram Description Language
    Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
  • [Quartz]
    Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.