Forschung

Das Forschungs- und Entwicklungs-Projekt ATLAS-L4 (Automatisierter Transport zwischen Logistikzentren auf Schnellstraßen im Level 4) bündelt damit in bisher einzigartiger Weise die Expertise von Industrie, Wissenschaft und Infrastrukturbetreibern zu einem ganzheitlichen Ansatz für den Betrieb autonomer Fahrzeuge auf öffentlichen Autobahnen und Schnellstraßen. ATLAS-L4 soll zeigen, dass der Einsatz von Level-4-automatisierten und damit von fahrerlosen Fahrzeugen auf der Autobahn machbar ist, und so die Basis für innovative Transport- und Logistikkonzepte legen. Das Projekt greift damit unmittelbar die neuen Möglichkeiten auf, die sich aus dem 2021 verabschiedeten Gesetz zum autonomen Fahren eröffnen, mit dem Deutschland global eine Pionierstellung einnimmt. Damit trägt ATLAS-L4 sowohl zur zukunftsfähigen Ausgestaltung des Straßengüterverkehrs, aber auch zur Stärkung des Wirtschaftsstandortes Deutschland bei.

“Im Forschungsprojekt KI Wissen werden Methoden für die Integration von bestehendem Wissen in die datengetriebenen KI-Funktionen autonomer Fahrzeuge entwickelt und untersucht. Das Ziel dabei ist die Erschaffung eines umfassenden Ökosystems für die Einbindung von Wissen in das Training und die Absicherung von KI-Funktionen.”

BTC Embedded Systems ist Mitglied im Industrial Advisory Board des Projekts Step-Up!CPS.

Seit einiger Zeit werden verschiedene computer-basierte Methoden zur Lösung praktischer und industrieller Probleme angewandt. Hierbei werden in der symbolischen Mathematik sehr ähnliche Probleme mit gänzlich verschiedenen algorithmischen und technologischen Ansätzen angegangen als im Bereich der Erfüllbarkeitstheorie der Aussagelogik. Dieses Projekt versucht die beiden größtenteils disjunkten Gruppen zusammenzuführen um den Austausch von Wissen zu fördern, von der vereinten Expertise zu profitieren und schließlich die Entwicklung deutlich optimierter Software Tools zu ermöglichen.

“Das ARTEMIS Projekt MBAT liefert der europäischen Industrie eine hochmoderne Verifikations- und Validierungstechnologie in Form einer Reference Technology Platform (MBAT RTP) welche die Entwicklung von hochwertigen und sicheren eingebetteten Systemen bei reduziertem Zeit- und Kostenaufwand durch eine vielversprechende Kombination modellbasierter Testverfahren und statischer Analysetechniken ermöglicht.”

Die steigende Komplexität in sicherheitskritischen eingebetteten Systemen und die stets steigenden Anforderungen an Kosten, Qualität und Time-to-Market bilden eine große Herausforderung für die Industrie. Das CESAR Projekt im Rahmen von ARTEMIS arbeitet an Innovationen für zwei besonders verbesserungswürdige Bereiche des System Engineerings:

– Requirements Engineering, insbesondere durch die Formalisierung von Anforderungen mit mehreren Perpektiven, Kriterien und Ebenen

– Component Based Engineering zur Einstufung und Optimierung verschiedener Architekturansätze

“Das Projekt DeCoDe hat sich zum Ziel gesetzt, eine präzise und effiziente Identifikation von Dead Code in reaktiven floating-point C Programmen zu ermöglichen. Hierbei steht insbesondere die Art von Code im Fokus, welcher bei eingebetteten Systemen zum Einsatz kommt. Ein Beispiel hierfür ist Seriencode welcher aus Simulink/Stateflow automatisch generiert wurde.”