Cyber-Angriffe auf Unternehmen und öffentliche Einrichtungen nehmen weltweit drastisch zu. Das von der Cyberagentur geförderte Projekt PROTECT entwickelt Lösungen, um IT-Systeme widerstandsfähiger…
Quantencomputer könnten bis 2030 in der Lage sein, die derzeitig eingesetzten asymmetrischen Kryptoverfahren zu brechen, wodurch ein Bedarf an quantenresistenten Verschlüsselungsstandards entsteht.…
Um das Innovationsökosystem beim Chipdesign in Deutschland zu stärken und mehr junge Menschen für das wichtige Arbeitsgebiet der Halbleiter- und Chip-Entwicklung zu gewinnen,wird im Rahmen des…
Quelloffene Ansätze im Hardwareentwurf haben in den letzten Jahren erhöhte Aufmerksamkeit erhalten; es gibt viele erfolgversprechende Ansätze, aber noch keine industrieweite Akzeptanz wie im…
In enger Zusammenarbeit innerhalb der U Bremen Research Alliance (UBRA) und mit weiteren Partnern etabliert die Universität Bremen ein Datenkompetenzzentrum für die gesamte Region. Das…
Künstliche Intelligenz (KI) findet zunehmend vielfältige Anwendungen in der physischen Welt, insbesondere auf eingebetteten, cyber-physischen Geräten mit begrenzten Ressourcen und unter…
Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, Integrität und Vertraulichkeit der Daten (safety,…
Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt die Modellierung auf der abstrakten…
Es soll ein System entwickelt werden, das die Magnetresonanztomographie (MRT) für KI-Anwendungen zugänglich macht. Die MRT ist die flexibelste und variantenreichste Bildgebungsmodalität in der…
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…
Die Validierung von Systemen in sicherheitsrelevanten Situationen ist ein inhärent schwieriges Problem, wenn deren Verhalten über Lernalgorithmen trainiert wurde. Der subsymbolische Operationsmodus…
Im Projekt KI-SIGS (KI-Space für intelligente Gesundheitssysteme) bündeln Unternehmen, Universitäten und Forschungseinrichtungen aus Norddeutschland ihre Kompetenzen im Bereich der medizinischen KI,…
Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel des Projektes SELFIE ist daher ein fundamentaler…
Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem gestiegenen Anforderungen an die Qualität und…
Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen oder gesteuerten Fahrzeugen in industriellen…
Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit einem zertifizierten Sicherheits-Laserscanner die…
Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen.
