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

Content

...	...	@@ -58,8 +58,14 @@
58	58
59	59	//SCCharts Modelling & Transformations//
60	60
	61	+* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
	62	+Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
	63	+* **Transformation of Circuits to SCCharts** (Bachelor/Master)
	64	+Implement a transformation that translates circuits to (dataflow) SCCharts.
61	61	* **SCCharts Verification** (Master/Bachelor)
62	62	Add the possibility to perfom model checking on SCCharts
	67	+* **Transformation Verification** (Master/Bachelor)
	68	+Develop a method for SCCharts to check transformations for semantic equivalence.
63	63	* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
64	64	Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
65	65	* **Raceyard evaluation** (Master)
...	...	@@ -71,14 +71,19 @@
71	71	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
72	72	* **SCG Optimization based on SSA **(Bachelor/Master)
73	73	The Static Single Assignment form enables powerful optimizations such as [[sparse conditional constant propagation>>url:http://dl.acm.org/citation.cfm?id=103136||shape="rect"]]. Adjust and implement this algorithm in the context of SCGs and evaluate the result.
	80	+* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
	81	+Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
74	74	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
75	75	Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
76		-\\
	84	+* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
	85	+Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
77	77
78	78	//SCCharts Simulation//
79	79
80	80	* **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)
81	81	Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
	91	+* **Environment Simulations for SCCharts** (Master/Bachelor)
	92	+Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
82	82	* **Core SCCharts Interpreter** (Master/Bachelor)
83	83	Implement an Interpreter for Core SCCharts.
84	84
...	...	@@ -93,6 +93,10 @@
93	93
94	94	//Synchronous Languages//
95	95
96		-* (% style="letter-spacing: 0.0px;" %)**eSCL - Implementing {{code language="none"}}gotopause{{/code}}**(%%) (Bachelor/Master)
	107	+* **Incremental Compilation of SCEst** (Bachelor/Master)
	108	+Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
	109	+For Master Students: Also add the possibility to compile from SCCharts to SCEst.
	110	+* **eSCL - Implementing {{code language="none"}}gotopause{{/code}}** (Bachelor/Master)
97	97	Create an extended dialect of the SC Language including the {{code language="none"}}gotopause{{/code}} statement and implement a transformation to SCL.
98		-\\
	112	+* **Quartz **(Master)
	113	+Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-40894630
	1	+40894596

URL

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