Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 94.1
edited by ssm
on 2018/04/06 10:35
Change comment: There is no comment for this version
To version 93.1
edited by cds
on 2018/02/08 12:54
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.cds
Content
... ... @@ -58,8 +58,14 @@
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.
61 61  * **SCCharts Verification** (Master/Bachelor)
62 62  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.
63 63  * **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
64 64  Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
65 65  * **Raceyard evaluation** (Master)
... ... @@ -71,14 +71,19 @@
71 71  Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
72 72  * **SCG Optimization based on SSA **(Bachelor/Master)
73 73  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.
74 74  * **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
75 75  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
76 -\\
84 +* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
85 +Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
77 77  
78 78  //SCCharts Simulation//
79 79  
80 80  * **Visualization of Model-based Simulation via Tracing** (Bachelor/Master)
81 81  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
82 82  * **Core SCCharts Interpreter** (Master/Bachelor)
83 83  Implement an Interpreter for Core SCCharts.
84 84  
... ... @@ -93,6 +93,10 @@
93 93  
94 94  //Synchronous Languages//
95 95  
96 -* (% style="letter-spacing: 0.0px;" %)**eSCL - Implementing {{code language="none"}}gotopause{{/code}}**(%%) (Bachelor/Master)
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)
97 97  Create an extended dialect of the SC Language including the {{code language="none"}}gotopause{{/code}} statement and implement a transformation to SCL.
98 -\\
112 +* **Quartz **(Master)
113 +Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -40894630
1 +40894596
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/40894630/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/40894596/Topics for Student Theses