Moritz Marquardt 2022

Autor Moritz Marquardt
Date 24. Mai 2022
Degree Master
Title

Interoperable zertifizierende Algorithmen auf eingebetteten Systemen

Abstract Der recht neue Ansatz der zertifizierenden Algorithmen zielt darauf ab, die Korrektheit eines algorithmisch ermittelten Ergebnisses mit geringem Rechenaufwand mathematisch nachprüfbar zu machen. Die Herausforderungen sind nun einerseits die Erstellung solcher Algorithmen an sich, sowie andererseits die einheitliche und wiederverwendbare Implementierung dieser, sodass ein solcher Algorithmus an möglichst vielen Stellen  zum Einsatz kommen kann. Auf letzteren Punkt bezieht sich diese Arbeit - dabei werden Best Practices ermittelt sowie ein Framework implementiert, mit dem Ziel, die Nutzbarkeit von zertifizie renden Algorithmen auf beliebigen stark eingeschränkten Systemen (vorrangig auf eingebetteten (Systemen) auch in komplexen Aufbauten sicherzustellen.

Last Modification: 10.11.2022 - Contact Person: Webmaster