Lehrende: Sebastian Frank; Prof. Dr. André van Hoorn
Veranstaltungsart: Projekt
Anzeige im Stundenplan: MProj SWK
Semesterwochenstunden: 6
Credits: 9,0
Unterrichtssprache: Deutsch / Englisch
Min. | Max. Teilnehmerzahl: - | 15
Kommentare/ Inhalte: Im Masterprojekt wird ein System für die kontinuierliche Spezifikation, Verifikation und Verfeinerung von Anforderungen bezüglich Resilienz von Microservice-basierten Softwaresystemen weiterentwickelt. Eine detaillierte Beschreibung des Projekts findet sich auf der Website des Arbeitsbereichs: https://www.inf.uni-hamburg.de/inst/ab/swk/courses/wise/ma-projekt.html
Lernziel: Das Masterprojekt beinhaltet die praktische Anwendung von Methoden, Techniken und Werkzeugen des Software Engineering, z.B. die Arbeit mit Versionsverwaltungssystemen und Build-Pipelines sowie die Container-basierte Anwendungsentwicklung. Die Projektarbeit wird in Kleingruppen durchgeführt, deshalb gehören der Erwerb von Kenntnissen und Erfahrungen des Projektmanagements ebenfalls zu den angestrebten Ergebnissen. Konkret werden wir hierbei Methoden des agilen Projektmanagements kennenlernen. Fachlich vermittelt dieses Masterprojekt Konzepte aus den Feldern Softwarequalität und -architektur, insbesondere bezüglich Resilienz von Microservice-basierten Softwaresystemen. Hierbei werden außerdem formale Techniken zur Spezifikation und Verifikation von Anforderungen vermittelt.
Vorgehen: Im begleitenden Seminar soll die Einarbeitung in die existierenden Werkzeuge und deren Konzepte erfolgen. Im eigentlichen Projekt entwickeln wir das Gesamtsystem kontinuierlich entsprechend agiler Softwareentwicklung (Scrum oder Scrum-ähnlich) weiter, wobei die Betreuer als Kunden auftreten. Die typischen Phasen des Entwicklungsprojektes werden unter der beruflichen Praxis weitestgehend entsprechenden Rahmenbedingungen durchlaufen. Die Studierenden verantworten auch (unter Anleitung) das Projektmanagement selbstständig.
Literatur: Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios https://www.fis.uni-hamburg.de/en/publikationen/detail.html?id=c97515f8-f807-4e45-9364-bdb9147f124f MiSim: A Simulator for Resilience Assessment of Microservice-based Architectures https://www.fis.uni-hamburg.de/en/publikationen/detail.html?id=dcf18038-1912-4d47-b374-d9299fafbb1c Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns https://www.fis.uni-hamburg.de/en/publikationen/detail.html?id=6700d959-8d88-4788-944c-e568d450abc4 Interactive Elicitation of Resilience Scenarios Based on Hazard Analysis Techniques https://www.fis.uni-hamburg.de/en/publikationen/detail.html?id=37be26cd-278a-4b40-8724-1b9dedd482e6 How is Transient Behavior Addressed in Practice? Insights from a Series of Expert Interviews https://www.fis.uni-hamburg.de/en/publikationen/detail.html?id=80092b21-1331-4241-8702-69cc9864317a
Zusätzliche Hinweise zu Prüfungen: Für das Modul wird eine Gesamtnote vergeben. Aktive Teilnahme an Projekt und integriertem Seminar, kontinuierliche Beteiligung und erfolgreiche Projektmitarbeit, Vorstellung der Ergebnisse/Lösungsansätze in Referat und Hausarbeit sowie in einem Abschlussbericht sind erforderlich. Die Bewertung der Ergebnisse aus dem Projekt ergibt sich insbesondere aus:
