Projekte

Zeige Ergebnisse 1 bis 2 von 2.

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
SemProM – Semantic Product Memory

Die Forschungs- und Entwicklungsinitiative des Technologieverbundes „Digitales Produktgedächtnis“ im Rahmen des IKT-2020 Forschungsprogramms des BMBF soll die nächste Generation von mobilen, eingebett