Summary

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

Details

Page properties

Content

...	...	@@ -83,20 +83,24 @@
83	83	Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
84	84	* **Model-based Compilation of Legacy C Programs** (Bachelor/Master)
85	85	Implement a model-based compiler in KIELER that is able to compile C to (S)CCharts and then back to C again.
	86	+* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
	87	+Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
	88	+* **Transformation of Circuits to SCCharts** (Bachelor/Master)
	89	+Implement a transformation that translates circuits to (dataflow) SCCharts.
86	86	\\\\
87	87	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
88	88	Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
89	89	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
90	90	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
91		-* --**Hybrid Models for Legacy Code Extraction **(Master/Bachelor)--
92		---Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.--
93		-* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
94		-Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
	95	+* **SCCharts Debugging** (Master/Bachelor)
	96	+Implement more sophisticated debugging mechanisms (e.g. breakpoints, observers) for SCCharts
	97	+* **Environment Simulations for SCCharts** (Master/Bachelor)
	98	+Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
95	95	\\\\
96	96	* **Quartz **(Master)
97	97	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
98		-* **Implementation of a priority-based compilation approach **(Master)
99		-Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
	102	+* --**Implementation of a priority-based compilation approach **(Master) --
	103	+--Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.--
100	100	* **Raceyard evaluation** (Master)
101	101	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
102	102

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-15532151
	1	+15532274

URL

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