...
- Control flow graph exploration/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). - Esterel / SyncCharts Validation
Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation. - 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 itLayering algorithms
Implement an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout. - 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.
...
- 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 Languagedescription 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.