<
From version < 114.1 >
edited by Alexander Schulz-Rosengarten
on 2020/10/15 07:36
To version < 110.1 >
edited by Alexander Schulz-Rosengarten
on 2020/08/28 11:59
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -54,6 +54,8 @@
54 54  
55 55  * **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
56 56  Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
57 +* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
58 +Implement analyses for data dependencies and scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
57 57  * **Javascript code generation** (Bachelor/Master)
58 58  Implement a javascript code generation for SCCharts. Integrate with simulation and (environment) visualization to deploy a complete example as standalone web page. Compare with [[HipHop.js >>url:https://dl.acm.org/ft_gateway.cfm?id=3167440&type=pdf||shape="rect"]]based on Esterel.
59 59  
... ... @@ -63,10 +63,21 @@
63 63  Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations.
64 64  * **Core SCCharts Interpreter** **with dynamic Scheduling** (Master/Bachelor)
65 65  Implement an Interpreter for Core SCCharts that supports SC Policies.
68 +* **Microstep-Simulation of Statecharts** (Master/Bachelor)
69 +Implement a method to do microstep simulation with SCCharts.
70 +* **Improve the Live Debugging of Statecharts** (Bachelor)
71 +Implement a dedicated debugging view for SCCharts.
66 66  
73 +//Model-based C Code Compilation//
74 +
75 +* **Execution of Recursive Dataflow Code** (Master/Bachelor)
76 +* **Execution of Concurrent Dataflow Code** (Master/Bachelor)
77 +Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs.
78 +For Master students: Implement both.
79 +
67 67  //Blech//
68 68  
69 -* Extraction of mode diagrams from Blech **[already in progress]**\\
82 +* Extraction of mode diagrams from Blech\\
70 70  
71 71  {{view-file att--filename="Extraction of mode diagrams.pdf" height="250"/}}
72 72  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -100434020
1 +78676049
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/100434020/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/78676049/Topics for Student Theses