Verbundprojekt: SofDCar - Software Defined Car, Softwaregetrieben von Emdedded Systems bis in die Cloud für Entwicklung und Betrieb (digitale Nachhaltigkeit)

Abstract

Moderne Fahrzeuge – vor allem im Premium Segment – sind hoch konfigurierbare Produkte mit mehr baubaren Varianten als es Sandkörner auf der Erde gibt. Mit der Transformation hin zum Software-Defined Vehicle wird die Beherrschung dieser Varianz und eine Absicherung der gesamten Varianz im digitalen Zwilling noch wichtiger als in der bisherigen Hardware-getriebenen Welt. Software zum Variantenmanagement ist bisher entweder auf die Konfiguration von Einzelfahrzeugen fokussiert oder proprietär und kann mit der enormen Variantenvielfalt der Automobilbranche nicht umgehen. Es existieren mathematische Software-Bibliotheken wie LogicNG, die jedoch erfordern, die problemspezifischen Datenstrukturen und Algorithmen zur Absicherung selbst zu entwickeln, was hohe Anforderungen an Entwicklungsaufwand und benötigtes mathematisches Wissen erfordert. Innerhalb des SofDCar Projekts hat BooleWorks zum einen die Bibliothek LogicNG in Rust re-implementiert und sie so für den Einsatz im Fahrzeug vorbereitet. Zum anderen wurde eine komplett neue Open-Source Software-Lösung – BooleRules – zur Absicherung der Varianz im digitalen Zwilling entwickelt. BooleRules besteht aus einer Sprache zur Beschreibung der Regelwerke variantenreicher Produkte, einem Compiler, der diese Regelwerke in mathematische Formeln übersetzt, sowie einem Dutzend Algorithmen zur Absicherung der Varianz. Beispiele für diese Algorithmen sind die Validierung von Stücklisten, die Projektion von Regelwerken, das Zählen baubarer Varianten, die Optimierung von Testfahrzeugen oder die Berechnung optimaler Software-Update Pfade. Jeder dieser Algorithmen wird in Prozessen wie der Absicherung von OTA-Software-Updates, der Fahrzeug-Homologation oder dem Optimieren von Fahrzeugvarianten benötigt. Mit BooleRules gibt es erstmalig eine Open-Source Lösung, die über eine einfach zu integrierende Schnittstelle mit sehr wenig Aufwand in bestehende Systeme integriert werden kann und die höchste Performance-Anforderungen erfüllt.