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 83.1
edited by nbw
on 2016/10/10 15:56
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.nbw
Content
... ... @@ -88,51 +88,62 @@
88 88  
89 89  
90 90  
91 +//Timing//
92 +
91 91  * (% style="line-height: 1.4285715;" %)**On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling **(%%)(Bachelor)(% style="line-height: 1.4285715;" %)**
92 92  **(%%)Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
93 93  
94 -
96 +//SCCharts Modelling & Compilation//
95 95  
96 96  * (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
97 97  Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
98 98  * (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
99 99  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.
107 107  * **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
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 -
114 -
115 -
116 -* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
106 +* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
117 117  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
118 118  * **Curing Schizophrenia in SCCharts **(Master/Bachelor)
119 119  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
122 122  * **SCCharts Verification** (Master/Bachelor)
123 123  Add the possibility to perfom model checking on SCCharts
124 -* **Core SCCharts Interpreter** (Master/Bachelor)
125 -Implement an Interpreter for Core SCCharts.
126 -* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
112 +* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
127 127  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
128 128  
129 -
117 +//SCCharts Simulation//
130 130  
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.
131 131  * **Quartz **(Master)
132 132  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
135 135  
145 +
146 +
136 136  = (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
137 137  
138 138  **Advisors:** to be determined.
... ... @@ -139,3 +139,6 @@
139 139  
140 140  * **Developing an Info Screen** (Bachelor)
141 141  Info screens are screens that present data in ways that can be easily understood. This includes static data (project description graphics, members of a team, ...) as well as dynamically aggregated data (bug statistics, automatic build overviews, ...). This topic is about developing such an info screen for our group and making it easily configurable.
153 +\\
154 +* **Developing a domain specific language (DSL) for model railway control** (Bachelor/Master)
155 +We maintain a model railway installation as a demonstrator for our work and as a student teaching tool. Especially for demonstations to non-technical visitors we would like to have a simple language to create controllers for the railway.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -20153068
1 +20153947
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/20153947/Topics for Student Theses