Forschung

Oxford University Innovation Ltd (OUI) ist die Technologietransfergesellschaft der University of Oxford. Eine ihrer zentralen Aufgaben besteht darin, externen Organisationen technische und wissenschaftliche Beratungsleistungen auf Basis der Expertise von Hochschulangehörigen anzubieten. Prof. Daniel Kroening und seine Kollegen vom Department of Computer Science haben die BTC Embedded Systems AG im Auftrag von OUI zum CBMC, einem Bounded Model Checker für C-Programme, beraten.Website besuchen

Als An-Institut der Carl von Ossietzky University in Oldenburg überführt OFFIS seit seiner Gründung im Jahr 1991 wissenschaftliches Know-how aus der Informatik in Prototypen, die von Wirtschaftspartnern zu marktfähigen Produkten weiterentwickelt werden. OFFIS erbringt dabei Forschung und Prototypenentwicklungen für Unternehmen und Institutionen auf höchstem internationalem Niveau. OFFIS ist in drei anwendungsorientierte Forschungs- und Entwicklungsbereiche gegliedert: Energie, Gesellschaft, Gesundheit und Produktion.Website besuchen

Das DLR Institute of Systems Engineering for Future Mobility in Oldenburg erforscht Methoden zur Entwicklung und Bewertung automatisierter und autonomer Verkehrssysteme. Der Schwerpunkt liegt auf der Entwicklung neuer effizienter Methoden und Tools des Systems Engineering zum Nachweis der Funktionalität (Verifikation) und Praxistauglichkeit (Validierung) sowie auf der Weiterentwicklung vertrauenswürdiger Systeme.Website besuchen

Die Arbeit am Institute of Automatic Control konzentriert sich auf die Entwicklung moderner Methoden der Regelungstechnik und deren Anwendung in verschiedenen Bereichen, insbesondere in der Medizintechnik, Systemmedizin und Robotik. Von besonderem Interesse sind optimierungsbasierte Regelungs- und Schätzmethoden, nichtlineare Systeme und Regelungstheorie sowie verteilte und lernende Regelungssysteme.Website besuchen

Das Forschungs- und Entwicklungsprojekt ATLAS-L4 (Automated Transport between Logistics centres on highways, Level 4) verbindet auf bislang einzigartige Weise die Expertise von Industrie, wissenschaftlicher Forschung und Infrastrukturbetreibern, um einen integrierten Ansatz für den Betrieb autonomer Fahrzeuge auf öffentlichen Autobahnen und Schnellstraßen zu schaffen. ATLAS-L4 will nachweisen, dass der Einsatz nach Level 4 automatisierter und damit fahrerloser Fahrzeuge auf Autobahnen möglich ist, und so die Grundlage für innovative Transport- und Logistikkonzepte legen. Das Projekt nutzt unmittelbar die neuen Möglichkeiten, die das 2021 verabschiedete Gesetz zum autonomen Fahren eröffnet hat und mit dem Deutschland weltweit eine Vorreiterrolle einnehmen soll. Damit trägt ATLAS-L4 sowohl zu einer zukunftsfähigen Gestaltung des Straßengüterverkehrs als auch zur Stärkung des Wirtschaftsstandorts Deutschland bei.Projektpartner: MAN Truck & Bus SE, Knorr-Bremse AG, Leoni AG, Robert Bosch Automotive Steering GmbH, FERNRIDE GmbH, Fraunhofer-Institut für Angewandte und integrierte Sicherheit AISEC, Technische Universität München, Technische Universität Braunschweig, TÜV SÜD, Autobahn GmbHProjektwebsite besuchen

Im Forschungsprojekt KI Wissen werden Methoden zur Integration vorhandenen Wissens in datengetriebene KI-Funktionen autonomer Fahrzeuge entwickelt und untersucht. Ziel ist es, ein umfassendes Ökosystem für die Einbindung von Wissen in das Training und die Absicherung von KI-Funktionen zu schaffen.Projektpartner: Continental, Bosch, Valeo, Altran, AVL, EFS, DLR, Fortiss, Fraunhofer, OFFIS und weitereProjektwebsite besuchen

BTC Embedded Systems ist Mitglied des industriellen Beirats des Projekts Step-Up!CPS.Mitglieder: FZI, Universität Oldenburg, OFFIS, DLR, KIT, SafeTRANS. Industrieller Beirat: AVL LIST GmbH, BTC Embedded Systems AG, Denso Automotive Deutschland GmbH, DNV-GL Maritime Class Development, IAV GmbH Ingenieurgesellschaft Auto und Verkehr, NXP Semiconductor Germany GmbH, Vector Informatik GmbHProjektwebsite besuchen

