Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 21 bis 30 von 64
  1. 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 …

  2. ConText – Textile Oberflächen zur elektrischen Versorgung, informationstechnischen Kommunikation und intuitiven Interaktion mit IoT-Geräten im Smart Home

    ConText – Textile Oberflächen zur elektrischen Versorgung, informationstechnischen Kommunikation und intuitiven Interaktion mit IoT-Geräten im Smart Home

    Ziel des Projektes ist es, sogenannte Connecting Textiles zu entwickeln. Diese sollen eine sichere, robuste und elektromagnetisch umweltverträgliche …

  3. SecProPort – Skalierbare Sicherheitsarchitekturen für  die Geschäftsprozesse in deutschen Häfen

    SecProPort – Skalierbare Sicherheitsarchitekturen für die Geschäftsprozesse in deutschen Häfen

    Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Jeder der am Hafentransport beteiligten Akteure (wie z.B. Terminalbetreiber, …

  4. INTUITIV – Intuitiv-nonverbale und informativ-verbale Roboter-Mensch-Kommunikation

    INTUITIV – Intuitiv-nonverbale und informativ-verbale Roboter-Mensch-Kommunikation

    Unser Ziel ist zu untersuchen wie Intentionen eines Roboters von Menschen verstanden werden können durch antizipierbare Pfadwahl in Kombination mit …

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

  6. aiPhilos – KI-Suche für den B2C-Bereich

    aiPhilos – KI-Suche für den B2C-Bereich

    Ziel des Projektes ist die Übertragung der Ergebnisse des Projektes „KISuche“ auf den B2C-Bereich. Dabei sollen am Ende über mobile Endgeräte in …

  7. KI-STAGING – Intelligente Verfahren zur Analyse von Artikelbeschreibungen

    KI-STAGING – Intelligente Verfahren zur Analyse von Artikelbeschreibungen

    Im Projekt KI-Staging entwickeln der DFKI-Forschungsbereich Cyber-Physical Systems und die ePhilos AG intelligente Verfahren zur Analyse von …

  8. CONVERS – Entwurfsautomatisierung für komplexe Elektroniksysteme

    CONVERS – Entwurfsautomatisierung für komplexe Elektroniksysteme

    Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen …

  9. SAFE-10-T – Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk

    SAFE-10-T – Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk

    Das SAFE-10-T Projekt wird ein Framework entwickeln, das ein hohes Sicherheitsniveau von Straßen-, Schienen- und Wasserweg-Netzwerken sicherstellen …

  10. SMILE – Smart Environments als Kontext motivierender Lernangebote für einen wachsenden Anteil von Informatikerinnen

    SMILE – Smart Environments als Kontext motivierender Lernangebote für einen wachsenden Anteil von Informatikerinnen

    Ziel von SMILE ist die nachhaltige Erhöhung des Anteils der Frauen, die ein Studium der Informatik aufnehmen sowie die Senkung der Abbruchquoten, um …