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.cds

Content

...	...	@@ -4,8 +4,12 @@
4	4
5	5	* **Control flow graph layout**
6	6	Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development.
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.
	7	+* **Node placement for layered graph layout** (in progress)
	8	+Implement node placement algorithms such as the one of [[Brandes and Köpf>>url:http://www.springerlink.com/content/j8b63vh3yatf17mk/||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 [[Ptolemy>>url:http://ptolemy.eecs.berkeley.edu/||shape="rect"]]. Evaluate the [[eTrice>>url:http://www.eclipse.org/etrice/||shape="rect"]] project for possible cooperation.
9	9	* **Validation manager for models**
10	10	Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
11	11	* **Railway track layout**
...	...	@@ -12,11 +12,15 @@
12	12	Use KLighD to visualize railway tracks.
13	13	* **Transformation from SyncCharts to Esterel**
14	14	Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.
	19	+* **Connect CEC to Esterel editor for simulation** (in progress)
	20	+[[Columbia Esterel Compiler>>url:http://www.cs.columbia.edu/%7Esedwards/cec/||shape="rect"]].
15	15	* **Instruments for data visualization**
16	16	Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment.
17	17
18	18	= Master Topics =
19	19
	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.
20	20	* **Expression language and modularization**
21	21	Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models.
22	22	* **FPGA Statecharts**

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-1998896
	1	+885291

URL

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