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.uru

Content

...	...	@@ -88,62 +88,46 @@
88	88
89	89
90	90
91		-//Timing//
92		-
93	93	* (% style="line-height: 1.4285715;" %)**On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling **(%%)(Bachelor)(% style="line-height: 1.4285715;" %)**
94	94	**(%%)Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
95	95
96		-//SCCharts Modelling & Compilation//
	94	+
97	97
98	98	* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
99	99	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
100	100	* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
101	101	Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
	100	+* **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)
	101	+Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
	102	+* **Incremental Compilation of SCEst** (Bachelor/Master)
	103	+Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
	104	+* **Incremental Model-based Compilation of Legacy C Programs** (Bachelor/Master)
	105	+Modify the model-based compiler in KIELER so that it is able to compile C to (S)CCharts incrementally.
102	102	* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
103	103	Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
104	104	* **Transformation of Circuits to SCCharts** (Bachelor/Master)
105	105	Implement a transformation that translates circuits to (dataflow) SCCharts.
106		-* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
	110	+
	111	+
	112	+
	113	+* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
107	107	Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
108	108	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
109	109	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
	117	+* **Environment Simulations for SCCharts** (Master/Bachelor)
	118	+Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
110	110	* **SCCharts Verification** (Master/Bachelor)
111	111	Add the possibility to perfom model checking on SCCharts
112		-* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
113		-Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
114		-* **Raceyard evaluation** (Master)
115		-Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
116		-
117		-//SCCharts Simulation//
118		-
119		-* **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)
120		-Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
121		-* **Environment Simulations for SCCharts** (Master/Bachelor)
122		-Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
123		-* **Core SCCharts Interpreter** (Master/Bachelor)
	121	+* **Core SCCharts Interpreter** (Master/Bachelor)
124	124	Implement an Interpreter for Core SCCharts.
125	125
126		-//Model-based C Code Compilation//
	124	+
127	127
128		-* **Incremental Model-based Compilation of Legacy C Programs** (Bachelor/Master)
129		-Modify the model-based compiler in KIELER so that it is able to compile C to (S)CCharts incrementally.
130		-* **Execution of Recursive Dataflow Code** (Master/Bachelor)
131		-* **Execution of Concurrent Dataflow Code** (Master/Bachelor)
132		-Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs.
133		-For Master students: Implement both.
134		-
135		-//Synchronous Languages//
136		-
137		-* **Incremental Compilation of SCEst** (Bachelor/Master)
138		-Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
139		-For Master Students: Also add the possibility to compile from SCCharts to SCEst.
140		-* **eSCL - Implementing {{code language="none"}}gotopause{{/code}}** (Bachelor/Master)
141		-Create an extended dialect of the SC Language including the {{code language="none"}}gotopause{{/code}} statement and implement a transformation to SCL.
142	142	* **Quartz **(Master)
143	143	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
	128	+* **Raceyard evaluation** (Master)
	129	+Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
144	144
145		-
146		-
147	147	= (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
148	148
149	149	**Advisors:** to be determined.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-20153308
	1	+20152358

URL

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