Projekte

Zeige Ergebnisse 1 bis 10 von 18

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen ...

VeryHuman – Komplexes Verhalten Humanoider Roboter Lernen und Verifizieren

Die Validierung von Systemen in sicherheitsrelevanten Situationen ist ein inhärent schwieriges Problem, wenn deren Verhalten über Lernalgorithmen ...

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der ...

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

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

SELFIE – Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel ...

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate ...

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende ...

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen ...

Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem ...

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence