Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 2 von 2.
  1. VerSys – Eine konsistente Verifikationsplattform  zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    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

  2. SAFE-10-T – Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk

    SAFE-10-T – Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk

    Das SAFE-10-T Projekt wird ein Framework entwickeln, das ein hohes Sicherheitsniveau von Straßen-, Schienen- und Wasserweg-Netzwerken sicherstellen wird, während gleichzeitig deren Lebensdauer maximie