Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 5 von 5
  1. 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 …

  2. 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 …

  3. 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 …

  4. 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 …

  5. SAMS – Sicherungskomponente für Autonome Mobile Systeme

    SAMS – Sicherungskomponente für Autonome Mobile Systeme

    Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit …