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.rvh
	1	+XWiki.cds

Content

...	...	@@ -2,20 +2,24 @@
2	2
3	3	= Bachelor Topics =
4	4
5		-* **Control flow graph layout**
6		-Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development.
	5	+* **Control flow graph exploration/visualization**
	6	+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.
7	7	* **SyncCharts and actor model visualization**
8	8	Develop an integrated viewer for [[doc:SyncCharts]] and [[KAOM>>doc:Actor Oriented Modeling (KAOM)]] models using [[KLighD>>doc:Lightweight Diagrams (KLighD)]], including view management techniques such as focus & context and structure-based editing.
9	9	* **Validation manager for models**
10		-Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
11		-* **Transformation from SyncCharts to Esterel**
12		-Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.
	10	+Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
13	13	* **Esterel / SyncCharts Validation**
14	14	Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.
15		-* **Instruments for data visualization**
16		-Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment.
17		-* **Multicore Layout**
18		-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.
	13	+* **Transformation from SyncCharts to Esterel** [possibly also Master Topic]
	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.
	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.
	19	+* **Incremental Update for Klighd**
	20	+Incremental update of Klighd data structure after editing.
	21	+* **Visualizing Model Edits/Changes**
	22	+Develop and implement methods to visualize a model while it is edited. A particular concern here is the preservation of the mental map.
19	19
20	20	= Master Topics =
21	21
...	...	@@ -23,7 +23,7 @@
23	23	Develop a SyncChart-Editor based on Yakindu, including basic pragmatics concept (automatic layout, collapse/expand, structure-based editing) and interfacing to host-language.
24	24	* **FPGA Statecharts**
25	25	Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
26		-* **Diagram Description Language**
	30	+* **Diagram description language**
27	27	Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
28		-* [**Quartz]**
	32	+* **[Quartz]**
29	29	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-1998981
	1	+2981906

URL

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