(BA) Semantische Veri kation von selbstbeschreibenden Geratekon gurationen

Betreuer: Frank Ortmeier,Marco Filax,Kathleen Hänsch,Dr. André Naumann
Student: Denis Dietze
Zeitraum: 13.05.14 – 30.09.14

Thesis:

Ziel dieser Arbeit war die Untersuchung der semantischen Verifikation von selbstbeschreibenden Gerätekonfigurationen. Dazu wurde eine Anforderungsanalyse für die zu erstellenden Software durchgeführt und aus dieser ein Konzept für die automatische Verifizierung der Konfigurationsdateien entwickelt. Um dies zu erreichen, musste sowohl die Syntax der Konfigurationen als auch die Semantik überprüft werden, wozu eine Vielzahl von abhängigen Bedingungen geprüft werden mussten. Das entwickelte Konzept wurde prototypisch umgesetzt und die semantische Verifikation abschließend an unterschiedlichen Beispielkonfigurationen evaluiert.

(BA) Semantische Veri kation von selbstbeschreibenden Geratekon gurationen