In dem Seminar werden aktuelle Themen aus dem Umfeld des Software- und Systems Engineering behandelt.
Thema 1:
Analyse sicherheitskritischer Systeme mit HiP-HOPS
Startpunkt
- http://www.hip-hops.eu/
Thema 2:
Analyse sicherheitskritischer Systeme mit Modelica
Startpunkt
- http://modelica.org
- Peter Fritson. Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica. 2011, IEEE Press
Thema 3:
LTL-Transformation mit dem Hanoi Omega-Automata Format
Startpunkt:
- http://adl.github.io/hoaf/
Eigene Themenvorschläge sind ebenfalls willkommen!
Bitte schicken Sie bis zum 9.4.2018 drei Präferenzen für die aufgeführten Themen an leupolz@isse.de. Achtung: Die Anmeldung kann nur nach Erhalt der Themenpräferenzen berücksichtigt werden!
Anmelderegeln
Diese Veranstaltung gehört zum Anmeldeset "Beschränkte Teilnehmeranzahl: Seminar zu Software- und Systems Engineering (Master)".
Bitte schicken Sie bis zum 9.4.2018 drei Präferenzen für die aufgeführten Themen an leupolz@isse.de. Achtung: Die Anmeldung kann nur nach Erhalt der Themenpräferenzen berücksichtigt werden! Folgende Regeln gelten für die Anmeldung:
Die Anmeldung ist möglich von 26.02.2018, 00:00 bis 23.03.2018, 23:59.
Es wird eine festgelegte Anzahl von Plätzen in den Veranstaltungen verteilt.
Die Plätze in den betreffenden Veranstaltungen wurden am 27.03.2018 um 23:59 verteilt. Weitere Plätze werden evtl. über Wartelisten zur Verfügung gestellt.