SDQ-Institutsseminar: Unterschied zwischen den Versionen

Aus SDQ-Institutsseminar
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 19: Zeile 19:
== Nächste Vorträge ==
== Nächste Vorträge ==
{{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]]
{{#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
|sort=Veranstaltungsdatum
|sort=Veranstaltungsdatum
|order=ascending
|order=ascending
|limit=2
|limit=5
|format=plainlist
|format=plainlist
|template=Termine für Datum
|template=Termin-Ergebnis
|named args=yes
|named args=yes
|searchlabel=
|searchlabel=

Version vom 24. September 2021, 13:36 Uhr

Das Institutsseminar des 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.

Ort Gebäude 50.34, Seminarraum 348 oder online, siehe Beschreibung
Zeit jeweils freitags, 11:30–13:00 Uhr / 14:00–15:30 Uhr

Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten:

  • 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 Institutsseminar-Team schreiben.

Nächste Vorträge

Freitag, 9. Januar 2026, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}

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.

Freitag, 23. Januar 2026, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}

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

Freitag, 30. Januar 2026, 14:00 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}

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

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

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}

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

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

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}

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
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