Lehrende: Prof. Dr. André van Hoorn; Sebastian Frank
Veranstaltungsart: Seminar
Anzeige im Stundenplan: MProj/Sem SWK
Semesterwochenstunden: 2
Credits: 3,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. Das begleitende Seminar beschäftigt sich mit den Werkzeugen und Konzepten, welche hierfür im existierenden Ansatz zur Anwendung kommen. 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 Seminar vermittelt Fähigkeiten zur Erarbeitung aktueller wissenschaftlicher Publikationen und gegenseitige Vermittlung der inhaltlichen Grundlagen der Ergebnisse. Fachlich vermittelt dieses Seminar 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 für das Masterprojekt Werkzeuggestützte Softwarearchitekturanalyse erfolgen. Geplant ist daher die frühe Durchführung des Seminars als Blockveranstaltung, damit das Seminar als Vorbereitung für die Projektarbeit dienen kann. Das integrierte Seminar begleitet die praktischen Aufgaben des Masterprojekts durch die Recherche, Erarbeitung und gegenseitige Vermittlung von theoretischen und wissenschaftlichen Grundlagen zum Projektthema. Die Studierenden fertigen hierzu eine Hausarbeit an und präsentieren ihre Ergebnisse in einem Referat.
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 Seminar ergibt sich insbesondere aus:
