Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme

Philipp Göttlich stellt ein Konzept zum automatisierten Testen von numerischen Fehlern in Softwaresystemen mit physikbasierten Berechnungen vor und gibt dabei einen weitreichenden Überblick der Arten und Auswirkungen numerischer Fehler. Die wesentlichen Neuerungen des Konzepts spiegeln sich in der optimierungsbasierten Erzeugung geeigneter Testsignale und den Back-to-Back Tests einzelner Entwicklungsartefakte zur präzisen Fehlerlokalisierung wider. Am Beispiel von drei Softwaresystemen eines aktuellen Forschungsprojektes und dem Vergleich mit Referenztests wird die hohe Effizienz des Ansatzes bei der Analyse nachgewiesen. Auch die Erweiterbarkeit des Ansatzes wird im Verlauf der Arbeit demonstriert und dient als Ausgangspunkt für weitere Studien.
Der Inhalt Grundlagen von Softwaresystemen mit physikbasierten BerechnungenBeschreibung und Klassifizierung von FehlerquellenKonzept eines automatisierten Test- und TestsignalgenerierungsansatzesExemplarische Untersuchung des LösungsansatzesDie Zielgruppen Dozierende und Studierende der Kraftfahrzeugtechnik, insbesondere im Bereich der Regelungs- und Steuerungssoftware und der funktionalen SicherheitForscher und Entwickler mit Schwerpunkt Steuerungssoftware und -testDer AutorPhilipp Göttlich hat am Institut für Fahrzeugtechnik Stuttgart (IFS) der Universität Stuttgart im Bereich Kraftfahrzeugmechatronik promoviert, während er als Softwareentwickler bei einem deutschen Automobilzulieferer tätig war. Heute arbeitet er an hochperformanten Analyselösungen für Big-Data-Probleme.

Philipp Göttlich hat am Institut für Fahrzeugtechnik Stuttgart (IFS) der Universität Stuttgart im Bereich Kraftfahrzeugmechatronik promoviert, während er als Softwareentwickler bei einem deutschen Automobilzulieferer tätig war. Heute arbeitet er an hochperformanten Analyselösungen für Big-Data-Probleme.