Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 10 von 13.
  1. PaSVer – Leistungsfähiges Entwurfswerkzeug für neuartige Automobilelektronik

    PaSVer – Leistungsfähiges Entwurfswerkzeug für neuartige Automobilelektronik

    Die Autoindustrie in Deutschland verändert sich stark. Autohersteller müssen immer mehr Software und Hardware miteinander verbinden, um das autonome Fahren und die Elektromobilität zu ermöglichen. Die

  2. REXASI-PRO – Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität

    REXASI-PRO – Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität

    Künstliche Intelligenz (KI) wird in vielen Bereichen weit verbreitet eingesetzt, und es ist notwendig, Vertrauen in diese Systeme in der breiten Öffentlichkeit zu erreichen. Forderungen nach dediziert

  3. VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

    VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

    Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen RISC-V-Prozessoren. RISC-V ist eine neue, offene und freie Befehls

  4. DOF-Adaptiv – Adaptive Freiheitsgradeinbettung als kooperatives Userinterface für einen Assistenzroboter

    DOF-Adaptiv – Adaptive Freiheitsgradeinbettung als kooperatives Userinterface für einen Assistenzroboter

    Ein assistiver Roboterarm ist eine wertvolle Unterstützung für Menschen mit stark eingeschränkter Mobilität von Arm und Hand, aber anstrengend und zeitraubend zu nutzen, weil den sieben Be- wegungsmög

  5. ASCAPE – Künstliche Intelligenz zur Unterstützung von Krebs-Patienten in ganz Europa

    ASCAPE – Künstliche Intelligenz zur Unterstützung von Krebs-Patienten in ganz Europa

    Ziel des Projekts ist es, die Fortschritte in den Bereichen Big Data, künstliche Intelligenz und maschinelles Lernen zu nutzen, um die Lebensqualität und den Gesundheitszustand von Krebspatienten zu u

  6. Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

    Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

    Deep-Learning-Verfahren werden in vielen Anwendungsgebieten eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine verlässliche Au

  7. VerSys – Eine konsistente Verifikationsplattform  zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro

  8. SATiSFy – Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen

    SATiSFy – Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen

    Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu entwickeln, um die notwendigen Security- und Safety-A

  9. SecRec – Security by Reconfiguration - Physikalische Sicherheit durch dynamische Hardware-Rekonfiguration

    SecRec – Security by Reconfiguration - Physikalische Sicherheit durch dynamische Hardware-Rekonfiguration

    Field-Programmable Gate Arrays bieten eine effiziente Plattform für kryptographische Hardwareimplementierungen. Trotz derer Vorteile, muss jedoch jede sicherheitskritische Komponenten auch auf einem F

  10. WaRoBema – Wartbares rollenbasiertes Berechtigungsmanagement

    WaRoBema – Wartbares rollenbasiertes Berechtigungsmanagement

    Der Industriepartner hat in verschiedenen Anwendungen Konzepte der rollenbasierten Zugriffskontrolle (RBAC) und Sicherheitsregeln umgesetzt, mit denen sich zusätzliche Sicherheitsanforderungen (wie z.