Projektpartner

ITPower Solutions GmbH

ITPower Solutions bietet Dienstleistungen und Softwarelösungen im Umfeld von Embedded Systemen. Spezialisiert auf die Optimierung von Entwicklungsprozessen und die Qualitätssicherung elektronischer Systeme ist das Unternehmen beratend und operativ tätig. ITPower Solutions agiert branchenübergreifend und zählt Hersteller und Zulieferer aus den Branchen Automobil, Medizintechnik und Automatisierungsindustrie zu seinen Kunden.

Das Unternehmen verfügt über mehr als 20 Jahre Erfahrung und umfangreiches Wissen im Bereich des Tests von Embedded Software. ITPower Solutions entwickelt und vertreibt das Testtool ContinoProva für automatisiertes Testen von Embedded Software in einer heterogenen Toolumgebung.

neurocat GmbH

Die neurocat GmbH ist ein in Deutschland 2017 gegründetes Unternehmen mit Sitz in Berlin-Adlershof, welches sich auf die Qualitätssicherung von Künstliche Intelligenz (KI) -Anwendungen spezialisiert hat. neurocat bietet Unternehmen Beratungsleistungen rund um den sicheren Einsatz von KI-Methoden an und entwickelt die Cloudplattform aidkit, die Machine Learning Systeme automatisiert überprüft und dabei Handlungsempfehlungen zur Optimierung der Anwendungen generiert.

Zielsetzung des Unternehmens ist es dabei seit Anfang an, den Weg in eine innovative Zukunft zu ebnen und den Einsatz von KI auch in sicherheitskritischen Anwendungsgebieten zu ermöglichen. Um das zu erreichen, legt die neurocat GmbH ihren Arbeitsschwerpunkt auf die Quantifizierung der Qualitätsparameter Robustheit, Nachvollziehbarkeit und Leistungsfähigkeit von KI-Systemen, sowie deren systematische und nachhaltige Verbesserung.

Thales Deutschland GmbH

Thales (Euronext Paris: HO) ist ein weltweit führendes High-Tech-Unternehmen, das in digitale und „Deep-Tech“-Innovationen – Konnektivität, Big Data, künstliche Intelligenz, Cybersicherheit und Quantentechnologie – investiert, um eine Zukunft zu gewährleisten, der wir alle vertrauen können und die für die Entwicklung unserer Gesellschaften von entscheidender Bedeutung ist. Das Unternehmen bietet Lösungen, Dienstleistungen und Produkte an, die seinen Kunden – Unternehmen, Organisationen und Staaten – in den Bereichen Verteidigung, Luft- und Raumfahrt, Transport sowie digitale Identität und Sicherheit helfen, ihre kritischen Aufgaben zu erfüllen, indem sie den Menschen in den Mittelpunkt des Entscheidungsprozesses stellen.

Mit 81.000 Mitarbeitern in 68 Ländern erwirtschaftete Thales im Jahr 2020 einen Umsatz von 17 Milliarden Euro.

Frauenhofer FOKUS

Das Fraunhofer-Institut für offene Kommunikationssysteme (FOKUS) ist mit seinen 500 Mitarbeitern eines der zentralen Fraunhofer Institute im IuK-Verbund. FOKUS besitzt ausgewiesene wissenschaftliche und industriepraktische Expertise in den Bereichen Softwareverifikation, modellbasiertes- und risikobasiertes Testen sowie in der Qualitätssicherung datenintensiver KI-Anwendungen und autonomer Systeme. Im Projekt KI-LOK wird FOKUS als wissenschaftlicher Transferpartner Expertise aus den Bereichen KI und Qualitätssicherung zusammenführen und die Anschlussfähigkeit der Projektergebnisse sowohl in Hinblick auf ihren Innovationsgrad wie auch die wissenschaftliche Tragfähigkeit sicherstellen.

Heinrich-Heine-Universität Düsseldorf

Die Heinrich-Heine-Universität Düsseldorf (HHU) ging aus der 1907 eingerichteten Medizinischen Akademie hervor. Heute forschen, lehren und arbeiten auf dem Campus rund 35.000 Studierende, 340 Professoren und mehr als 3.000 Mitarbeiter. Im Rahmen der EU-Förderlinien FP7 und Horizon 2020 ist die HHU an 68 Forschungsprojekten beteiligt, davon alleine 10 ERC Grants und 22 Marie S.-Curie Projekte. Die Mathematisch-Naturwissenschaftliche Fakultät ist am CEPLAS Exzellenzcluster beteiligt und beherbergt mehrere ERC Advanced Grants. Der Lehrstuhl Softwaretechnik und Programmiersprachen hat langjährige Erfahrung mit Forschungsprojekten im Gebiet der formalen Methoden und entwickelt auch Software zur automatischen Prüfung von sicherheitskritischen Systemen, zum Beispiel das Werkzeug ProB.