Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 93.1
edited by cds
on 2018/02/08 12:54
Change comment: There is no comment for this version
To version 94.1
edited by ssm
on 2018/04/06 10:35
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
... ... @@ -58,14 +58,8 @@
58 58  
59 59  //SCCharts Modelling & Transformations//
60 60  
61 -* (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
62 -Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
63 -* **Transformation of Circuits to SCCharts** (Bachelor/Master)
64 -Implement a transformation that translates circuits to (dataflow) SCCharts.
65 65  * **SCCharts Verification** (Master/Bachelor)
66 66  Add the possibility to perfom model checking on SCCharts
67 -* **Transformation Verification** (Master/Bachelor)
68 -Develop a method for SCCharts to check transformations for semantic equivalence.
69 69  * **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
70 70  Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
71 71  * **Raceyard evaluation** (Master)
... ... @@ -77,19 +77,14 @@
77 77  Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
78 78  * **SCG Optimization based on SSA **(Bachelor/Master)
79 79  The Static Single Assignment form enables powerful optimizations such as [[sparse conditional constant propagation>>url:http://dl.acm.org/citation.cfm?id=103136||shape="rect"]]. Adjust and implement this algorithm in the context of SCGs and evaluate the result.
80 -* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
81 -Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
82 82  * **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
83 83  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
84 -* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
85 -Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
76 +\\
86 86  
87 87  //SCCharts Simulation//
88 88  
89 89  * **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)
90 90  Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
91 -* **Environment Simulations for SCCharts** (Master/Bachelor)
92 -Develop a system to simulate environments (e.g. for Lego Mindstorms) for SCCharts in KIELER
93 93  * **Core SCCharts Interpreter** (Master/Bachelor)
94 94  Implement an Interpreter for Core SCCharts.
95 95  
... ... @@ -104,10 +104,6 @@
104 104  
105 105  //Synchronous Languages//
106 106  
107 -* **Incremental Compilation of SCEst** (Bachelor/Master)
108 -Modify the KIELER SCEst language so that KIELER is able to compile Esterel step-by-step to C via SCL.
109 -For Master Students: Also add the possibility to compile from SCCharts to SCEst.
110 -* **eSCL - Implementing {{code language="none"}}gotopause{{/code}}** (Bachelor/Master)
96 +* (% style="letter-spacing: 0.0px;" %)**eSCL - Implementing {{code language="none"}}gotopause{{/code}}**(%%) (Bachelor/Master)
111 111  Create an extended dialect of the SC Language including the {{code language="none"}}gotopause{{/code}} statement and implement a transformation to SCL.
112 -* **Quartz **(Master)
113 -Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
98 +\\
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -40894596
1 +40894630
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/40894596/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/40894630/Topics for Student Theses