Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 70.1
edited by cds
on 2016/02/19 13:56
Change comment: There is no comment for this version
To version 74.1
edited by ssm
on 2016/08/05 14:24
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cds
1 +XWiki.ssm
Content
... ... @@ -88,6 +88,11 @@
88 88  
89 89  
90 90  
91 +* (% style="line-height: 1.4285715;" %)**On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling **(%%)(Bachelor)(% style="line-height: 1.4285715;" %)**
92 +**(%%)Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
93 +
94 +
95 +
91 91  * (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
92 92  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)
... ... @@ -96,30 +96,30 @@
96 96  Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
97 97  * **Incremental Compilation of SCEst** (Bachelor/Master)
98 98  Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
99 -* **Model-based Compilation of Legacy C Programs** (Bachelor/Master)
100 -Implement a model-based compiler in KIELER that is able to compile C to (S)CCharts and then back to C again.
104 +* **Incremental Model-based Compilation of Legacy C Programs** (Bachelor/Master)
105 +Modify the model-based compiler in KIELER so that it is able to compile C to (S)CCharts incrementally.
101 101  * **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
102 102  Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
103 103  * **Transformation of Circuits to SCCharts** (Bachelor/Master)
104 104  Implement a transformation that translates circuits to (dataflow) SCCharts.
105 -* **On the Pragmatics of Interactive Timing Information Feedback for graphical modeling** (Bachelor)
106 -Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
107 -\\\\
110 +
111 +
112 +
108 108  * **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
109 109  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
110 110  * **Curing Schizophrenia in SCCharts **(Master/Bachelor)
111 111  Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
112 -* **SCCharts Debugging** (Master/Bachelor)
113 -Implement more sophisticated debugging mechanisms (e.g. breakpoints, observers) for SCCharts
114 114  * **Environment Simulations for SCCharts** (Master/Bachelor)
115 115  Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
116 116  * **SCCharts Verification** (Master/Bachelor)
117 117  Add the possibility to perfom model checking on SCCharts
118 -\\\\
121 +* **Core SCCharts Interpreter** (Master/Bachelor)
122 +Implement an Interpreter for Core SCCharts.
123 +
124 +
125 +
119 119  * **Quartz **(Master)
120 120  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
121 -* --**Implementation of a priority-based compilation approach **(Master) --
122 ---Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.--
123 123  * **Raceyard evaluation** (Master)
124 124  Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
125 125  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -15532293
1 +20152346
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532293/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/20152346/Topics for Student Theses