Die Hensoldt Cyber GmbH und CSIROs Data61 haben eine internationale Partnerschaft zur Entwicklung eines vertrauenswürdigen Hardware-Software-Stacks angekündigt, der vor Cyberangriffen auf Verteidigungssysteme, Fabriken, autonome Fahrzeuge und kritische Infrastrukturen schützen soll. Wie Hensoldt weiter mitteilte, soll sichere Prozessorhardware auf Basis der offenen RISC-V-Architektur mit der gesicherten Produktion und den mathematischen Sicherheitsgarantien des seL4-Betriebssystems kombiniert werden.
Die Gruppe Trustworthy Systems von Data61, die ursprünglichen Entwickler von seL4, werde dieses an die effiziente Ausführung auf Hensoldt Cyber-Prozessoren anpassen und die bestehenden Korrektheitsnachweise von seL4 für diese Hardware erweitern.
Hensoldt Cyber wurde vor gut einem Jahr in München als Joint Venture der deutschen Unternehmen Hensoldt und Secure Elements gegründet und entwickelt sichere IT-Lösungen für cyberphysikalische Systeme in Industrie und Verteidigung.
lah/12/22.9.2018
Diese Beiträge könnten Sie auch interessieren:
Hensoldt gründet Joint Venture mit Secure Elements
Saab soll Komponenten für Taurus-Flugkörper liefern
Neue Rüstungsfirma Hensoldt erhält Holding-Struktur
ELTA und Hensoldt wollen zusammenarbeiten
Hensoldt kooperiert mit israelischer Nano Dimension
Hensoldt modernisiert IFF-Systeme und untersucht Selbstschutz
Hensoldt kooperiert mit norwegischer Firma
Hensoldt kooperiert mit Huneed Technologies
