Changes for page Available Topics
Last modified by Niklas Rentz on 2025/03/13 09:21
<
>
edited by Alexander Schulz-Rosengarten
on 2020/08/28 07:37
on 2020/08/28 07:37
edited by Soeren Domroes
on 2019/09/16 10:30
on 2019/09/16 10:30
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. als1 +XWiki.sdo - 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. 68 68 * **Microstep-Simulation of Statecharts** (Master/Bachelor) 69 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. 72 72 73 73 //Model-based C Code Compilation// 74 74 ... ... @@ -77,12 +77,6 @@ 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 - 86 86 \\ 87 87 88 88 \\
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -7 86760481 +71401564 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/7 8676048/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/71401564/Topics for Student Theses