Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/08/19 10:04
From version 199.1
edited by Maximilian Kasperowski
on 2026/08/19 10:04
Change comment: There is no comment for this version
To version 197.2
edited by Maximilian Kasperowski
on 2026/03/09 09: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:** Rajib Chandra Das, 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  
... ... @@ -33,6 +33,7 @@
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 +
36 36  
37 37  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.
38 38  
... ... @@ -40,11 +40,11 @@
40 40  
41 41  **Advisors:** Maximilian Kasperowski, Reinhard von Hanxleden
42 42  
43 -Modeling pragmatics is concerned with the use of textual and graphical modeling particular for model-driven engineering. Topics in this area aim to create improvements in various aspects of this.
44 +
44 44  
45 45  == Semantics, Synchronous Languages and Model-based Design ==
46 46  
47 -**Advisors:** Daniel Mäckelmann, Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
48 +**Advisors:** Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
48 48  
49 49  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.
50 50