Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 81.1
edited by ssm
on 2016/08/23 15:56
Change comment: There is no comment for this version
To version 80.1
edited by uru
on 2016/08/23 15:11
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.uru
Content
... ... @@ -101,7 +101,6 @@
101 101  Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
102 102  * **Incremental Compilation of SCEst** (Bachelor/Master)
103 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 105  * **Incremental Model-based Compilation of Legacy C Programs** (Bachelor/Master)
106 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,8 +108,6 @@
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 113  
114 114  
115 115  
... ... @@ -123,8 +123,6 @@
123 123  Add the possibility to perfom model checking on SCCharts
124 124  * **Core SCCharts Interpreter** (Master/Bachelor)
125 125  Implement an Interpreter for Core SCCharts.
126 -* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
127 -Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
128 128  
129 129  
130 130  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -20153068
1 +20152358
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/20152358/Topics for Student Theses