Summary

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

Details

Page properties

Content

...	...	@@ -2,32 +2,34 @@
2	2
3	3	= Bachelor Topics =
4	4
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		-* **SyncCharts and actor model visualization**
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.
	5	+* **Control flow graph layout**
	6	+Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development.
	7	+* **Node placement for layered graph layout** (in progress)
	8	+Implement node placement algorithms such as the one of [[http:~~/~~/www.springerlink.com/content/j8b63vh3yatf17mk/ Brandes and Köpf>>url:http://www.springerlink.com/content/j8b63vh3yatf17mk/%20Brandes%20and%20K%C3%B6pf||shape="rect"]].
	9	+* **Dynamic SyncCharts visualization**
	10	+Develop a viewer for SyncCharts models using KLighD, including view management techniques such as focus & context.
	11	+* **Actor-oriented modeling**
	12	+Develop a viewer for KAOM models using KLighD, including custom rendering for [[http:~~/~~/ptolemy.eecs.berkeley.edu/ Ptolemy>>url:http://ptolemy.eecs.berkeley.edu/%20Ptolemy||shape="rect"]]. Evaluate the [[http:~~/~~/www.eclipse.org/etrice/ eTrice>>url:http://www.eclipse.org/etrice/%20eTrice||shape="rect"]] project for possible cooperation.
9	9	* **Validation manager for models**
10		-Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
11		-* **Esterel / SyncCharts Validation**
12		-Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.
13		-* **Transformation from SyncCharts to Esterel** [possibly also Master Topic]
	14	+Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
	15	+* **Railway track layout**
	16	+Use KLighD to visualize railway tracks.
	17	+* **Transformation from SyncCharts to Esterel**
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.
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	+* **Connect CEC to Esterel editor for simulation** (in progress)
	20	+[[http:~~/~~/www.cs.columbia.edu/~~~~sedwards/cec/ Columbia Esterel Compiler>>url:http://www.cs.columbia.edu/%7Esedwards/cec/%20Columbia%20Esterel%20Compiler||shape="rect"]]
	21	+* **Instruments for data visualization**
	22	+Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment.
23	23
24	24	= Master Topics =
25	25
26		-* **SyncCharts in Yakindu**
27		-Develop a SyncChart-Editor based on Yakindu, including basic pragmatics concept (automatic layout, collapse/expand, structure-based editing) and interfacing to host-language.
	26	+* **Dynamic, adaptable views in KLighD**
	27	+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.
	28	+* **Expression language and modularization**
	29	+Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models.
28	28	* **FPGA Statecharts**
29	29	Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
30		-* **Diagram description language**
31		-Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
32		-* **[Quartz]**
	32	+* **Quartz**
33	33	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
	34	+* **Esterel / SyncCharts Validation**
	35	+Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-2981906
	1	+884836

URL

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