Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 197.3
edited by Maximilian Kasperowski
on 2026/03/09 09:05
Change comment: There is no comment for this version
To version 33.1
edited by ssm
on 2014/08/27 10:47
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -Available Topics
1 +Topics for Student Theses
Parent
... ... @@ -1,1 +1,0 @@
1 -Theses.WebHome
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.mka
1 +XWiki.ssm
Content
... ... @@ -1,56 +1,75 @@
1 -Hier eine Themenübersicht, gefolgt von etwas detaillierteren Darstellungen. Generell sind Themenvariationen möglich, und auch selbst definierte Themen aus dem Bereich Echtzeitsysteme/Eingebettete Systeme können gerne besprochen werden. Ein weiterer Weg, um in kompakter Form einen Einblick in aktuelle Themen der Arbeitsgruppe zu bekommen, ist die Teilnahme an dem regelmäßig zu Semesterende bzw. in der vorlesungsfreien Zeit angebotenen Oberseminar.
1 +Here's a selection of possible bachelor and master topics. If you're interested in one of them, don't hesitate to contact us! We'll sit down, have tea, and talk about what we could do together.
2 2  
3 -**Hinweis**: Es ist Studierenden ausdrücklich empfohlen, sich frühzeitig bei den verschiedenen Arbeitsgruppen über mögliche Themen der Abschlussarbeit zu informieren. Seiten wie diese hier sind ein guter erster Anlaufpunkt, und es ist eine gute Idee, sich vor einem Gespräch mit einem potenziellen Betreuer (Professor, Assistenten ~-~- generell die Dozenten von Lehrveranstaltungen) über mögliche Themen einen Blick auf diese Seiten zu werfen. Es ist jedoch erfahrungsgemäß schwierig, auf solchen Seiten vollständige und aktuelle Informationen bereitzustellen; sie sollten daher eher als grober Indikator der jeweils möglichen Themenfelder dienen denn als konkrete Ausschreibungen. Um zu erfahren, welche Themen konkret verfügbar sind, zu dem angestrebten Zeitrahmen, sollte man auf jeden Fall die Dozenten konsultieren.
3 += Bachelor Topics =
4 4  
5 -= Konkrete Steckbriefe zu Abschlussthemen =
5 +== Graph Layout ==
6 6  
7 -{{velocity}}
8 -{{documentTree root="document:$doc.documentReference" showAttachments=false showChildDocuments=false compact=true /}}
9 -{{/velocity}}
7 +* (% style="line-height: 1.4285715;" %)**Implement Greedy Switch Heuristic for Crossing Minimization**(%%)
8 +The order of nodes in a layer determines the number of crossings and is computed during the crossing minimization step. The results can usually be further improved by switching the order of nodes around, which we currently lack proper algorithms for. 
9 +* **{{jira columns="key,summary,type,created,updated,due,assignee,reporter,priority,status,resolution" id="KIELER JIRA" serverId="2851bd34-0bf1-3f02-ab12-7d77ccab0fae" key="KIPRA-891"}}KIPRA-891{{/jira}}Layering Algorithms**
10 +Implement an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout.
11 +* **Integrate KIML with JGraph**
12 +Provide automatic layout through KIML for the JGraph diagram library and develop a simple JGraph-based graph editor to test the integration with.
13 +* **{{jira showSummary="true" columns="key,summary,type,created,updated,due,assignee,reporter,priority,status,resolution" id="KIELER JIRA" serverId="2851bd34-0bf1-3f02-ab12-7d77ccab0fae" key="KIPRA-1214"}}KIPRA-1214{{/jira}}Improved Edge Label Placement**
14 +Our layout algorithm already supports the placement of edge labels. However, there's still room for improvement...
10 10  
11 -= Allgemeine Themenbereiche =
16 +== Modeling Pragmatics ==
12 12  
13 -== REAKT – Railway Research ==
18 +* **Comment Attachment**
19 +When computing a new layout for a diagram that contains comments (comparable to comments in source code), the comments often get placed far away of the nodes they refer to. This is because often the reference is not explicitly encoded in the original model. We have used a distance-based metric in the past to discover references automatically, but there are lots of ideas for improvement. This bachelor thesis would implement them, perhaps come up with additional ideas, and finally evaluate them in a thorough experiment.
20 +* **Control Flow Graph Exploration / Visualization**
21 +Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using Klighd.
22 +* **OMG DD Format**
23 +Explore the mapping of [[KGraph>>doc:KGraph Meta Model]] / [[KRendering>>doc:The KRendering Notation Model]] to the [[Diagram Definition>>url:http://www.omg.org/spec/DD/||shape="rect"]] format of the OMG.
14 14  
15 -**Advisors:** Alexander Schulz-Rosengarten, Reinhard von Hanxleden.
25 +== Semantics and Synchronous Languages ==
16 16  
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/]]).
27 +* **Validation Manager for Models**
28 +Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
29 +* **SCCharts compiler validation with Esterel**
30 +Automate the validation of the SCCharts compiler using the Esterel simulation.
31 +* **Transformation from SCCharts to Esterel** [possibly also Master Topic]
32 +Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
33 +* **Hardware Synthesis from SCCharts to FPGA**
34 +* **Automatic documentation generation out of annotations **[possibly also Master Topic]
35 +* **Optimizations for the SCCharts compiler**
18 18  
19 -There is a broad set of topics to be worked on, also as a Bachelor or Master's thesis.
20 -Things are developing faster than this web site can keep up, we recommend to contact one of the advisors listed above.
37 +== Miscellaneous Topics ==
21 21  
22 -== Automatic Graph Layout ==
39 +* **Developing an Info Screen**
40 +Info screens are screens that present data in ways that can be easily understood. This includes static data (project description graphics, members of a team, ...) as well as dynamically aggregated data (bug statistics, automatic build overviews, ...). This topic is about developing such an info screen for our group and making it easily configurable.
23 23  
24 -**Advisors:** Sören Domrös, Max Kasperowski, Reinhard von Hanxleden.
42 +----
25 25  
26 -Ein sehr wichtiges Gebiet für uns ist das automatische Layout von Diagrammen. Hierfür gibt es bereits Werkzeuge, die gute Algorithmen enthalten, so dass viele Diagramme bereits jetzt übersichtlich und automatisiert angeordnet werden können (siehe z.B. [[Graphviz>>url:http://www.graphviz.org/||shape="rect" class="external-link"]]). Für einige besondere Arten von Diagrammen sind diese allgemeinen Algorithmen jedoch nicht geeignet, da zusätzliche Anforderungen an das Layout erfüllt werden müssen. Außerdem ist häufig die technische Anbindung vorhandener Algorithmen umständlich. Nutzer müssen sich mit der Funktionsweise der Algorithmen beschäftigen, um sie für ihre Anwendung optimal konfigurieren zu können.
44 += (% style="color: rgb(0,0,0);" %)Master Topics(%%) =
27 27  
28 -Wir verfolgen drei Themenbereiche, die zusammen solche Probleme lösen und den Nutzen von automatischem Layout erhöhen sollen:
46 +== Graph Layout ==
29 29  
30 -//» Algorithmen-Entwicklung.// Wir implementieren vorhandene Ansätze zum Layout von Graphen in Java und binden sie in unser Projekt ein. Der Schwerpunkt liegt auf dem Entwurf von Erweiterungen, die spezielle Anforderungen unterstützen, z.B. für Datenfluss-Diagramme. Dies ist gut für alle geeignet, die sich gerne mit Graphentheorie, effizienten Algorithmen oder kombinatorischer Optimierung beschäftigen.
48 +* **Layering Algorithms**
49 +Develop an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout. The algorithm shall be extended to consider the number of edge crossings and an optimal aspect ratio.
50 +* **Node Placement**
51 +Develop a new node placement algorithm that finds a good balance between keeping edges straight and keeping the drawing from getting too big.
52 +* (% style="line-height: 1.4285715;" %)**Compound Graph Layout**(%%)
53 +Design and implement new concepts for computing layer-based layouts of compound graphs. The main focus shall be on //maintainability//: ensuring that the implementation can be kept working over the years.
54 +* **Force Based Drawing with Port Constraints**
55 +Develop methods for integrating port constraints in force-based drawing approaches. The resulting node placement shall be evaluated using an edge router such as [[libavoid>>url:http://www.adaptagrams.org/||shape="rect"]] on the model library of [[Ptolemy>>url:http://ptolemy.eecs.berkeley.edu/||shape="rect"]].
56 +* **Combining Forces and Layers
57 +**Design and implement a layout algorithm that combines the force-based and the layer-based approaches. The first three phases of the layer-based approach shall be replaced by a node distribution computed with a force-based approach.
31 31  
32 -//» Dienste.// Algorithmen und Meta Layout müssen den Anwendern zugänglich gemacht werden, damit ein Nutzen daraus entsteht. Dazu müssen wir verschiedenste graphische Frameworks mit vorhandenen Layout-Bibliotheken integrieren und eine Reihe von Werkzeugen entwickeln, mit denen die Verfügbarkeit unserer Lösungen gesteigert wird. Hierzu gehört z.B. die Unterstützung von Standard-Graphenformaten sowie ein Web-Service für automatisches Layout.
59 +== Modeling Pragmatics ==
33 33  
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 -
36 36  
37 37  
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.
63 +* **Diagram Description Language**
64 +Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
39 39  
40 -== Modeling Pragmatics ==
66 +== Semantics and Synchronous Languages ==
41 41  
42 -**Advisors:** Maximilian Kasperowski, Reinhard von Hanxleden
43 -
44 -Modeling pragmatics is concerned with thof textual and graphical modeling. Topcis in this area aim to create improvements in various aspects of this.
45 -
46 -== Semantics, Synchronous Languages and Model-based Design ==
47 -
48 -**Advisors:** Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
49 -
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 -
52 -== Safety Analysis ==
53 -
54 -**Advisors:** Jette Petzold, Reinhard v. Hanxleden
55 -
56 -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 +* **Quartz**
69 +Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
70 +* **Implementation of a priority-based compilation approach**
71 +* **Curing Schizophrenia with Depth Join**
72 +* **Adding dataflow to SCCharts**
73 +* **Detecting tick boundaries in SCCharts**
74 +* **Preserving concurrency for multi-core **
75 +* **Railway 2.0**
Extraction of mode diagrams.pdf
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -848.4 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -884742
1 +9471792
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/884742/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/9471792/Topics for Student Theses