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

Content

...	...	@@ -73,7 +73,7 @@
73	73
74	74	= Semantics, Synchronous Languages and Model-based Design =
75	75
76		-**Advisors:** Steven Smyth, Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
	76	+**Advisors:** Christian Motika, Steven Smyth, Reinhard v. Hanxleden
77	77
78	78	Heute haben sich eine ganze Reihe von Modellierungssprachen durchgesetzt, die grafische Modelle verwenden. Dazu zählen beispielsweise die [[Unified Modeling Language (UML) >>url:http://de.wikipedia.org/wiki/UML||shape="rect" class="external-link"]]oder die Werkzeugketten [[Simulink/Stateflow von Mathworks >>url:http://de.wikipedia.org/wiki/Simulink||shape="rect" class="external-link"]]und [[SCADE von Esterel-Technologies>>url:http://en.wikipedia.org/wiki/SCADE||shape="rect" class="external-link"]]. Letztere werden insbesondere auch im Entwurf eingebetteter und sicherheitskritischer Systeme (z.B. in Fahr- und Flugzeugen) eingesetzt.
79	79
...	...	@@ -88,32 +88,27 @@
88	88
89	89
90	90
91		-//SCCharts Modelling & Transformations//
	91	+//SCCharts Modelling & Compilation//
92	92
	93	+* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
	94	+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)
94	94	Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
	97	+* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
	98	+Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
95	95	* **Transformation of Circuits to SCCharts** (Bachelor/Master)
96	96	Implement a transformation that translates circuits to (dataflow) SCCharts.
	101	+* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
	102	+Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
	103	+* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
	104	+Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
97	97	* **SCCharts Verification** (Master/Bachelor)
98	98	Add the possibility to perfom model checking on SCCharts
99		-* **Transformation Verification** (Master/Bachelor)
100		-Develop a method for SCCharts to check transformations for semantic equivalence.
101	101	* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
102	102	Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
103	103	* **Raceyard evaluation** (Master)
104	104	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
105	105
106		-//SCCharts Code Generation & Optimizations//
107		-
108		-* **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
109		-Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
110		-* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
111		-Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
112		-* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
113		-Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
114		-* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
115		-Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
116		-
117	117	//SCCharts Simulation//
118	118
119	119	* **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-23068775
	1	+20153980

URL

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