Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 9.1
edited by Reinhard von Hanxleden
on 2012/07/20 12:54
Change comment: There is no comment for this version
To version 11.1
edited by cds
on 2012/09/28 14:23
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.rvh
1 +XWiki.cds
Content
... ... @@ -12,8 +12,10 @@
12 12  Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.
13 13  * **Transformation from SyncCharts to Esterel** [possibly also Master Topic]
14 14  Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.
15 -* **Multicore Layout**
16 -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.
15 +* **Layering algorithms**
16 +Implement an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout.
17 +* **Heuristics for Side Aware Edge Label Placement**
18 +Think about and implement heuristic algorithms for solving the edge aware edge label placement problem for placing edge labels in data flow diagrams.
17 17  * **Incremental Update for Klighd**
18 18  Incremental update of Klighd data structure after editing.
19 19  * **Visualizing Model Edits/Changes**
... ... @@ -25,7 +25,7 @@
25 25  Develop a SyncChart-Editor based on Yakindu, including basic pragmatics concept (automatic layout, collapse/expand, structure-based editing) and interfacing to host-language.
26 26  * **FPGA Statecharts**
27 27  Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
28 -* **Diagram Description Language**
30 +* **Diagram description language**
29 29  Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
30 -* [**Quartz]**
32 +* **[Quartz]**
31 31  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -1998983
1 +2981906
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/1998983/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/2981906/Topics for Student Theses