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 |