Summary

• Page properties (2 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.msp
	1	+XWiki.rvh

Content

...	...	@@ -12,8 +12,8 @@
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		-* **Layering algorithms**
16		-Implement an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout.
	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.
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**
	28	+* **Diagram Description Language**
29	29	Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
30	30	* [**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		-2981901
	1	+1998983

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/2981901/Topics for Student Theses
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/1998983/Topics for Student Theses