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:05
on 2020/08/28 12:05
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,6 +63,10 @@ 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 67 67 //Model-based C Code Compilation// 68 68
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -7867605 11 +78676050 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/7867605 1/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/78676050/Topics for Student Theses