Bachelor Topics

• Control flow graph layout
  Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development.
• Node placement for layered graph layout
  Implement node placement algorithms such as the one of http://www.springerlink.com/content/j8b63vh3yatf17mk/ Brandes and Köpf.
• Dynamic SyncCharts visualization
  Develop a viewer for SyncCharts models using KLighD, including view management techniques such as focus & context.
• Actor-oriented modeling
  Develop a viewer for KAOM models using KLighD, including custom rendering for http://ptolemy.eecs.berkeley.edu/ Ptolemy. Evaluate the http://www.eclipse.org/etrice/ eTrice project for possible cooperation.
• Validation manager for models
  Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
• Railway track layout
  Use KLighD to visualize railway tracks.
• Transformation from SyncCharts to Esterel
  Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.
• Connect CEC to Esterel editor for simulation (in progress)
  http://www.cs.columbia.edu/~sedwards/cec/ Columbia Esterel Compiler
• Instruments for data visualization
  Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment.

Master Topics

• Dynamic, adaptable views in KLighD
  Develop concepts such as focus & context and incremental update in the dynamic-views approach of KLighD, with SyncCharts, KAOM and possibly YAKINDU as example applications.
• Expression language and modularization
  Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models.
• FPGA Statecharts
  Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
• Quartz
  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
• Esterel / SyncCharts Validation
  Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.