Stud.IP Uni Oldenburg
University of Oldenburg
30.09.2022 18:28:26
ThesisTopics

Personal details

Title Contract-based Monitoring
Description
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.
Home institution Department of Computing Science
Type of work practical / application-focused
Type of thesis Bachelor's or Master's degree
Author Janusz Andrzej Piotrowski, M. Sc.
Status available
Problem statement
Requirement
Created 12/02/22

Study data

Departments
  • Systemanalyse und -optimierung
Degree programmes
  • Master's Programme Computing Science
  • Master's Programme Business Informatics
  • Bachelor's Programme Computing Science
  • Bachelor's Programme Business Informatics
Assigned courses No courses assigned
Contact person