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 12:06
on 2020/08/28 12:06
edited by Alexander Schulz-Rosengarten
on 2020/08/28 12:02
on 2020/08/28 12:02
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -63,7 +63,18 @@ 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. 66 +* **Microstep-Simulation of Statecharts** (Master/Bachelor) 67 +Implement a method to do microstep simulation with SCCharts. 68 +* **Improve the Live Debugging of Statecharts** (Bachelor) 69 +Implement a dedicated debugging view for SCCharts. 66 66 71 +//Model-based C Code Compilation// 72 + 73 +* **Execution of Recursive Dataflow Code** (Master/Bachelor) 74 +* **Execution of Concurrent Dataflow Code** (Master/Bachelor) 75 +Modify the model-based dataflow compiler in KIELER so that it is able to compile recursive/concurrent C programs. 76 +For Master students: Implement both. 77 + 67 67 //Blech// 68 68 69 69 * Extraction of mode diagrams from Blech\\
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -78676 3241 +78676050 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/78676 324/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/78676050/Topics for Student Theses