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

Content

...	...	@@ -73,15 +73,15 @@
73	73
74	74	In diesem Kontext sind Themenstellungen für Bachelor-/Master-/Diplom- und Studienarbeiten beispielhaft genannt. Bei Fragen oder sprechen Sie einen Betreuer bitte direkt an:
75	75
76		-* **Automatic documentation generation for model-based languages **(Bachelor)
77		-Develop an automatic SCCharts documentation & comment system
78		-* **On the usability of the KIELER SCCharts compiler** (Bachelor)
79		-Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler
	76	+* --**Automatic documentation generation for model-based languages **(Bachelor)--
	77	+--Develop an automatic SCCharts documentation & comment system--
	78	+* --**On the usability of the KIELER SCCharts compiler** (Bachelor)--
	79	+--Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler--
80	80	\\\\
81		-* **Transformation from SCCharts to Esterel** (Bachelor/Master)
82		-Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
83		-* **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
84		-Use the circuit-based code generation approach to produce code for FPGAs
	81	+* --**Transformation from SCCharts to Esterel** (Bachelor/Master)--
	82	+--Develop a transformation in Xtend2 to generate Esterel code for SCCharts.--
	83	+* --**Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)--
	84	+--Use the circuit-based code generation approach to produce code for FPGAs--
85	85	* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
86	86	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
87	87	* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
...	...	@@ -95,14 +95,14 @@
95	95	Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
96	96	* **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
97	97	Implement data dependency analyses for SCCharts to improve static scheduling of the compiler
98		-* **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
99		-Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
	98	+* --**KIELER evaluation environment for synchronous languages** (Master/Bachelor)--
	99	+--Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)--
100	100	* **Raceyard evaluation** (Master/Bachelor)
101	101	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
102	102	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
103	103	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
104		-* **Hybrid Models for Legacy Code Extraction **(Master/Bachelor)
105		-Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.
	104	+* --**Hybrid Models for Legacy Code Extraction **(Master/Bachelor)--
	105	+--Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.--
106	106	\\\\
107	107	* **Quartz **(Master)
108	108	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-13763106
	1	+13763616

URL

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