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

Content

...	...	@@ -49,7 +49,7 @@
49	49	Add the possibility to perfom model checking on SCCharts
50	50	* **Raceyard evaluation** (Master)
51	51	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
52		-* Causality Visualization
	52	+* **Causality Visualization**
53	53	Visualizing causality and scheduling problems in the diagram to guide the modeller
54	54
55	55	//SCCharts Code Generation & Optimizations//
...	...	@@ -58,6 +58,8 @@
58	58	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
59	59	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
60	60	Implement analyses for data dependencies and scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
	61	+* **Javascript code generation** (Bachelor/Master)
	62	+Implement a javascript code generation for SCCharts. Integrate with simulation and (environment) visualization to deploy a complete example as standalone web page. Compare with [[HipHop.js >>url:https://dl.acm.org/ft_gateway.cfm?id=3167440&type=pdf||shape="rect"]]based on Esterel.
61	61
62	62	//SCCharts Simulation//
63	63
...	...	@@ -75,10 +75,6 @@
75	75	Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs.
76	76	For Master students: Implement both.
77	77
78		-//Synchronous Languages//
79		-
80		-* **eSCL - Implementing {{code language="none"}}gotopause{{/code}}** (Bachelor/Master)
81		-Create an extended dialect of the SC Language including the {{code language="none"}}gotopause{{/code}} statement and implement a transformation to SCL.
82	82	\\
83	83
84	84	\\

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-49152031
	1	+54198569

URL

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