SDQ-Institutsseminar: Unterschied zwischen den Versionen

Aktuelle Version vom 1. April 2025, 13:44 Uhr

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, 5. Dezember 2025, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

A RAAML-driven case study in automotive safety analysis
Vortragende(r)	Lukas Friedrich
Vortragstyp	Bachelorarbeit
Betreuer(in)	Muhammad Asim Minhas
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	As automotive systems become increasingly complex, understanding and mitigating risks is crucial for ensuring safety and reliability. The Risk Analysis and Assessment Modeling Language (RAAML) provides a structured approach to identifying and evaluating potential risks. This thesis offers the opportunity to develop a comprehensive case study utilizing RAAML, providing valuable insights into its practical application in the automotive industry. By contributing to this field, you will help enhance the safety protocols and risk management strategies in automotive design. The case study involves a braking system in modern cars. The primary objective is to understand the potential risks associated with this system and develop a comprehensive RAAML model to evaluate its safety and reliability.

Guided Exploration and Visualization of Trace Links in Visual Studio Code
Vortragende(r)	Julian Robin Winter
Vortragstyp	Bachelorarbeit
Betreuer(in)	Kevin Feichtinger
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	This thesis presents the development of a Visual Studio Code extension for the interactive exploration of trace links in software projects. The extension integrates trace links generated by ArDoCo and LiSSA and visualizes them directly within the development environment. Developers can explore relationships between documentation, models, and code using multiple visualization modes. The goal is to improve program comprehension and support typical tasks without disrupting the workflow. A user study is conducted to evaluate the usability and effectiveness of the tool.

Freitag, 12. Dezember 2025, 11:30 Uhr

iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: https://sdq.kastel.kit.edu/institutsseminar/Microsoft_Teams

Dead Code Analysis: Combination of static analysis with runtime monitoring
Vortragende(r)	Steffen Steudle
Vortragstyp	Masterarbeit
Betreuer(in)	Manar Mazkatli
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Dead, unused or unreachable code degrades source code maintainability and comprehensibility. Dead code analyses aim to identify such code, allowing developers to safely remove it. However, due to dynamic language features, purely static analyses often produce false positives. This master's thesis presents a hybrid approach to reduce these false positives. We first analyze the code statically to identify potential dead code. Based on these static results, we then instrument the code to collect runtime information about which parts are actually used during execution. This combination of static analysis with dynamic validation allows us to filter out false positives, providing developers with more accurate and reliable results for improving code health.

Tackling Orphaned Commits in Architectural Design Decision Recovery - The Addar Platform
Vortragende(r)	Eric Wehner
Vortragstyp	Bachelorarbeit
Betreuer(in)	Tobias Hey
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Vitruv OCL Current State of the Art
Vortragende(r)	Max Oesterle
Vortragstyp	Vortrag
Betreuer(in)	Arne Lange
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	Im Kontext von modellbasierter Softwareentwicklung stellt die Konsistenzerhaltung zwischen verschiedenen Metamodellen eine zentrale Herausforderung dar. VitruviusOCL erweitert die Object Constraint Language (OCL) um Mechanismen zur deklarativen Spezifikation von Consistency Relations in einer VSUM (Virtual Single Underlying Model).

Freitag, 19. Dezember 2025, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: https://teams.microsoft.com/l/meetup-join/19:meeting_NWQ1NWYyMWItYWQ1ZC00OWJjLWFiZTctNTMyNmYzNDU0NjM0@thread.v2/0?context={"Tid":"4f5eec75-46fd-43f8-8d24-62bebd9771e5","Oid":"0680a2c5-0cea-4945-b259-9b8a44489863"}

Analysis of Project-Intrinsic Context for Automated Traceability between Documentation and Code
Vortragende(r)	Tobias Thirolf
Vortragstyp	Bachelorarbeit
Betreuer(in)	Dominik Fuchß
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Freitag, 9. Januar 2026, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

Concept of a Migration Process from a Database-Based Device Type Configuration System to a Model-Driven System
Vortragende(r)	Malte Püschner
Vortragstyp	Masterarbeit
Betreuer(in)	Thomas Weber
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Freitag, 23. Januar 2026, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

The Role of Context in Automated Requirements-to-Requirements Traceability Link Recovery
Vortragende(r)	David Bauch
Vortragstyp	Masterarbeit
Betreuer(in)	Dominik Fuchß
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Transformation of Xbase Expressions to Relational Query Operations
Vortragende(r)	Nils Lambertz
Vortragstyp	Masterarbeit
Betreuer(in)	Lars König
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

weitere Termine

@@ Zeile 1: / Zeile 1: @@
-Das Institutsseminar des [https://www.ipd.kit.edu Instituts für Programmstrukturen und Datenorganisation (IPD)] ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten am Institut zu informieren. Insbesondere soll Studierenden am Institut 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 Mitarbeiter/-innen des KIT sowie sonstigen Interessierten offen.
+Das SDQ-Institutsseminar ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten in den zu [https://sdq.kastel.kit.edu Software Design and Quality (SDQ)] gehörigen Forschungsgruppen innerhalb von  [https://www.kastel.kit.edu 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.
 {| class="wikitable"
+! {{FA|fa-building fa-regular fa-2x}}
 ! Ort
-| Gebäude 50.34, Seminarraum 348
+| Gebäude 50.34, Seminarraum 010 oder online, siehe Beschreibung
 |-
+! {{FA|fa-solid fa-calendar-day fa-2x}}
 ! Zeit
-| jeweils freitags, 11:30–13:00 Uhr
+| jeweils freitags, 14:00–15:30 Uhr
 |}
-Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten:
+Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten (siehe auch [[sdqwiki:Umfang von Ausarbeitungen und Vorträgen|SDQ-Wiki]]):
 * Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
 * Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion
-* Proposal: 12 Minuten Redezeit + 8 Minuten Diskussion
-Weitere Informationen: https://sdqweb.ipd.kit.edu/wiki/Institutsseminar. Bei Fragen und Anmerkungen können Sie eine E-Mail an das [mailto:institutsseminar@ipd.kit.edu Institutsseminar-Team] schreiben.
+=== Weitere Informationen ===
+* [[Besuch des SDQ-Institutsseminars]]
+* [[Halten von Vorträgen]]
+* [[Microsoft Teams]]
 == Nächste Vorträge ==
+Termine in Kalender importieren: {{#ask: [[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]]
+ |?Veranstaltungstitel=summary
+ |?Veranstaltungsdatum=start
+ |?Veranstaltungsende=end
+ |?Veranstaltungsraum=location
+ |?Veranstaltungszusammenfassung=description
+ |format=iCalendar
+ |searchlabel={{FA|fa-solid fa-file-arrow-down}} iCal (Download)
+}}
 {{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]]
-|mainlabel=-
+|mainlabel=Name
-|?Veranstaltungsdatum#ISO=Datum
+|?Veranstaltungsdatum#DE-F[l, j. F Y, H:i \U\h\r]
+|?Veranstaltungsraum
+|?Webkonferenzraum
+|?Vortragssprache
 |sort=Veranstaltungsdatum
 |order=ascending
-|limit=1
+|limit=5
 |format=plainlist
-|template=Termine für Datum
+|template=Termin-Ergebnis
 |named args=yes
-|searchlabel=
+|searchlabel = weitere Termine
 |link=none
 }}
 __NOEDITSECTION__
+__NOTOC__