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 …
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 …
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, …