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,6 +88,11 @@
88	88
89	89
90	90
	91	+* (% style="line-height: 1.4285715;" %)**On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling **(%%)(Bachelor)(% style="line-height: 1.4285715;" %)**
	92	+**(%%)Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
	93	+
	94	+
	95	+
91	91	* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
92	92	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
93	93	* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
...	...	@@ -96,30 +96,30 @@
96	96	Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
97	97	* **Incremental Compilation of SCEst** (Bachelor/Master)
98	98	Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
99		-* **Model-based Compilation of Legacy C Programs** (Bachelor/Master)
100		-Implement a model-based compiler in KIELER that is able to compile C to (S)CCharts and then back to C again.
	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.
101	101	* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
102	102	Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
103	103	* **Transformation of Circuits to SCCharts** (Bachelor/Master)
104	104	Implement a transformation that translates circuits to (dataflow) SCCharts.
105		-* **On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling** (Bachelor)
106		-Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
107		-\\\\
	110	+
	111	+
	112	+
108	108	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
109	109	Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
110	110	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
111	111	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
112		-* **SCCharts Debugging** (Master/Bachelor)
113		-Implement more sophisticated debugging mechanisms (e.g. breakpoints, observers) for SCCharts
114	114	* **Environment Simulations for SCCharts** (Master/Bachelor)
115	115	Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
116	116	* **SCCharts Verification** (Master/Bachelor)
117	117	Add the possibility to perfom model checking on SCCharts
118		-\\\\
	121	+* **Core SCCharts Interpreter** (Master/Bachelor)
	122	+Implement an Interpreter for Core SCCharts.
	123	+
	124	+
	125	+
119	119	* **Quartz **(Master)
120	120	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
121		-* --**Implementation of a priority-based compilation approach **(Master) --
122		---Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.--
123	123	* **Raceyard evaluation** (Master)
124	124	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
125	125

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-18776176
	1	+20152346

URL

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