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

• Besuch des SDQ-Institutsseminars
• Halten von Vorträgen
• Microsoft Teams

Nächste Vorträge

Termine in Kalender importieren: iCal (Download)

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	Automation is used in factories to reduce manual labor. With an increasing level of automation, more and more devices are used to act, measure, and control the factory. Multiple vendors offer various device types with different functionalities; for example, motors for moving conveyor belts, sensors like light barriers, controllers to implement a specific behavior, and interface devices used to connect all devices and to reduce wiring. To enable the concurrent use of products of different vendors, they communicate with standardized protocols. To program a controller, an engineering tool is used to describe the topology of the system such that the programmer of the controller knows how to access data received from and how to send data to different devices. Device configuration files are imported into the engineering tool to provide information about the process data a device sends and expects to receive, about parameters that can be used to alter the behavior of a device, and about what diagnostic data the controller can expect from a device.Those configuration files are dependent on the protocol that is used for communication. One device type can support multiple protocols; therefore, multiple configuration files need to be provided for that device type. Since such configuration files can easily exceed thousands of lines in length, it is not efficient to write them by hand. Therefore, typically a generator is used to generate the configuration files based on some kind of description of the device type. We call the process of describing device types device type configuration and the system that is used for the process device type configuration system (DTCS). We propose a migration process from a database-based DTCS to a multi-level modeling DTCS. First, we analyze an industrial database-based DTCS to derive requirements for a DTCS. Then we present our migration process, which results in an FMMLx multi-level model with six levels. We evaluate the migration process with an expert survey. A model-driven approach enables model checking and consistent device types. Multi-level models enable the reuse of parts of the domain specific language.

Vortrag bearbeiten

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

Vortrag bearbeiten

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

Vortrag bearbeiten

Freitag, 30. Januar 2026, 14:00 Uhr

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

Erstellung einer Regelabdeckung für Modelltransformationen in Tests

Vortragende(r)	Mücahid Yenigün
Vortragstyp	Masterarbeit
Betreuer(in)	Erik Burger
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Vortrag bearbeiten

Freitag, 13. März 2026, 11:30 Uhr

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

Meta Modelling of Concrete Textual Syntax Patterns

Vortragende(r)	Thomas Heinen
Vortragstyp	Masterarbeit
Betreuer(in)	Lars König
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Vortrag bearbeiten

Freitag, 13. März 2026, 14:00 Uhr

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

A Reproducible Profiling Framework for a MQTT-to-Kafka Pipeline

Vortragende(r)	Jonas Bruer
Vortragstyp	Bachelorarbeit
Betreuer(in)	Maximilian Hummel
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	TBD

Vortrag bearbeiten

Performance Modeling and Evaluation of an MQTT–Kafka Based Data Streaming Architecture

Vortragende(r)	Bescher Kilani
Vortragstyp	Bachelorarbeit
Betreuer(in)	Maximilian Hummel
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	TBD

Vortrag bearbeiten

weitere Termine