Lehrende: Prof. Dr.-Ing. Heiko Mantel
Veranstaltungsart: Praktikum
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: Dynamo-Lab
Fach:
Anrechenbar für:
Semesterwochenstunden: 6
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: - grundlegende Konzepte der dynamischen Kontrolle in verteilten Systemen - Einführung in Werkzeuge zur Laufzeitkontrolle wie CliSeAu, JavaMOP und Polymer - Spezifikation von Systemanforderungen in unterschiedlichen Formalismen - Kombination von dynamischen Kontrollmechanismen mit Zielprogrammen - zentrale vs dezentrale Kontrolle in verteilten Systemen - Protokolle zur Koordination zwischen dezentralen Kontrollmechanismen in verteilten Systemen - eigenständige Adaption von dynamischen Kontrollmechanismen für Zielprogramme - eigenständige Erweiterung einer bestehenden Infrastruktur zur dynamischen Kontrolle von Anforderungen in verteilten Systemen und Evaluation von Erweiterungen
Voraussetzungen: Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere Programmierkenntnisse in Java und die Fähigkeit, mit formalen Sprachen umzugehen
Weitere Informationen: Module Exclusions: 20-00-0719 - Dynamic Enforcement of Software Security
Zusätzliche Informationen: Weitere Informationen sind unter http://www.mais.informatik.tu-darmstadt.de/Teaching zu finden.