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

Content

...	...	@@ -88,51 +88,62 @@
88	88
89	89
90	90
	91	+//Timing//
	92	+
91	91	* (% style="line-height: 1.4285715;" %)**On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling **(%%)(Bachelor)(% style="line-height: 1.4285715;" %)**
92	92	**(%%)Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
93	93
94		-
	96	+//SCCharts Modelling & Compilation//
95	95
96	96	* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
97	97	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
98	98	* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
99	99	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		-For Master Students: Also add the possibility to compile from SCCharts to SCEst.
105		-* **Incremental Model-based Compilation of Legacy C Programs** (Bachelor/Master)
106		-Modify the model-based compiler in KIELER so that it is able to compile C to (S)CCharts incrementally.
107	107	* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
108	108	Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
109	109	* **Transformation of Circuits to SCCharts** (Bachelor/Master)
110	110	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.
113		-
114		-
115		-
116		-* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
	106	+* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
117	117	Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
118	118	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
119	119	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
120		-* **Environment Simulations for SCCharts** (Master/Bachelor)
121		-Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
122	122	* **SCCharts Verification** (Master/Bachelor)
123	123	Add the possibility to perfom model checking on SCCharts
124		-* **Core SCCharts Interpreter** (Master/Bachelor)
125		-Implement an Interpreter for Core SCCharts.
126		-* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
	112	+* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
127	127	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
128	128
129		-
	117	+//SCCharts Simulation//
130	130
	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)
	124	+Implement an Interpreter for Core SCCharts.
	125	+
	126	+//Model-based C Code Compilation//
	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.
131	131	* **Quartz **(Master)
132	132	Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
133		-* **Raceyard evaluation** (Master)
134		-Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
135	135
	145	+
	146	+
136	136	= (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
137	137
138	138	**Advisors:** to be determined.
...	...	@@ -139,3 +139,6 @@
139	139
140	140	* **Developing an Info Screen** (Bachelor)
141	141	Info screens are screens that present data in ways that can be easily understood. This includes static data (project description graphics, members of a team, ...) as well as dynamically aggregated data (bug statistics, automatic build overviews, ...). This topic is about developing such an info screen for our group and making it easily configurable.
	153	+\\
	154	+* **Developing a domain specific language (DSL) for model railway control** (Bachelor/Master)
	155	+We maintain a model railway installation as a demonstrator for our work and as a student teaching tool. Especially for demonstations to non-technical visitors we would like to have a simple language to create controllers for the railway.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-20153068
	1	+20153947

URL

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