Industries & Use Cases

Unser L4Re Betriebssystem-Framework bietet zertifizierbare Lösungen für sicherheitskritische Anwendungen und vernetzte Geräte.

Auto-
motive

Avionik

IT-
Security

High
Assurance

Industrie 4.0/
IIoT

Secure
Cloud

Secure
Endpoint

Smart
Home

Automobil-Industrie

Der zertifizierbare L4Re Hypervisor und der L4Re Micro Hypervisor für MPU-basierte Systeme sind die sichere Basis für das Fahrzeug der Zukunft.

E-Mobilität und autonomes Fahren

DIE SOFTWARE-TRANSFORMATION IM AUTOMOBILBEREICH

Die Automobilindustrie befindet sich im größten Wandel ihrer Geschichte. Mechanisch konstruierte Fahrzeuge werden zu rollenden, vernetzten Geräten - das sogenannte Software-definierte Fahrzeug.

Da Innovation durch Software vorangetrieben wird, ist der klassische Ansatz "ein Steuergerät pro Funktion" nicht mehr praktikabel, vor allem wegen des dafür erforderlichen Gewichts und der Verkabelung im Fahrzeug. Der Wechsel zu leistungsstarken HPC-Systemen (In-Car High-Performance-Computing) wird durch die Notwendigkeit vorangetrieben, Funktionen zu konsolidieren, um Kosten, Gewicht und Platz zu reduzieren und Innovationen zu fördern.

Das Sicherheitsbedürfnis bleibt jedoch bestehen, und die ständig wachsende Nachfrage nach Sicherheit stellt diese Systeme mit gemischter Kritikalität vor Herausforderungen wie die vollständige räumliche und zeitliche Isolierung unabhängiger Softwarefunktionen.

Konsolidierung und Hochleistungsrechner

Der L4Re Hypervisor bietet Störungsfreiheit für alle integrierten Softwaresysteme. So können Softwaresysteme mit unterschiedlichen Sicherheitsstufen (ASIL) auf der gleichen Hardware ausgeführt werden.

Dies ermöglicht es, Funktionen mit hohen Anforderungen an die funktionale Sicherheit mit dynamischen Funktionen zu kombinieren. Der L4Re Hypervisor garantiert die Trennung auch bei Software-Änderungen.

Skalierbar von Embedded bis HPC

Die neue L4Re Hypervisor-Familiebesteht aus dem L4Re Micro Hypervisor, der embedded MCU-Systeme durch MPU-basierten Memory-Schutz unterstützt, und dem L4Re Hypervisor für Multi-Kern-HPC-Systeme. Damit können Systementwickler Workloads individuell nach Performance-, Raum- und Zeitbedürfnissen verteilen.

Hochsicherheit

Der L4Re Secure Separation Kernel ist zugelassen bis zur Geheimhaltungsstufe GEHEIM. L4Re-Lösungen laufen in Produkten bis zur Geheimhaltungsstufe GEHEIM/EU SECRET/ NATO SECRET.

Minimale Trusted Computing Base

Garantierte Separation und definierter Datenfluss

Regierungen, Behörden, Verteidigung und öffentliche Infrastrukturen (KRITIS) erleben auf allen Ebenen eine Zunahme an Cyberattacken. Um geheime Informationen zu schützen, brauchen diese Institutionen den höchsten Sicherheitsstandard für ihre Objekte. Produkte für diese Märkte müssen durch nationale oder multinationale Stellen wie das BSI, die EU oder die NATO zertifiziert und zugelassen werden, bevor sie in der Praxis zum Einsatz kommen.

Garantierte Trennung und ein definierter Datenfluss sind hier notwendig. Bisher war dies nur durch eine physische Trennung von Netzwerken möglich.

Mit dem L4Re Operating System Framework und seiner minimalen Trusted Computing Base können physisch getrennte Geräte etabliert werden. Zertifizierte und zugelassene Richtlinien für Separationen, Ressourcen und Kommunikation auf Betriebssystem-Level ermöglichen sichere Domain Transitions.

Heute ist das L4Re Betriebssystem-Framework die sichere Basis für Produkte mit Zulassungen auf höchster Geheimhaltungsstufe (Deutsch/EU/NATO GEHEIM), wie z. B.:

Cloud-
Security

Die minimale Trusted Computing Base erlaubt Behörden den Betrieb sicherheitskritischer Anwendungen und die sichere Cloud-Datenspeicherung.

Secure Cloud Industrie

Sichere Cloud-Infrastruktur

Services in der Cloud bereitzustellen, um Kosten zu senken und die Skalierbarkeit zu verbessern, ist in der IT allgemein üblich. Geheime Daten von Regierungen, Behörden und Verteidigungsagenturen müssen aber auf einem Sicherheitslevel geschützt werden, das gängige Cloud-Infrastrukturen nicht bieten.

Dies stellt zusätzliche Anforderungen an die Risikominderung von nicht vertrauenswürdigen oder sogar kompromittierten Cloud-Infrastrukturen, um Vertraulichkeit, Integrität und Verfügbarkeit zu gewährleisten.

Kunden, die in solchen Infrastrukturen arbeiten, verlangen daher Zertifikate und Zulassungen nach nationalen und internationalen Sicherheitsstandards, die etwa das deutsche BSI, die EU oder die NATO erteilen, um ihre Anwendungen in der Praxis einsetzen zu können.

Mit der minimalen Trusted Computing Base des L4Re Operating System Framework können wir diese Sicherheitsniveaus für Cloud-Infrastrukturen bereitstellen und kritische Anwendungen und sichere Datenspeicherung zuverlässig und sicher voneinander trennen.

Kontakt aufnehmen

Kontaktieren Sie uns!

Unsere Mitarbeitenden informieren Sie gern zu Use Cases und detaillierten Produktdaten der L4Re-Familie.