Analysis and Design of an Automatic Certificate Management Environment Implementation

This thesis covers an implementation of the Automated Certificate Management Environment, a protocol to automatically issue TLS certificates, that leverages existing Public Key Infrastructure for enterprise settings. It is designed to work in tandem with a replaceable backend, which is responsible for generating and signing Certificates, while Serles handles registration and domain validation. The thesis covers the entire analysis, design, and implementation lifecycle.

Entwicklung und Evaluierung eines Softwaremodells für einen Digitalen Zwilling in der Produktion

Um Verhalten und Bewegungen, Bearbeitungsdauer von CNC-Maschinen mit der vorhandenen HMI zu simulieren, muss ein digitaler Zwilling der Maschine benutzt werden.  Im Rahmen dieser Bachelorarbeit wird ein Softwaremodell in C# entwickelt, um es mit einem bereits bestehenden Modell und Digitalen Zwilling zu koppeln, mit dem Ziel die Steuerung über C# zu ermöglichen. Das objektorientierte Softwaremodell in C# wird im Rahmen der Arbeit entwickelt, an die bestehende Infrastruktur gekoppelt und evaluiert.

Metamorphic Testing in the context of Autonomous Drone Simulations

Metamorphic Testing has seen an immense increase in popularity among software engineers and scientists ever since it was first introduced in 1998. It is a software testing technique that focuses on relations between inputs and outputs of a program rather than the inputs and outputs themselves. These relations are referred to as Metamorphic Relations, whose construction is non-trivial and usually requires expertise and domain knowledge. The nature of this strategy facilitates the testing of programs even in the absence of a test oracle. Examples for such programs are search engines, compilers, or simulators, the latter of which will provide the basis for the implementation within this project.

In autonomous systems, it can be extremely difficult to decide whether the behaviour of some autonomous system meets its specifications, hence why applying Metamorphic Testing to this domain should show positive results. Autonomous drones, in particular, are becoming more and more popular for purposes like
surveillance or search operations, while software testing in this field is complex.

The goal of this project is to explore the applicability of Metamorphic Testing in autonomous systems by implementing the technique in respect of testing autonomous drones.

 

 

Bachelorarbeit: Zentraler Authentifizierungs- und Authorisierungsservic

Beschreibung:
Das Ziel dieser Arbeit ist es einen zentralen Authenifizierungs- und Authorisierungsservice zu entwickeln, dessen Hauptaufgabe es ist, Benutzeridentitäten inklusive Kennwörter zu sichern und zu verwalten.

Über eine Webanwendung sollen Produkte und Benutzer angelegt und bearbeitet werden können. Nachdem ein Benutzer angelegt wurde, soll sich dieser sofort mithilfe des Authenifizierungsservices an den zugewiesenen Produkten anmelden können. Basierend auf standardisierten Protokollen und Konzepten werden Schnittstellen zur Verfügung gestellt, um den Zentralen Authenifizierungs- und Authorisierungsservice mit den angelegten Produkten ansprechen zu können.

Die Bachelorarbeit erfolgt in Zusammenarbeit mit der Firma InfPro.