Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/08/19 10:04
From version 198.1
edited by Maximilian Kasperowski
on 2026/03/09 09:06
Change comment: There is no comment for this version
To version 199.1
edited by Maximilian Kasperowski
on 2026/08/19 10: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:** Rajib Chandra Das, 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  
... ... @@ -33,7 +33,6 @@
33 33  
34 34  Die Entwicklung geschieht im [[Eclipse Layout Kernel>>url:http://www.eclipse.org/elk||shape="rect"]]-Projekt (kurz ELK), einem offiziellen Eclipse-Projekt welches hauptsächlich wir betreuen und weiter entwickeln. Ergebnisse in diesem Bereich fließen damit einer tatsächlich existierenden Nutzerbasis zu.
35 35  
36 -
37 37  
38 38  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.
39 39  
... ... @@ -45,7 +45,7 @@
45 45  
46 46  == Semantics, Synchronous Languages and Model-based Design ==
47 47  
48 -**Advisors:** Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
47 +**Advisors:** Daniel Mäckelmann, Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
49 49  
50 50  Synchronous languages are well-established for the design of embedded, in particular safety-critical systems. One of our research areas concerns the further development of such languages and their efficient compilation. Specifically, we explore the paradigm of "sequential constructiveness" for reconciling familiar, imperative programming concepts with the sound grounding of synchronous languages. One language we have developed to try out and validate our concepts is the [[SCCharts>>url:https://github.com/kieler/semantics/wiki||shape="rect"]] language, which keeps evolving and thus offers many opportunities for student theses.
51 51