Innovation

Oxford University Innovation Ltd (OUI) est la société de transfert de technologie de l’University of Oxford. L’une de ses principales activités consiste à fournir des services de conseil technique et scientifique à des organisations externes en mobilisant l’expertise des universitaires de l’établissement. Par l’intermédiaire du professeur Daniel Kroening et de ses collègues du Department of Computer Science, OUI a fourni à BTC Embedded Systems AG des services de conseil sur CBMC, un outil de vérification bornée de modèles pour les programmes en C.Visiter le site web

Institut associé à la Carl von Ossietzky University in Oldenburg, OFFIS transforme depuis sa création en 1991 le savoir-faire scientifique issu de l’informatique en prototypes, que des partenaires commerciaux développent ensuite pour en faire des produits commercialisables. OFFIS mène ainsi des travaux de recherche et développe des prototypes pour des entreprises et des institutions, au plus haut niveau international. OFFIS est organisé en trois divisions de recherche et développement orientées vers les applications : énergie, société, santé et production.Visiter le site web

Le DLR Institute of Systems Engineering for Future Mobility, situé à Oldenburg, étudie des méthodes de développement et d’évaluation des systèmes de transport automatisés et autonomes. Ses travaux portent sur le développement de nouvelles méthodes et de nouveaux outils efficaces d’ingénierie système afin de démontrer la fonctionnalité par la vérification et l’aptitude à l’usage par la validation, ainsi que sur le perfectionnement de systèmes dignes de confiance.Visiter le site web

Les travaux de l’Institute of Automatic Control sont consacrés au développement de méthodes modernes d’automatique et à leur application dans différents domaines, en particulier les technologies médicales, la médecine des systèmes et la robotique. Ils s’intéressent tout particulièrement aux méthodes de commande et d’estimation basées sur l’optimisation, aux systèmes non linéaires et à la théorie de la commande, ainsi qu’aux systèmes de commande distribués et apprenants.Visiter le site web

Le projet de recherche et développement ATLAS-L4 (Automated Transport between Logistics centres on highways, Level 4) réunit de manière jusque-là inédite les expertises de l’industrie, de la recherche scientifique et des exploitants d’infrastructures afin de créer une approche intégrée de l’exploitation de véhicules autonomes sur les autoroutes et voies rapides publiques. ATLAS-L4 entend démontrer la faisabilité de l’utilisation sur autoroute de véhicules automatisés de niveau 4, donc sans conducteur, et ainsi jeter les bases de concepts innovants de transport et de logistique. Le projet exploite directement les nouvelles possibilités ouvertes par la législation sur la conduite autonome adoptée en 2021, domaine dans lequel l’Allemagne entend occuper une position pionnière à l’échelle mondiale. ATLAS-L4 contribue ainsi à préparer l’avenir du transport routier de marchandises et à renforcer l’attractivité économique de l’Allemagne.Partenaires du projet : 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 GmbHVisiter le site du projet

Dans le cadre du projet de recherche KI Wissen, des méthodes d’intégration des connaissances existantes dans les fonctions d’IA basées sur les données des véhicules autonomes sont développées et étudiées. L’objectif est de créer un écosystème complet permettant d’intégrer les connaissances à l’entraînement et à la sécurisation des fonctions d’IA.Partenaires du projet : Continental, Bosch, Valeo, Altran, AVL, EFS, DLR, Fortiss, Fraunhofer, OFFIS et d’autres partenairesVisiter le site du projet

BTC Embedded Systems est membre du comité consultatif industriel du projet Step-Up!CPS.Membres : FZI, Universität Oldenburg, OFFIS, DLR, KIT, SafeTRANS. Comité consultatif industriel : 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 GmbHVisiter le site du projet

