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. Für alle gilt, dass sie keine Aufzeichnungen (Bild und/oder Ton) ohne Einverständnis aller Aufgezeichneten anfertigen.
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
Ort: Raum 010 (Gebäude 50.34)
Ort: Raum 348 (Gebäude 50.34)
A Metric-Driven Approach for Comparing Change Propagation Across Branches
| Vortragende(r)
|
Ella Hedwig Schroff
|
| Vortragstyp
|
Bachelorarbeit
|
| Betreuer(in)
|
Raziyeh Dehghani
|
| Vortragssprache
|
Englisch
|
| Vortragsmodus
|
in Präsenz
|
| Kurzfassung
|
In Model-Driven Development (MDD), frameworks such as Vitruvius maintain consistency across heterogeneous views via Consistency Preservation Rules (CPR), but changes may propagate differently across parallel branches, leading to conflicting outcomes once branches are merged. Vitruvius currently offers no means to quantify these merge and change propagation effects, leaving engineers without an objective basis for judging propagation quality across branches. This thesis addresses this gap by defining and implementing a set of metrics – organized into Basic, Merge Conflict, Merge Attempt, Propagation Behavior and Consistency Outcome categories – for quantifying changes, their propagation, and resulting merge conflicts across branches. The metrics are integrated into Vitruvius via its existing extension points, without altering its existing propagation behavior. is evaluated using the Goal-Question-Metric method along five dimensions: correctness, conceptual completeness, redundancy, efficiency, and perceived usefulness. Functional tests and a seven-scenario case study in a brake-system domain confirm full correctness and dimension coverage, correlation analysis shows the metrics are largely complementary, with few consolidation candidates, and computational overhead stays below the defined threshold, though likely inflated by the small scale of the case study model. A three-round user study further assesses perceived usefulness and interpretability, contrasting informal intuitions about branch divergence with the actual computed metric values.
|
Views in the Development of Cyber-Physical Systems
| Vortragende(r)
|
Urban Maximilian Polley
|
| Vortragstyp
|
Bachelorarbeit
|
| Betreuer(in)
|
Lars König
|
| Vortragssprache
|
Deutsch
|
| Vortragsmodus
|
in Präsenz
|
| Kurzfassung
|
Cyber-physical systems are developed across multiple engineering disciplines, resulting in complex heterogeneous models and distributed information. This thesis investigates which role- and task-specific view types are required in such development processes and how they can be formally defined. Engineering view types are elicited through a survey and interviews, mapped to meta-models, and implemented using NeoJoin. Based on the implementations, ´NeoJoin is evaluated with respect to capabilities and limitations.
|
Ort: Raum 010 (Gebäude 50.34)
Ort: Raum 010 (Gebäude 50.34)
Ort: Raum 348 (Gebäude 50.34)
weitere Termine
