Our certification-ready L4Re technology provides solutions for many safety and security critical connected devices.
Auto-
motive
Avionics
Cyber
Security
High
Assurance
Industrial
IOT
Secure
Cloud
Secure
Endpoint
Smart
Home
The certification-ready L4Re Hypervisor and L4Re Micro Hypervisor for MPU-based systems are the safety foundation for the software-defined vehicle.
E-mobility and autonomous driving
The automotive industry is changing: Mechanically engineered vehicles are becoming rolling networked devices. In the so-called software-defined vehicle (SDV), the classical approach of “one ECU per function” is no longer feasible.
To consolidate functions to reduce costs, weight and space and to foster innovation, powerful in-car high-performance-computing (HPC) systems are emerging. However, the remaining need for safety and the increasing demand for security pose challenges to mixed-criticality systems: How to achieve complete spatial and temporal isolation of independent software functions?
The L4Re Hypervisor provides freedom from interference for all integrated software systems. In that way, software systems with different safety levels (ASIL) can be executed on the same hardware. This allows to combine functions with high functional safety requirements together with dynamic functions. The L4Re Hypervisor guarantees the separation even in the case of software changes.
The new L4Re Hypervisor family scales from Embedded systems to cloud: The L4Re Micro Hypervisor supports embedded MCU systems that employ MPU-based memory protection, while the L4Re Hypervisor for multi-core HPC systems allows system designers to place their workloads according to performance, space and timing requirements.
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.
Minimal 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 Operating System 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.
Today the L4Re Operating System Framework is the trusted foundation for products accredited up to GERMAN/EU/NATO SECRET levels, such as:
The L4Re Operating System Framework provides a sovereign foundation for cloud security, strictly isolating sensitive government workloads or classified data by design.
Secure cloud industry
Deploying services into a cloud to lower costs and achieve better scalability is common in today’s IT. But classified data handled by governments, public authorities and defense agencies must be protected at a level of security that goes beyond what current cloud infrastructures can provide.
This poses extra requirements on risk mitigation of untrusted or even compromised cloud infrastructures to ensure confidentiality, integrity and availability.
Customers using security critical infrastructure demand certification and accreditation to national and multinational security standards, followed by Germany’s BSI, the EU or NATO, to be deployed in practice.
With the minimal trusted computing base of the L4Re operating framework, we can provide these security levels for cloud infrastructures, separating critical applications and safe data storage reliably and securely.
The GEHEIM-approved L4Re Hypervisor is the foundation for the National Secure Cloud (NSC), a joint project of German software security companies IABG, infodas, Utimaco, and Kernkonzept.
Get in Touch
Our team is looking forward to your inquiries about L4Re use cases and in-depth product information.
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!