Institutsseminar/2026-03-13 Koziolek

Aus SDQ-Institutsseminar
Termin (Alle Termine)
Datum Freitag, 13. März 2026
Uhrzeit 11:30 – 12:45 Uhr (Dauer: 75 min)
Ort Raum 010 (Gebäude 50.34)
Prüfer/in Anne Koziolek
Webkonferenz https://sdq.kastel.kit.edu/institutsseminar/Microsoft Teams
Vorheriger Termin Fr 13. Februar 2026
Nächster Termin Fr 13. März 2026

Termin in Kalender importieren: iCal (Download)

Vorträge

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 The development of Cyber-Physical Systems (CPS) is characterized by a high degree of complexity and requires continuous optimization throughout the entire development process.

The feedback cycles of the MODA framework are ideal for systematically controlling these adjustments. However, their effective use requires that descriptive models can be derived from runtime data. Established approaches to model derivation, however, were primarily designed for other domains and applications. Against this background, this work develops an automated pipeline to extract descriptive models from raw data and systematically evaluates the suitability of various modeling approaches for the domain of cyber-physical systems. A central element of the solution approach is the integration of the analysis results into a standardized metamodel based on the Structured Metrics Metamodel in order to give the raw data a semantic structure and ensure interoperability for downstream MDD tools. To objectively evaluate the results, a dedicated evaluation framework was developed that compares the various approaches using quantitative metrics and qualitative expert feedback. The evaluation confirms that the automated derivation of statistical parameters, segmentations, and discrete system states delivers robust results. In contrast, limitations were identified in the generation of complex process models using process mining, as the conversion of continuous physical signals into discrete logic remains a challenge. Overall, the work demonstrates as a proof of concept how the gap between collected runtime data and formal models can be closed, thus providing a technological basis for MODA feedback cycles in CPS development.

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 Modellgetriebene Entwicklung erlaubt es, Abstraktionen zu erstellen, und macht damit komplexe Domänenlogik beherrschbar. Textuelle Sprachen bieten Softwareentwicklern eine intuitive Möglichkeit, Modelle zu beschreiben und in ihren Workflow zu integrieren: Der bevorzugte Texteditor kann regulär weiterverwendet werden, und durch vertraute Versionskontrollsysteme wie Git kann wie gewohnt mit anderen Entwicklern zusammengearbeitet werden. Generische textuelle Sprachen sind häufig nicht ausdrucksstark genug und somit nur schwer verwendbar für Menschen. Für jedes verwendete Metamodell eine eigene domänenspezifische Sprache (DSL) zu erstellen, behebt dieses Problem zwar, erfordert jedoch einen erheblichen Aufwand. In dieser Arbeit präsentieren wir einen Ansatz, der es Sprachdesignern und Metamodell-Experten erlaubt, eine gegebene generische textuelle Sprache um metamodellspezifische Sprachkonstrukte zu erweitern. Diese Konstrukte machen die Sprache deutlich verständlicher für Entwickler, ähnlich wie eine DSL, benötigen aber einen deutlich geringeren Wartungsaufwand. Wir testen unseren Ansatz mithilfe einer von Vector Informatik entwickelten DSL. Unsere Evaluierung zeigt, dass unser Ansatz mächtig genug ist, um alle metamodellspezifischen Sprachkonstrukte aus der besagten DSL abzubilden.

Neuen Vortrag erstellen

Bitte melde Dich mit Deinen KIT-Zugangsdaten an. Falls Du trotz Anmeldung diese Meldung siehst, bitte eine/-n Wissensmanager/-in darum, Dich zur richtigen Gruppe hinzuzufügen.

Hinweise