Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.als
	1	+XWiki.sdo

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, Niklas Rentz, 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
...	...	@@ -41,7 +41,7 @@
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]]
	44	+* [[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	46	* [[Ctrl + F for Diagrams>>doc:.Ctrl + F for Diagrams.WebHome]]
47	47
...	...	@@ -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]]
	68	+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.