Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 197.1
edited by Alexander Schulz-Rosengarten
on 2025/10/06 14:26
Change comment: There is no comment for this version
To version 189.1
edited by Alexander Schulz-Rosengarten
on 2024/03/11 12:04
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:** Alexander Schulz-Rosengarten, Reinhard von Hanxleden.
15 +**Advisors:** Niklas Rentz, 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,6 +19,10 @@
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 +
22 22  == Automatic Graph Layout ==
23 23  
24 24  **Advisors:** Sören Domrös, Max Kasperowski, Reinhard von Hanxleden.
... ... @@ -37,9 +37,9 @@
37 37  
38 38  * [[doc:Theses.Topics for Student Theses.A Machine Learning Approach for Node Size Approximation in Top-down Layout.WebHome]]
39 39  * [[doc:Theses.Topics for Student Theses.Node Placement with Flexible Node Size and Port Position.WebHome]]
40 -* [[Knot Layout>>doc:Theses.Completed Theses.2024 Bachelor, Jean-Pierre Runge\: Knot-Layout.WebHome]]
44 +* [[Knot Layout>>doc:.Knot-Layout.WebHome]]
41 41  * [[New Crossing Minimization strategies for ELK and their use for SCCharts>>doc:.Sfiting Crossing Minimization.WebHome]]
42 -* [[Ctrl + F for Diagrams>>doc:Theses.Completed Theses.[Pragmatics] 2025 Bachelor, Lena Harnack\: Ctrl + F for Diagrams.WebHome]]
46 +* [[Ctrl + F for Diagrams>>doc:.Ctrl + F for Diagrams.WebHome]]
43 43  
44 44  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.
45 45  
... ... @@ -49,7 +49,7 @@
49 49  
50 50  ==== **Topics** ====
51 51  
52 -See the navigation on the left / the list on the top of this page for concrete topics.
56 +* [[doc:Theses.Topics for Student Theses.Architecture Comparison Framework for Software Project Visualization.WebHome]]
53 53  
54 54  == Semantics, Synchronous Languages and Model-based Design ==
55 55  
... ... @@ -61,4 +61,6 @@
61 61  
62 62  **Advisors:** Jette Petzold, Reinhard v. Hanxleden
63 63  
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.
68 +==== **Topics** ====
69 +
70 +* [[doc:Theses.Topics for Student Theses.Reevaluation Suggestions in System-Theoretic Process Analysis.WebHome]]