Skip to Content

Changes for page Available Topics

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

Summary

Details

Page properties
Content
... ... @@ -88,62 +88,51 @@
88 88  
89 89  
90 90  
91 -//Timing//
92 -
93 93  * (% style="line-height: 1.4285715;" %)**On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling **(%%)(Bachelor)(% style="line-height: 1.4285715;" %)**
94 94  **(%%)Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
95 95  
96 -//SCCharts Modelling & Compilation//
94 +
97 97  
98 98  * (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
99 99  Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
100 100  * (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
101 101  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.
102 102  * **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
103 103  Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
104 104  * **Transformation of Circuits to SCCharts** (Bachelor/Master)
105 105  Implement a transformation that translates circuits to (dataflow) SCCharts.
106 -* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
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)
107 107  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
108 108  * **Curing Schizophrenia in SCCharts **(Master/Bachelor)
109 109  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
110 110  * **SCCharts Verification** (Master/Bachelor)
111 111  Add the possibility to perfom model checking on SCCharts
112 -* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
124 +* **Core SCCharts Interpreter** (Master/Bachelor)
125 +Implement an Interpreter for Core SCCharts.
126 +* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
113 113  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
116 116  
117 -//SCCharts Simulation//
129 +
118 118  
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.
142 142  * **Quartz **(Master)
143 143  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
144 144  
145 -
146 -
147 147  = (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
148 148  
149 149  **Advisors:** to be determined.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -20153308
1 +20153068
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/20153308/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/20153068/Topics for Student Theses