Hochautomatisierte und autonome Systeme in unterschiedlichen Domänen wie Automobil, Luft- und Raumfahrt, Schiene, Schifffahrt, Gesundheitswesen und Landwirtschaft stehen im Wesentlichen vor denselben Herausforderungen. Eine rasant zunehmende Komplexität und eine nahezu unbegrenzte Zahl zu berücksichtigender Umgebungsszenarien sind nur zwei dieser Herausforderungen. Das ENABLE-S3-Konsortium bringt Experten aus sechs verschiedenen Domänen mit Toolanbietern und der Wissenschaft zusammen, um die zentralen Herausforderungen beim Testen zu bewältigen.Projektpartner: Denso, Toyota, Renault, Valeo, Magneti Marelli, Airbus, DLR, IBM, Thales und viele weitereProjektwebsite besuchen

Künftige Mobilitätslösungen werden zunehmend auf intelligenten Komponenten beruhen, die ihre Umgebung kontinuierlich überwachen und immer mehr Verantwortung für einen komfortablen, sicheren und zuverlässigen Betrieb übernehmen. Die derzeit größte Hürde für diesen Markt besteht darin, eine bezahlbare und sichere Multi-Core-Entwicklungsmethodik zu entwickeln, mit der die Industrie vertrauenswürdige neue Funktionen zu wettbewerbsfähigen Preisen bereitstellen kann. ASSUME stellt eine durchgängige Engineering-Methodik bereit, die diese Hürde sowohl auf konstruktiver als auch auf analytischer Ebene adressiert.Projektpartner: Airbus, Daimler, Scania, Bosch, Sagem, Snecma, MES, OFFIS und viele weitereProjektwebsite besuchen

Der Einsatz fortgeschrittener Methoden, mit denen Computer praktische und industriell relevante Probleme lösen, hat eine lange Geschichte. Während die symbolische Berechnung die algorithmische Bestimmung exakter Lösungen für komplexe mathematische Probleme zum Gegenstand hat, bearbeiten neuere Entwicklungen im Bereich Satisfiability Checking ähnliche Probleme mit anderen algorithmischen und technologischen Lösungsansätzen. Dieses Projekt initiierte vielfältige Aktivitäten, um beide Fachgemeinschaften zusammenzubringen und dadurch die Entwicklung grundlegend verbesserter Softwaretools zu ermöglichen.Projektpartner: University of Oxford, University of Freiburg, University of Oldenburg, Maplesoft, Microsoft Research und viele weitereProjektwebsite besuchen

Das ARTEMIS-Projekt MBAT stellt der europäischen Industrie eine neue, hochmoderne V&V-Technologie in Form einer Reference Technology Platform (MBAT RTP) bereit. Sie ermöglicht die Entwicklung hochwertiger und sicherer eingebetteter Systeme bei geringerem Zeit- und Kostenaufwand. Möglich wird dies durch einen neuen und sehr vielversprechenden Ansatz, der modellbasierte Testtechnologien mit Verfahren der statischen Analyse kombiniert.Projektpartner: Daimler, Airbus, AVL List, EADS, Siemens, Thales Aleniaspace, Volvo und viele weitereProjektwebsite besuchen

Die Branche für Design und Entwicklung eingebetteter sicherheitskritischer Systeme sieht sich mit zunehmender Komplexität und einer wachsenden Vielfalt von Systemen und Geräten konfrontiert. Gleichzeitig nehmen regulatorische Vorgaben zu, während Kosten, Leistung und Markteinführungszeit fortlaufend unter Druck stehen. CESAR bringt bedeutende und überzeugende Innovationen in zwei Disziplinen des Systems Engineering hervor: im Requirements Engineering, insbesondere durch die Formalisierung von Anforderungen über mehrere Perspektiven, Kriterien und Ebenen hinweg, sowie im komponentenbasierten Engineering, angewendet auf die Exploration des Designraums mit Architekturabwägungen über mehrere Perspektiven, Kriterien und Ebenen hinweg.Projektpartner: Airbus, ABB, AbsInt, Astrium, Delphi, EADS, Infineon, Siemens, Volvo und viele weitereProjektwebsite besuchen

Das Transferprojekt DeCoDe zielt auf die effiziente und präzise Erkennung von totem Code in reaktiven, regelungsorientierten und von Gleitkommaberechnungen dominierten C-Programmen. Dazu gehören insbesondere Programme, die mittels automatischer C-Codegenerierung aus Simulink-/Stateflow-Modellen eingebetteter Regelungsanwendungen abgeleitet werden, sowie Programme, die gemäß den im Embedded-Bereich geltenden Richtlinien manuell erstellt wurden.Projektpartner: University of Oldenburg, University of Freiburg, SICK AG