Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 189.1
edited by Alexander Schulz-Rosengarten
on 2024/03/11 12:04
Change comment: There is no comment for this version
To version 197.1
edited by Alexander Schulz-Rosengarten
on 2025/10/06 14:26
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -12,7 +12,7 @@
12 12  
13 13  == REAKT – Railway Research ==
14 14  
15 -**Advisors:** Niklas Rentz, Alexander Schulz-Rosengarten, Reinhard von Hanxleden.
15 +**Advisors:** Alexander Schulz-Rosengarten, Reinhard von Hanxleden.
16 16  
17 17  In a nutshell, the REAKT-Initiative aims to make railway systems fit for the future, with the track Malente – Lütjenburg available as real-world laboratory ([[https:~~/~~/www.schiene-m-l.de/>>url:https://www.schiene-m-l.de/||rel="nofollow" shape="rect" class="external-link"]] and [[https:~~/~~/reakt.sh/>>https://reakt.sh/]]).
18 18  
... ... @@ -19,10 +19,6 @@
19 19  There is a broad set of topics to be worked on, also as a Bachelor or Master's thesis.
20 20  Things are developing faster than this web site can keep up, we recommend to contact one of the advisors listed above.
21 21  
22 -[[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/1.png?version=1&modificationDate=1678441658000&api=v2||height="312" width="347"]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/5.jpg?version=1&modificationDate=1678441784000&api=v2||height="311" width="414"]]
23 -
24 -[[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/2.jpg?version=1&modificationDate=1678441677000&api=v2||height="76" width="172"]][[image:url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606491/3.jpg?version=1&modificationDate=1678441718000&api=v2||height="83" width="113"]]
25 -
26 26  == Automatic Graph Layout ==
27 27  
28 28  **Advisors:** Sören Domrös, Max Kasperowski, Reinhard von Hanxleden.
... ... @@ -41,9 +41,9 @@
41 41  
42 42  * [[doc:Theses.Topics for Student Theses.A Machine Learning Approach for Node Size Approximation in Top-down Layout.WebHome]]
43 43  * [[doc:Theses.Topics for Student Theses.Node Placement with Flexible Node Size and Port Position.WebHome]]
44 -* [[Knot Layout>>doc:.Knot-Layout.WebHome]]
40 +* [[Knot Layout>>doc:Theses.Completed Theses.2024 Bachelor, Jean-Pierre Runge\: Knot-Layout.WebHome]]
45 45  * [[New Crossing Minimization strategies for ELK and their use for SCCharts>>doc:.Sfiting Crossing Minimization.WebHome]]
46 -* [[Ctrl + F for Diagrams>>doc:.Ctrl + F for Diagrams.WebHome]]
42 +* [[Ctrl + F for Diagrams>>doc:Theses.Completed Theses.[Pragmatics] 2025 Bachelor, Lena Harnack\: Ctrl + F for Diagrams.WebHome]]
47 47  
48 48  Further possible thesis topics can be found [[in ELK's GitHub repository>>url:https://github.com/eclipse/elk/issues?q=is%3Aissue+is%3Aopen+label%3Athesis||shape="rect"]]. Note, however, that some issues there may already be worked on.
49 49  
... ... @@ -53,7 +53,7 @@
53 53  
54 54  ==== **Topics** ====
55 55  
56 -* [[doc:Theses.Topics for Student Theses.Architecture Comparison Framework for Software Project Visualization.WebHome]]
52 +See the navigation on the left / the list on the top of this page for concrete topics.
57 57  
58 58  == Semantics, Synchronous Languages and Model-based Design ==
59 59  
... ... @@ -65,6 +65,4 @@
65 65  
66 66  **Advisors:** Jette Petzold, Reinhard v. Hanxleden
67 67  
68 -==== **Topics** ====
69 -
70 -* [[doc:Theses.Topics for Student Theses.Reevaluation Suggestions in System-Theoretic Process Analysis.WebHome]]
64 +Safety-critical systems must be well designed to prevent accidents. To find failures during the development of the system risk analysis techniques are used. We focus specifically on System-Theoretic Process Analysis (STPA). To support the analsysis we developed the VS Code Extension PASTA, which provides a textual DSL for STPA and automatically synthesysis diagrams to give tha analyst a better overview.