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
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 Automobilindustrie ist im Wandel: Mechanisch konstruierte Fahrzeuge werden zu rollenden, vernetzten Geräten. Im sogenannten Software-definierten Fahrzeug (SDV) ist der klassische Ansatz „eine ECU pro Funktion“ nicht mehr realisierbar.
Um Funktionen zu bündeln, Kosten, Gewicht und Platz zu sparen sowie Innovationen zu fördern, entstehen leistungsstarke High-Performance-Computing-Systeme (HPC) für den Einsatz in Fahrzeugen. Die weiterhin notwendige Fahrsicherheit und die steigende Nachfrage nach Datensicherheit stellen gemischt-kritische Systeme jedoch vor Herausforderungen: Wie erreicht man vollständige räumliche und zeitliche Isolierung unabhängiger Softwarefunktionen?
Der L4Re-Hypervisor sorgt für Interferenz-Freiheit aller integrierten Softwaresysteme. So können Softwaresysteme mit unterschiedlichen Sicherheitsstufen (ASIL) auf derselben Hardware ausgeführt werden. Dies ermöglicht die Kombination von Funktionen mit hohen Anforderungen an die funktionale Sicherheit mit dynamischen Funktionen. Der L4Re Hypervisor garantiert diese Trennung auch bei Software-Wechsel.
Die neue L4Re Hypervisor-Familie skaliert von Embedded-Systemen bis zur Cloud: Der L4Re Micro Hypervisor unterstützt Embedded-MCU-Systeme mit MPU-basiertem Speicherschutz, während es der L4Re Hypervisor für Multi-Core-HPC-Systeme Systementwicklern ermöglicht, Workloads entsprechend den Anforderungen an Leistung, Speicherplatz und Timing zuzuweisen.
The L4Re Secure Separation Kernel VS is approved up to German GEHEIM. L4Re solutions are used in products protecting information up to German GEHEIM/EU SECRET/NATO SECRET.
Minimale Trusted Computing Base
Governments, public authorities, defense agencies and public infrastructures (KRITIS) are experiencing increasing levels of cyberattacks. To protect their classified information, these users require high safety and security standards to safeguard their assets. Software products for these markets must be certified and accredited by national or multinational authorities such as the BSI, EU or NATO.
Guaranteed separation and a defined flow of information are usually only achievable by physically separating the networks. With the L4Re-Betriebssystem-Framework and its minimal trusted computing base, separate physical machines can be securely consolidated. Certified and accredited separation, resource, and communication policies at the OS level assure a secure domain transition.
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.:
The L4Re Operating System Framework provides a sovereign foundation for cloud security, strictly isolating sensitive government workloads or classified data by design.
Secure Cloud Industrie
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.
Der für GEHEIM zugelassene L4Re Hypervisor ist die Basis der National Secure Cloud (NSC), einem gemeinsamen Projekt der deutschen Security-Software-Unternehmen IABG, infodas, Utimaco und Kernkonzept.
Kontakt aufnehmen
Unsere Mitarbeitenden informieren Sie gern zu Use Cases und detaillierten Produktdaten der L4Re-Familie.
Thank you for your interest in our work. After your free download, we would love to hear your opinion about it. Feel free to contact us per mail or on LinkedIn!