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. |