L4Re Micro Hypervisor ist Referenzhypervisor für NXP S32Z

Kernkonzepts quelloffener L4Re Micro Hypervisor ist Referenz-Hypervisor auf den S32Z und S32E Echtzeit-Prozessoren von NXP.

Kernkonzept, der Spezialist für sichere Virtualisierungs- und Betriebssystemlösungen, hat den quelloffenen L4Re Micro Hypervisor veröffentlicht. Er wird als Referenz-Hypervisor für die neuen 16-nm-Echtzeitprozessoren der S32Z- und S32E-Familien von NXP®® Semiconductors eingeführt, die mit acht Arm® R52-Kernen ausgestattet sind und mit bis zu 1 GHz laufen. Der L4Re Micro Hypervisor ist im Lieferumfang der S32Z/E Vehicle Integration Platform (GreenVIP) von NXP enthalten.

Der neu eingeführte L4Re Micro Hypervisor nutzt das praxiserprobte L4Re Operating System Framework, das Open-Source-Bausteine für die Entwicklung von Systemen bereitstellt, die mehrere Anwendungen mit unterschiedlichen Sicherheits- und Echtzeitanforderungen konsolidieren. L4Re von Kernkonzept ermöglicht ein anwendungsspezifisches Design und bietet eine kundenspezifische, minimal vertrauenswürdige Datenverarbeitungsbasis, um Angriffsflächen und Zertifizierungsaufwand zu minimieren.

Die L4Re-Betriebssystem-Framework ist ein Allzweck-System aus separaten Modulen, die eine flexible Anpassung an die Sicherheitsanforderungen verschiedener Anwendungsfälle in den Bereichen Automotive, Avionik, Industrie, Networking und vielen anderen Märkten ermöglichen. Mit dem L4Re Micro Hypervisor können Systementwickler Funktionalitäten auf dem Arm® Cortex-R52 platzieren und profitieren von mehr Flexibilität beim Systemdesign.

Die neu verfügbare Hardware-basierte Virtualisierung ermöglicht es, mehrere Systeme auf einer einzigen Plattform zu konsolidieren und erschließt das Potenzial dieser neuen Prozessortypen. Mit L4Re können Funktionalitäten so platziert werden, dass sie direkt auf dem neuen L4Re Micro Hypervisor als native Anwendung oder in VMs schinen läuft - je nach Kundenanforderung. Multi-Core-Systeme wie die S32Z- und S32E-Prozessoren von NXP werden unterstützt, um mehrere Workloads oder VMs parallel auszuführen.

Die Echtzeit-Prozessorfamilien S32Z und S32E von NXP für softwaredefinierte Fahrzeuge ermöglichen die sichere Integration fahrzeugweiter Funktionen und schaffen eine neue Klasse von Prozessoren: Sie vereinen das Echtzeitverhalten von Mikrocontrollern mit einer beispiellosen Kombination aus Gigahertz-Leistung, Isolierung mehrerer Anwendungen und Speichererweiterungsmöglichkeiten. Sie bieten Skalierbarkeit mit 16nm-Prozessoren und eine Roadmap für 5nm-Lösungen. Die S32Z- und S32E-Prozessoren zielen auf Domänen- und Zonensteuerung, funktionale Sicherheit, Elektrifizierung und intelligente Aktuierung für softwaredefinierte Fahrzeuge. All diese Funktionen und Anwendungen werden durch den L4Re Micro Hypervisor unterstützt.

"NXP hat mit Kernkonzept zusammengearbeitet, um deren Open-Source-Hypervisor für unsere preisgekrönten S32Z- und S32E-Echtzeitprozessorfamilien abzustimmen", sagt Andy Birnie, NXP Senior Director of Solutions & Applications for Automotive Processors. "Wir haben ihren L4Re Micro Hypervisor als grundlegendes Element in den NXP GreenVIP aufgenommen, um die Integration von sicheren Echtzeitanwendungen zu vereinfachen und die Innovationen unserer Kunden der nächsten Generation zu unterstützen."

"Die Virtualisierungstechnologie des L4Re Operating System Frameworks bietet die Grundlage für den Aufbau zukünftiger sicherer und zertifizierbarer Systeme, wie sie beim autonomen Fahren und vielen anderen Anwendungsfällen benötigt werden", fügt Adam Lackorzynski, CTO der Kernkonzept GmbH, hinzu. "Durch die Erweiterung unserer Virtualisierungsfunktionen und die Zusammenarbeit mit NXP bietet Kernkonzept nun den ersten Open-Source-Hypervisor für Cortex-R52-Prozessoren im Allgemeinen. Wir sind stolz darauf, mit unserem L4Re Micro Hypervisor als Referenz-Hypervisor funktionale Sicherheit für die Echtzeitprozessoren S32Z und S32E von NXP zu bieten."

Das quelloffene L4Re-System ist verfügbar in der GreenVIP Plattform von NXP und kann sofort benutzt werden.

Kernkonzept ist ein Spezialist für sichere Virtualisierungs- und Betriebssystemtechnologie, mit Kunden, die komplexe Softwareprodukte für sicherheits- und missionskritische Anwendungen entwickeln, welche oft Zertifizierung oder Akkreditierung erfordern.

Auf der Grundlage der Open-Source-Technologie L4Re – einer Mikrokern-basierten Betriebssystem- und Hypervisor-Plattform – entwickelt Kernkonzept Systemlösungen mit einer minimalen Angriffsfläche, Echtzeitfähigkeiten und Virtualisierungsunterstützung, bis hin zum für GEHEIM und NATO SECRET zugelassenen Produkt L4Re Secure Separation Kernel VS und dem nach Common Criteria EAL4+ rezertifizierten L4Re Secure Separation Kernel CC.

Durch den Einsatz der zertifizierten und erprobten L4Re-Technologie können Kunden die Zertifizierung ihrer eigenen Produkte erheblich beschleunigen – und damit Zeit, Kosten und Risiko deutlich reduzieren. Kernkonzept passt diese Lösungen an die spezifischen Anforderungen des Automobil-, Hochsicherheits- und Embedded-Marktes an und unterstützt Kunden mit umfassender, individueller Architekturberatung und Entwicklung. Die Kernkonzept GmbH ist ein mittelständisches Unternehmen mit Sitz in Dresden.

Kernkonzept Events

Pressekontakt

Ihre Anfrage

Sie haben eine Frage zu unserer Firma oder zur L4Re-Technologie? Wir freuen uns, von Ihnen zu hören.

KERNKONZEPT MAILING LIST

Fast geschafft!

To complete your subscription, please check your inbox for a confirmation email. Click the link in the email to confirm your subscription. If you don’t see the confirmation email in your inbox, make sure to check your spam or junk folder.

Download

Fast geschafft!

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!