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.uru
	1	+XWiki.ssm

Content

...	...	@@ -101,6 +101,7 @@
101	101	Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
102	102	* **Incremental Compilation of SCEst** (Bachelor/Master)
103	103	Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
	104	+For Master Students: Also add the possibility to compile from SCCharts to SCEst.
104	104	* **Incremental Model-based Compilation of Legacy C Programs** (Bachelor/Master)
105	105	Modify the model-based compiler in KIELER so that it is able to compile C to (S)CCharts incrementally.
106	106	* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
...	...	@@ -107,6 +107,8 @@
107	107	Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
108	108	* **Transformation of Circuits to SCCharts** (Bachelor/Master)
109	109	Implement a transformation that translates circuits to (dataflow) SCCharts.
	111	+* **eSCL - Implementing {{code language="none"}}gotopause{{/code}}** (Bachelor/Master)
	112	+Create an extended dialect of the SC Language including the {{code language="none"}}gotopause{{/code}} statement and implement a transformation to SCL.
110	110
111	111
112	112
...	...	@@ -120,6 +120,8 @@
120	120	Add the possibility to perfom model checking on SCCharts
121	121	* **Core SCCharts Interpreter** (Master/Bachelor)
122	122	Implement an Interpreter for Core SCCharts.
	126	+* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
	127	+Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
123	123
124	124
125	125

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-20152358
	1	+20153068

URL

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