Changes for page Available Topics
Last modified by Alexander Schulz-Rosengarten on 2025/10/06 14:26
<
>
edited by Soeren Domroes
on 2019/09/16 10:30
on 2019/09/16 10:30
edited by Alexander Schulz-Rosengarten
on 2020/08/28 07:37
on 2020/08/28 07:37
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki.s do1 +XWiki.als - Content
-
... ... @@ -65,10 +65,10 @@ 65 65 Use the already implemented Model-to-Model-Tracing in KIELER to visualize simulations. 66 66 * **Core SCCharts Interpreter** **with dynamic Scheduling** (Master/Bachelor) 67 67 Implement an Interpreter for Core SCCharts that supports SC Policies. 68 -* **Live Debugging of Statecharts** (Master/Bachelor) 69 -Implement a dedicated debugging view for SCCharts. 70 70 * **Microstep-Simulation of Statecharts** (Master/Bachelor) 71 71 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. 72 72 73 73 //Model-based C Code Compilation// 74 74 ... ... @@ -77,6 +77,12 @@ 77 77 Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs. 78 78 For Master students: Implement both. 79 79 80 +//Blech// 81 + 82 +* Extraction of mode diagrams from Blech\\ 83 + 84 +{{view-file att--filename="Extraction of mode diagrams.pdf" height="250"/}} 85 + 80 80 \\ 81 81 82 82 \\
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -7 14015641 +78676048 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/7 1401564/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/78676048/Topics for Student Theses