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, 11:30–13:00 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
Termine in Kalender importieren: iCal (Download)
Freitag, 14. Februar 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: https://sdq.kastel.kit.edu/wiki/SDQ-Institutsseminar/Microsoft_Teams
Vortragende(r) | Juan Saenz |
---|---|
Titel | Continuous Integration of architectural Performance Models for Lua Applications |
Vortragstyp | Masterarbeit |
Betreuer(in) | Martin Armbruster |
Vortragssprache | Deutsch |
Vortragsmodus | online |
Kurzfassung | Continuous Integration of architectural Performance Models (CIPM) integrates automated model updates into CI/CD pipelines to maintain up-to-date architectural Performance Models, enabeling accurate Architecture-based Performance Predictions throughout a software system's lifecycle.
The presented thesis tackles two key challenges in CIPM generalisability research: It presents (1) a semi-automated approach for selecting suitable evaluation cases to investigate CIPM's generalisability, and (2) an analysis of dynamically typed languages’ impact on Code Model (CM) generation in CIPM, based on an extension of the Lua CM generator. |
Vortragende(r) | Iliyan Ivanov |
---|---|
Titel | Gamifying Collaborative Learning |
Vortragstyp | Bachelorarbeit |
Betreuer(in) | Lucia Happe |
Vortragssprache | Englisch |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Vortragende(r) | Alp Genç |
---|---|
Titel | Short Project Presentation: Towards Continuous Round-trip Engineering of Architectural Performance Models |
Vortragstyp | Vortrag |
Betreuer(in) | Martin Armbruster |
Vortragssprache | Englisch |
Vortragsmodus | in Präsenz |
Kurzfassung | A 5 minutes presentation (+ 5 minutes for questions) about the current project proposal for "Praxis der Forschung". |
Donnerstag, 20. Februar 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 333 (Gebäude 50.34)
Vortragende(r) | Matthias Lüthy |
---|---|
Titel | Modellierung von Angriffen für quantitative Sicherheitsanalysen |
Vortragstyp | Masterarbeit |
Betreuer(in) | Frederik Reiche |
Vortragssprache | Deutsch |
Vortragsmodus | in Präsenz |
Kurzfassung | Die vorliegende Masterarbeit beschäftigt sich mit der Modellierung von Angreifern und Angriffen auf ein komponentenbasiertes Softwaresystem, das zuvor bereits mittels eines bestehenden Ansatzes zur Quantifizierung von Architektur und Code modelliert und formal verifiziert wurde. Während die vorausgehende formale Verifikation einen wohlwollenden, ehrlichen Nutzer voraussetzt, erweitert diese Masterarbeit das Modell um einen Angreifer, der gezielt Randfälle und Implementierungsfehler ausnutzt. Der Unterschied zu bisherigen Arbeiten, die sich mit Angriffen auf Softwaresysteme beschäftigen, besteht darin, dass Modellierung und Analyse nicht auf der Architekturebene, sondern auf der Quellcode-Ebene erfolgen. Konkret wird ein Metamodell für Schwachstellen, Angriffsbäume und Angreifer vorgestellt und ein Analysetool implementiert, um eine quantitative Aussage über die Angriffssicherheit des Softwaresystems treffen zu können. Zur Evaluation wird eine Fallstudie mit zehn verschiedenen Angriffsbäumen durchgeführt, die alle verschiedenen, denkbaren Baumkonstruktionen repräsentieren. Zur Skalierbarkeitsuntersuchung wird für einen Angriffsbaum die Anzahl an parallelen Knoten sowie die Anzahl von Angreifern variiert. In der Auswertung ergeben sich eine Präzision und Sensitivität von 100 % sowie eine rein auf den neuen Beitrag dieser Arbeit bezogene sehr gute Skalierbarkeit der Analyse. |
Freitag, 21. Februar 2025, 14:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Vortragende(r) | Adrian Freund |
---|---|
Titel | Metamodeling with JSON |
Vortragstyp | Masterarbeit |
Betreuer(in) | Thomas Weber |
Vortragssprache | Deutsch |
Vortragsmodus | in Präsenz |
Kurzfassung | Model Driven Software Development (MDSD) is a set of software development techniques that aims to increase productivity, quality and reusability by promoting models to primary development artifacts. In practice, MDSD is often realized using the Eclipse Modeling Framework (EMF). The Eclipse Modeling Framework depends on the Eclipse platform and persists models as XML, which doesn't scale well with very large models. We developed extensions for the JSON-Schema document format that allow JSON and JSON-Schema to be used for MDSD. We also developed a transformation from EMF models to JSON-Schema documents, as well as Kotlin code generation from JSON-Schema documents based on this extended JSON-Schema to lessen the dependency on the Eclipse platform when using an MDSD approach. |
Vortragende(r) | Fatma Chebbi |
---|---|
Titel | Verification of Quantitative Information Flow Security Using Statistical Model Checking |
Vortragstyp | Masterarbeit |
Betreuer(in) | Christopher Gerking |
Vortragssprache | Deutsch |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Freitag, 21. März 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Vortragende(r) | Colin Begero |
---|---|
Titel | Repository Mining for Architectural Information |
Vortragstyp | Bachelorarbeit |
Betreuer(in) | Martin Armbruster |
Vortragssprache | Deutsch |
Vortragsmodus | in Präsenz |
Kurzfassung | TBA |
Freitag, 23. Mai 2025, 14:00 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Vortragende(r) | Steffen Schmitt |
---|---|
Titel | Dynamisches Speichermanagement in großen modellbasierten Java-Anwendungen |
Vortragstyp | Masterarbeit |
Betreuer(in) | Erik Burger |
Vortragssprache | Deutsch |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |