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,24 +83,20 @@
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.
90	90	\\\\
91	91	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
92	92	Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
93	93	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
94	94	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
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
	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.
99	99	\\\\
100	100	* **Quartz **(Master)
101	101	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
102		-* --**Implementation of a priority-based compilation approach **(Master) --
103		---Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.--
	98	+* **Implementation of a priority-based compilation approach **(Master)
	99	+Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
104	104	* **Raceyard evaluation** (Master)
105	105	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
106	106

Confluence.Code.ConfluencePageClass[0]

Id

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

URL

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