Skip to Content

Changes for page Available Topics

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

Summary

Details

Page properties
Content
... ... @@ -83,20 +83,24 @@
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.
86 86  \\\\
87 87  * **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
88 88  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
89 89  * **Curing Schizophrenia in SCCharts **(Master/Bachelor)
90 90  Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
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.
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
95 95  \\\\
96 96  * **Quartz **(Master)
97 97  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
98 -* **Implementation of a priority-based compilation approach **(Master) 
99 -Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
102 +* --**Implementation of a priority-based compilation approach **(Master) --
103 +--Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.--
100 100  * **Raceyard evaluation** (Master)
101 101  Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
102 102  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -15532151
1 +15532274
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532151/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532274/Topics for Student Theses