Les systèmes hautement automatisés et autonomes de différents domaines (automobile, aéronautique, ferroviaire, maritime, santé et agriculture) sont tous confrontés, dans leurs grandes lignes, aux mêmes défis. L’explosion de la complexité et le nombre presque infini de scénarios environnementaux possibles à prendre en compte n’en sont que quelques exemples. Le consortium ENABLE-S3 réunit des experts de six domaines différents, des fournisseurs d’outils et des acteurs universitaires afin de relever les principaux défis liés aux tests.Partenaires du projet : Denso, Toyota, Renault, Valeo, Magneti Marelli, Airbus, DLR, IBM, Thales et bien d’autresVisiter le site du projet

Les futures solutions de mobilité reposeront de plus en plus sur des composants intelligents qui surveillent en permanence l’environnement et assument une responsabilité croissante afin d’assurer un fonctionnement confortable, sûr et fiable des systèmes. À l’heure actuelle, le principal obstacle à ce marché réside dans la capacité à élaborer une méthodologie de développement multicœur abordable et sûre, permettant à l’industrie de proposer de nouvelles fonctions dignes de confiance à des prix compétitifs. ASSUME fournit une méthodologie d’ingénierie homogène qui répond à cet obstacle sur les plans constructif et analytique.Partenaires du projet : Airbus, Daimler, Scania, Bosch, Sagem, Snecma, MES, OFFIS et bien d’autresVisiter le site du projet

L’utilisation de méthodes avancées permettant aux ordinateurs de résoudre des problèmes pratiques présentant un intérêt industriel possède une longue histoire. Alors que le calcul symbolique vise à déterminer algorithmiquement les solutions exactes de problèmes mathématiques complexes, les développements plus récents dans le domaine de la vérification de satisfaisabilité abordent des problèmes similaires au moyen de solutions algorithmiques et technologiques différentes. Ce projet a lancé un large éventail d’activités destinées à rapprocher les deux communautés et à permettre le développement d’outils logiciels radicalement améliorés.Partenaires du projet : University of Oxford, University of Freiburg, University of Oldenburg, Maplesoft, Microsoft Research et bien d’autresVisiter le site du projet

Le projet ARTEMIS MBAT fournit à l’industrie européenne une nouvelle technologie V&V de pointe sous la forme d’une plateforme technologique de référence (MBAT RTP), qui permet de produire des systèmes embarqués sûrs et de haute qualité à moindre coût, tant en temps qu’en argent. Cette avancée repose sur une approche nouvelle et très prometteuse qui associe les technologies de test basé sur des modèles aux techniques d’analyse statique.Partenaires du projet : Daimler, Airbus, AVL List, EADS, Siemens, Thales Aleniaspace, Volvo et bien d’autresVisiter le site du projet

Le secteur de la conception et du développement de systèmes embarqués critiques pour la sécurité fait face à une complexité croissante et à une diversité accrue de systèmes et d’appareils, auxquelles s’ajoutent des contraintes réglementaires de plus en plus fortes, alors que les coûts, les performances et les délais de mise sur le marché sont constamment sous pression. CESAR apporte des innovations significatives et concluantes dans deux disciplines de l’ingénierie système : l’ingénierie des exigences, notamment par la formalisation d’exigences à plusieurs points de vue, critères et niveaux ; et l’ingénierie basée sur les composants, appliquée à l’exploration de l’espace de conception et intégrant des compromis architecturaux à plusieurs points de vue, critères et niveaux.Partenaires du projet : Airbus, ABB, AbsInt, Astrium, Delphi, EADS, Infineon, Siemens, Volvo et bien d’autresVisiter le site du projet

Le projet de transfert DeCoDe vise à détecter avec efficacité et précision le code mort dans les programmes en C réactifs, orientés commande et dominés par les calculs en virgule flottante. Cela concerne en particulier les programmes issus de modèles Simulink/Stateflow d’applications de commande embarquées par génération automatique de code C, ainsi que ceux écrits à la main conformément aux directives imposées dans le domaine de l’embarqué.Partenaires du projet : University of Oldenburg, University of Freiburg, SICK AG