Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 85.1
edited by ssm
on 2016/12/21 14:24
Change comment: There is no comment for this version
To version 84.1
edited by ima
on 2016/12/07 10:47
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.ima
Content
... ... @@ -88,12 +88,20 @@
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 -* Implement a transformation that translates circuits to (dataflow) SCCharts.
100 +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 99  * **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
... ... @@ -101,17 +101,6 @@
101 101  * **Raceyard evaluation** (Master)
102 102  Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
103 103  
104 -//SCCharts Code Generation & Optimizations//
105 -
106 -* **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
107 -Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
108 -* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
109 -Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
110 -* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
111 -Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
112 -* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
113 -Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
114 -
115 115  //SCCharts Simulation//
116 116  
117 117  * **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -23068684
1 +20153980
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/23068684/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/20153980/Topics for Student Theses