Projekte

Zeige Ergebnisse 1 bis 3 von 3.

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
SCRATCh – SeCuRe and Agile Connected Things

Die Entwicklung und der Betrieb von sicheren, großflächigen IoT-Systemen ist schwierig. Es gibt technologische Plattformen, die die notwendigen Bausteine für die Integration von Geräten und Backbone-L
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, Reeder, Spediteure, Betreiber von Hafen-IT, Bahn,