Thema: Contract-based Monitoring

Thema: Contract-based Monitoring

Grunddaten

Titel Contract-based Monitoring
Beschreibung
Bei der Verifikation und Validierung von hochautomatisierten und autonomen Systemen ist es notwendig zu überprüfen, ob das zu testende System (SuT) die zu überprüfenden Anforderungen erfüllt. Diese Sicherstellung kann dabei mithilfe von Contracts durchgeführt werden. Dabei müssen die Anforderungen in Contracts übersetzt und die Einhaltung dieser zur Laufzeit überprüft werden. Hierbei soll die Anwendungsmöglichkeit von Contracts zum Monitoring von SuT untersucht und prototypisch umgesetzt werden, anhand eines gegebenem SuT.
Heimateinrichtung Department für Informatik
Art der Arbeit praktisch / anwendungsbezogen
Abschlussarbeitstyp Bachelor oder Master
Autor Janusz Andrzej Piotrowski, M. Sc.
Status verfügbar
Aufgabenstellung
Voraussetzung
Erstellt 12.02.2022

Studiendaten

Abteilungen
  • Systemanalyse und -optimierung
Studiengänge
  • Fach-Bachelor Wirtschaftsinformatik
  • Master Informatik
  • Fach-Bachelor Informatik
  • Master Wirtschaftsinformatik
Zugeordnete Veranstaltungen
Ansprechpartner