Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 63.1
edited by ssm
on 2016/02/11 15:01
Change comment: There is no comment for this version
To version 62.1
edited by ssm
on 2016/01/20 11:02
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -83,24 +83,20 @@
83 83  Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
84 84  * **Model-based Compilation of Legacy C Programs** (Bachelor/Master)
85 85  Implement a model-based compiler in KIELER that is able to compile C to (S)CCharts and then back to C again.
86 -* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
87 -Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
88 -* **Transformation of Circuits to SCCharts** (Bachelor/Master)
89 -Implement a transformation that translates circuits to (dataflow) SCCharts.
90 90  \\\\
91 91  * **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
92 92  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
93 93  * **Curing Schizophrenia in SCCharts **(Master/Bachelor)
94 94  Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
95 -* **SCCharts Debugging** (Master/Bachelor)
96 -Implement more sophisticated debugging mechanisms (e.g. breakpoints, observers) for SCCharts
97 -* **Environment Simulations for SCCharts** (Master/Bachelor)
98 -Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
91 +* --**Hybrid Models for Legacy Code Extraction **(Master/Bachelor)--
92 +--Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.--
93 +* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
94 +Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
99 99  \\\\
100 100  * **Quartz **(Master)
101 101  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
102 -* --**Implementation of a priority-based compilation approach **(Master) --
103 ---Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.--
98 +* **Implementation of a priority-based compilation approach **(Master) 
99 +Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
104 104  * **Raceyard evaluation** (Master)
105 105  Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
106 106  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -15532274
1 +15532151
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532274/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532151/Topics for Student Theses