SDQ-Institutsseminar
Das SDQ-Institutsseminar ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten in den zu Software Design and Quality (SDQ) gehörigen Forschungsgruppen innerhalb von KASTEL – Institut für Informationssicherheit und Verlässlichkeit zu informieren. Insbesondere soll Studierenden die Gelegenheit gegeben werden, über ihre Bachelor- und Masterarbeiten vor einem größeren Auditorium zu berichten. Schwerpunkte liegen dabei auf der Problemstellung, den Lösungsansätzen und den erzielten Ergebnissen. Das Seminar steht aber allen Studierenden und Mitarbeitenden des KIT sowie sonstigen Interessierten offen.
Das Seminar findet auf Wunsch hybrid mit online zugeschalteten Teilnehmenden statt. Bitte dies den Betreuenden rechtzeitig mitteilen, damit diese die notwendigen Geräte aufbauen können.
| Ort | Gebäude 50.34, Seminarraum 010 oder online, siehe Beschreibung | |
|---|---|---|
| Zeit | jeweils freitags, 14:00–15:30 Uhr |
Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten (siehe auch SDQ-Wiki):
- Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
- Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion
Weitere Informationen
Nächste Vorträge
Termine in Kalender importieren: iCal (Download)
Freitag, 22. Mai 2026, 14:00 Uhr
iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
| Vortragende(r) | Sami Naim |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Mahdi Jafari |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
| Vortragende(r) | Philipp Klaus |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Jan Keim |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Diese Arbeit stellt eine Pipeline vor, die unstrukturierte Kunden-E-Mails mittels LLM und RAG automatisch in strukturierte Jira-Tickets überführt. Durch die Einbindung heterogener Kontextquellen (Confluence, GitHub) aus einem SAP HANA Wissensgraphen wird die Ticket-Generierung kontextbewusst gesteuert. |
Freitag, 22. Mai 2026, 14:00 Uhr
iCal (Download)
Ort: Room 010 (building 50.34)
| Vortragende(r) | Lorenz Moser |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Raziyeh Dehghani |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | In modelling-heavy software-engineering projects, the relevant knowledge to understand the system is fragmented across heterogeneous source types such as research papers, project documentation, and source code. Vitruvius is one such project: an open-source framework for view-based software development and the technical core of the Convide Collaborative Research Centre. This fragmentation makes the onboarding of new users expensive. Therefore, this thesis develops a Retrieval-Augmented Generation (RAG) based chatbot for the Vitruvius domain in two variants: Naive RAG retrieves purely on semantic similarity, while Graph-Retrieval-Augmented Generation (GraphRAG) additionally exploits structural dependencies in the project’s knowledge base. The contributions are a knowledge organisation pipeline that handles each source type with its own chunking and graph- construction strategy, and the two retrieval variants built on it. To evaluate both variants, this thesis further contributes a 33-question Vitruvius-specific evaluation dataset and a joint evaluation combining a technical sweep, two pilot user studies with Vitruvius users (𝑛 = 5), and an alignment analysis between automated metrics and user perception. The identified Pareto-best GraphRAG configuration improves the mean of all retrieval metrics, such as recall@k and precision@k, by 4–21% over Naive RAG, The user study confirms that the sources retrieved by GraphRAG are more relevant: 3.2 to 2.9 on a 5-point Likert-scale. However, the retrieval-side advantage over Naive RAG comes with a 75% increased end-to- end latency and does not translate into measurably better generated answers. The alignment analysis only shows a weak correlation across all covered metric pairs (𝜌 < 0.20). |
Freitag, 12. Juni 2026, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
| Vortragende(r) | Benoît Legien |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Nicolas Boltz |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
| Vortragende(r) | Annika Kienle |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Arne Lange |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Folgt |
| Vortragende(r) | Daniil Wins |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Nicolas Boltz |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
Montag, 15. Juni 2026, 13:00 Uhr
iCal (Download)
Ort: Room 010 (building 50.34)
| Vortragende(r) | Linh Nguyen Phuong |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Raziyeh Dehghani |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Vitruvius is a framework for view-based model-driven software development that maintains a Virtual Single Underlying Model (vsum), which serves as a unified representation of all design artefacts and enforces consistency across associated views through declarative and imperative propagation rules. In the current architecture, all model changes are applied sequentially to a single global vsum state. This single-evolution constraint prevents developers from pursuing independent lines of work in parallel, making it impossible to experiment safely, develop features in isolation, or conduct concurrent multi-developer modeling activities. Consequently, the framework lacks a fundamental capability that version control systems have long provided for source code: the ability to branch, isolate, and later reconcile diverging development trajectories. This thesis designs and implements a branch-aware extension to the Vitruvius server that introduces branching as a first-class operation on the vsum. By leveraging Git as a storage backend, the extension is structured around four interdependent subsystems. The branch lifecycle subsystem provides explicit management of branch operations and parent-child tracking, with metadata persisted so that branch context survives checkout operations. The semantic change recording subsystem captures model modifications as typed, UUID-keyed entries, enabling fine-grained traceability. The merge handling subsystem uses these changelogs to detect and classify semantic conflicts before any file-level merge is attempted, supporting both automatic and manual resolution.
Finally, the model state versioning subsystem anchors named snapshots to Git tags to provide a controlled rollback mechanism. These operations are exposed through a REST API to facilitate integration with external tooling. We evaluate the extension against six stated goals through a functional test suite and a case study in the vehicle braking system domain. The results confirm that all goals are met, demonstrating that branch-aware model versioning can be integrated into Vitruvius without compromising its core consistency guarantees. |
Freitag, 3. Juli 2026, 14:00 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
| Vortragende(r) | Jonas Strittmatter |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Dominik Fuchß |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Fatih Çatalkaya |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Maximilian Hummel |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
| Vortragende(r) | Julika Krüger |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Anne Koziolek |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Generative AI-assisted programming tools such as GitHub Copilot have increasingly shaped modern software development. Despite their widespread use, prior research has indicated that frequent or multi-line suggestions can distract the developer and break their flow. To address this, we propose an alternative presentation approach for AI-generated code suggestions that aims to minimize disruptions by introducing an opt-in mechanism, where suggestions are displayed only upon explicit user request, and evaluate its impact on the overall programming experience. |