Nächste Termine

Aus SDQ-Institutsseminar
Auf dieser Seite werden die nächsten fünf Seminartermine angezeigt. Für weitere Termine bitte unten auf "weitere Termine" klicken oder bei Alle Termine nachschauen. Neue Terminseiten können ebenfalls auf Alle Termine angelegt werden.

Kalenderdatei (alle zukünftigen Termine): iCal (Download)

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 Im Testprozess liegt der Fokus der Anwender häufig auf einzelne Transformationsregeln oder spezifische Testmodelle. Dadurch fehlt sowohl die Nachvollziehbarkeit ihrer eigenen Testaktivitäten als auch eine fundierte Analyse des übergeordneten Testzustands. Infolge dieser eingeschränkten Transparenz verändern sich die Regelabdeckungen eines Regelmodells im Verlauf der Testschritte, wenn entwickelte oder modifizierte Modelltransformationen Einfluss auf die bestehende Regelabdeckung nehmen. Eine konsistente und kontinuierliche Bewertung dieser Veränderungen ist im Testprozess nicht immer möglich.

Diese Arbeit adressiert die beschriebene Problematik durch die Einführung eines datengetriebenen Test-Monitorings als Gray-Box-Ansatz mit geringer Abhängigkeit von der kon- kreten Implementierung. Das vorgestellte Konzept besteht aus drei Phasen: Datenerfassung, Datenpersistenz und Datenvisualisierung. In der ersten Phase wird die Regelabdeckung einzelner Modelltransformationen erfasst. In der zweiten Phase werden diese Regelabdeckungen in einer zeitreihentauglichen Datenbank gespeichert. In der dritten Phase werden die gespeicherten Daten mithilfe der Metrik des Regelabdeckungsgrads sowie weiterer Kennzahlen in verschiedenen Dashboards visualisiert. Die grafischen Darstellungen dienen der Orientierung und Analyse des Testzustands eines Regelmodells und liefern Indikatoren zur gezielten Verbesserung der Regelabdeckung.

Das datengetriebene Test-Monitoring ist in der Praxis anhand der modellbasierten Elektrik-/Elektronik-Entwicklungsumgebung PREEvision evaluiert worden. Als Datenbasis haben ein vollständiges Testpaket sowie nahezu sämtliche Testfälle eines Regelmodells gedient. Die in verschiedenen Dashboards dargestellten Visualisierungsergebnisse haben die Grundlage der Evaluation gebildet, sodass die gesamte Systeminfrastruktur ganzheitlich betrachtet werden konnte. Die Ergebnisse sind aus unterschiedlichen Perspektiven analysiert und mit Referenzberechnungen verglichen worden, die auf derselben logischen Grundlage wie die Visualisierungen basiert haben. Das System hat sowohl abgedeckte als auch nicht abgedeckte Regeln zuverlässig identifiziert und daraus korrekt die Metrik des Regelabdeckungsgrads eines Regelmodells abgeleitet. Sämtliche Dashboards haben konsistente und fachlich korrekte Endergebnisse ihrer jeweiligen Visualisierungen geliefert. Dadurch ist die Nachvollziehbarkeit der Testaktivitäten gewährleistet worden und es haben potenzielle Indikatoren zur Verbesserung der Regelabdeckung abgeleitet werden können. Auf diese Weise hat sich die Anzahl nicht abgedeckter Regeln schrittweise reduziert oder der Regelabdeckungsgrad ist gesteigert worden. Das Feedback an die Anwender ist in nahezu allen Dashboards innerhalb relativ kurzer Antwortzeiten erfolgt, lediglich in einem Einzelfall hat die Rückmeldezeit im akzeptablen Bereich gelegen.

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

A Structured Approach for Building Descriptive Models from Data
Vortragende(r) Philipp Meyer
Vortragstyp Bachelorarbeit
Betreuer(in) Raziyeh Dehghani
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung TBD
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)

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

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

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

Automated Mitigation of Confidentiality Violations in Software Architectures using Discrete Optimization
Vortragende(r) Benjamin Arp
Vortragstyp Masterarbeit
Betreuer(in) Nils Niehues
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung -- Robert Heinrich wird remote zugeschaltet --
Evaluierung von Embedding Modellen auf Modelldaten
Vortragende(r) David Inca
Vortragstyp Bachelorarbeit
Betreuer(in) Julian Roßkothen
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung TBA
Textual Modeling for Cloud-Native Performance Simulation
Vortragende(r) Fabio Freund
Vortragstyp Bachelorarbeit
Betreuer(in) Maximilian Hummel
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Montag, 23. März 2026, 14:00 Uhr

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

Automatic Component Diagram Generation from Natural Language Specifications
Vortragende(r) Marco Demartino
Vortragstyp Bachelorarbeit
Betreuer(in) Vincenzo Scotti
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Fine-tuning vs. Prompting: The Case of Requirements Classification
Vortragende(r) Maximilian Supp
Vortragstyp Bachelorarbeit
Betreuer(in) Dominik Fuchß
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Generating Digital Twin Code Components from Formal Interface Models in the Automotive Domain
Vortragende(r) Robin Schöppner
Vortragstyp Masterarbeit
Betreuer(in) Erik Burger
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

weitere Termine