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

Content

...	...	@@ -8,10 +8,10 @@
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	10	Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
11		-* **Railway track layout**
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.
	13	+* **Esterel / SyncCharts Validation**
	14	+Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.
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	* **Multicore Layout**
...	...	@@ -19,11 +19,11 @@
19	19
20	20	= Master Topics =
21	21
22		-* **Expression language and modularization**
23		-Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models.
	22	+* **SyncCharts in Yakindu**
	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		-* **Quartz**
	26	+* **Diagram Description Language**
	27	+Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
	28	+* [**Quartz]**
27	27	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
28		-* **Esterel / SyncCharts Validation**
29		-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		-1998977
	1	+1998981

URL

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