Summary

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

Details

Page properties

Content

...	...	@@ -47,6 +47,8 @@
47	47	Develop an automatic SCCharts documentation & comment system
48	48	* **Merging SCCharts and KLOTS** (Bachelor)
49	49	Implement KLOTS as demonstrator extension of the KIELER SCCharts implementation
	50	+* **On the usability of the KIELER SCCharts compiler** (Bachelor)
	51	+Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler
50	50	\\
51	51	* **Validation Manager for Models **(Bachelor/Master)
52	52	Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
...	...	@@ -55,16 +55,22 @@
55	55	* **Transformation from SCCharts to Esterel** (Bachelor/Master)
56	56	Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
57	57	* **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
58		-Use the circuit-based code generation to produce code for FPGAs
59		-* (% style="line-height: 1.4285715;" %)**Optimizations for the SCCharts compiler **(%%)(Bachelor/Master)
60		-Profile the actual SCCharts compiler and apply optimizations
61		-* **Optimizations of the SCCharts transformations** (Bachelor/Master)
62		-Profile the actual SCCharts transformation and apply optimizations
	60	+Use the circuit-based code generation approach to produce code for FPGAs
	61	+* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler **(%%)(Bachelor/Master)
	62	+Profile the actual SCCharts compiler and apply optimizations; also evaluate the possibility to use multiple cores for compilation
	63	+* **Optimization of the SCCharts transformations** (Bachelor/Master)
	64	+Profile the actual SCCharts transformations and apply optimizations
	65	+* **SCCharts Andriod backend for Mini Drones** (Bachelor/Master)
	66	+Develop a new code generation backend for SCCharts for Andriod applications with Mini Drones as demonstrator
	67	+* **On the pragmatics of modelling large models in SCCharts** (Bachelor/Master)
	68	+Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
	69	+* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
	70	+Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
63	63	\\
64	64	* **Detecting tick boundaries in SCCharts **(Master/Bachelor)
65	65	Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
66	66	* **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
67		-Implement data dependency analyses for SCCharts
	75	+Implement data dependency analyses for SCCharts to improve static scheduling of the compiler
68	68	* **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
69	69	Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
70	70	* **Raceyard evaluation** (Master/Bachelor)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-10748080
	1	+10751356

URL

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