Im aktuellen Semester wird die Veranstaltung nicht angeboten.
Master-Seminar: Forschungstrends der Softwaretechnik
Das selbstständige Erarbeiten neuer Themen stellt eine zentrale Kompetenz dar, die sowohl im Studium als auch darüber hinaus von wesentlicher Bedeutung ist, insbesondere vor dem Hintergrund sich stetig wandelnder Technologien und Forschungsfelder. Auf Masterniveau werden dabei ein hohes Maß an Eigenständigkeit, analytischer Tiefe und wissenschaftlicher Präzision vorausgesetzt. Dieses Seminar trägt dieser Anforderung Rechnung, indem es die eigenständige Auseinandersetzung mit aktuellen wissenschaftlichen Fragestellungen in den Mittelpunkt stellt.
Ziel der Veranstaltung ist es, die Studierenden dazu zu befähigen, sich systematisch und vertieft in ein neues wissenschaftliches Themengebiet einzuarbeiten, die erarbeiteten Inhalte kritisch zu reflektieren und in einen fachlichen Kontext einzuordnen. Sie vertiefen insbesondere ihre Kompetenzen im eigenständigen Umgang mit wissenschaftlicher Literatur sowie in der strukturierten Aufbereitung komplexer Inhalte. Darüber hinaus erwerben sie die Fähigkeit, ihre Ergebnisse sowohl mündlich im Rahmen einer Präsentation als auch schriftlich in Form einer wissenschaftlichen Ausarbeitung strukturiert, präzise und überzeugend darzustellen.
Organisatorisches
Die Anmeldung zum Seminar erfolgt zentral im dafür vorgesehen Moodle-Kurs. Nach der Zuteilung werden die Teilnehmer per E-Mail kontaktiert. Bitte kontaktieren Sie uns bei Fragen oder Problemen zur Veranstaltung oder zum Zuteilungsprozess.
Aktuelle Themen
Vergangene Veranstaltungen
Prof. Dr. Matthias Tichy, Raffaela Groner
Es gibt kaum einen Tag ohne Nachrichten über geleakte Kundeninformationen oder Ähnliches. Allein 2021 hatten Unternehmen in Deutschland Schäden von durchschnittlich 21000$ allein durch Hacking-Angriffe. Das solche Angriffe auch Security Risiken mit sich bringen zeigt ein Fall aus 2015. Durch einen Softwarefehler in dem Infotainmentsystem eines Autos, konnten Angreifer unter anderem auf sensible Fahrerinformationen zugreifen. Dadurch wird deutlich, dass Safety- und Security-Aspekte gemeinsame betrachtet werden müssen. Bei selbstadaptiven Systemen kommt erschwerend hinzu, dass diese sich zur Laufzeit an ihre Umgebung anpassen und man damit zur Designzeit nicht alle Informationen für eine Safety- und Security-Analyse zur Verfügung hat. Zusätzlich bietet die Adaption eventuell neue Angriffspunkte für Hacker.
Daher beschäftigen wir uns in diesem Semester mit verschiedenen Aspekten der Safety- und Security-Analyse von selbstadaptiven Systemen.
Tobias Heß, Chico Sundermann, Thomas Thüm
Variabilität von (Software-) Produktlinien kann durch Feature Modelle modelliert werden. Diese Modelle werden, klassischerweise, mit SAT-, #SAT- oder SMT-Solvern analysiert. Während einzelne Analysen meistens gut skalieren, verhindert die große Anzahl an Solveraufrufen die Analyse großer Feature Modelle (zum Beispiel "Linux" oder einige automotive Produktlinien). Knowledge Compilation beschreibt die Aufteilung der Analysen in eine einmalige Offline-Phase, in welcher unter großem Aufwand eine Datenstruktur berechnet wird, und einer Online-Phase, in welcher die Analysen auf der Datenstruktur ausgeführt werden. Typische Datenstrukturen sind hierbei d-DNNFs (deterministic Decomposable Negation Normal Form), BDDs (Binary Decision Diagrams) sowie MIGs (Modale ImplikationsGraphen).
Im Seminar soll das Thema "Knowledge Compilation" sowohl theoretisch, als auch anwendungsbezogen, im Kontext der Analyse von Feature Modellen, betrachtet werden.
Prof. Dr. Matthias Tichy, Stefan Götz
Programmiersprachen gibt es heutzutage wie Sand am Meer und in den unterschiedlichsten Formen. Täglich werden neue Sprachfeatures und ganze Sprachen entwickelt. Dennoch dürfen essentielle Eigenschaften wie die Performance, Lesbarkeit, Erlernbarkeit und viele andere niemals außer acht gelassen werden, denn sonst finden Sprachen keinen Anklang bei Entwicklern in Forschung und Industrie. Das Seminar richtet seinen Fokus auf verschiedenste Evaluationstechniken von unterschiedlichen Eigenschaften wie sie in der aktuellen Literatur entwickelt und angewendet werden.
Kontakt