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

Content

...	...	@@ -88,20 +88,12 @@
88	88
89	89
90	90
91		-//SCCharts Modelling & Compilation//
	91	+//SCCharts Modelling & Transformations//
92	92
93		-* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
94		-Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
95	95	* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
96	96	Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
97		-* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
98		-Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
99	99	* **Transformation of Circuits to SCCharts** (Bachelor/Master)
100		-Implement a transformation that translates circuits to (dataflow) SCCharts.
101		-* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
102		-Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
103		-* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
104		-Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
	96	+* Implement a transformation that translates circuits to (dataflow) SCCharts.
105	105	* **SCCharts Verification** (Master/Bachelor)
106	106	Add the possibility to perfom model checking on SCCharts
107	107	* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
...	...	@@ -109,6 +109,17 @@
109	109	* **Raceyard evaluation** (Master)
110	110	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
111	111
	104	+//SCCharts Code Generation & Optimizations//
	105	+
	106	+* **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
	107	+Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
	108	+* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
	109	+Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
	110	+* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
	111	+Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
	112	+* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
	113	+Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
	114	+
112	112	//SCCharts Simulation//
113	113
114	114	* **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-20153980
	1	+23068684

URL

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