Lauterbach Trace Support for L4Re Operating System Framework

Lauterbach TRACE32 unterstützt den L4Re Micro Hypervisor

Lauterbach, der weltweit führende Anbieter von Debug-Tools, bietet jetzt Debugging- und Trace-Unterstützung für den L4Re Micro Hypervisor von Kernkonzept. 

Dresden, Februar 2023 - Wir freuen uns, dass unser neu entwickelter L4Re Micro Hypervisor nun Debugging- und Tracing-Support von Lauterbach erhält.

Der TRACE32 von Lauterbach debuggt VMs und native Hypervisor-Anwendungen auf einem Multi-Core-System und greift transparent auf das Gastbetriebssystem, das innerhalb einer VM läuft, sowie die Hypervisor-Anwendungen, Treiber und den Mikrokernel selbst zu.

Unser quelloffenes, Capability-basiertes L4Re Betriebssystem-Framework eignet sich besonders gut für die Gewährleistung von Sicherheit auf Hochleistungsrechnern (HPC). Neben dem Automobilmarkt wird unsere Software in vielen industriellen und staatlichen Anwendungen eingesetzt, von sicheren Netzwerken und hochsicherem Cloud Computing bis hin zu industriellen IoT- und Smart-Home-Geräten.

Der größte Vorteil von Trace-basiertem Debugging ist aber die verringerte Entwicklungszeit. Das Optimieren des Systems wird dank Laufzeit-Analysen und Qualitätschecks wie Code Coverage sehr bequem.

Mit dem L4Re-Betriebssystem entwerfen wir maßgeschneiderte Systeme für die individuellen Bedürfnisse unserer Kunden, mit dem Fokus auf Echtzeit, Sicherheit und Schutz. Der L4Re Micro Hypervisor ist eine Virtualisierungslösung, die Interferenzfreiheit zwischen virtuellen Maschinen (VMs) auf MPU-basierten Systemen gewährleistet.

Die zuverlässige Isolierung mehrerer Anwendungen ist eine zentrale Voraussetzung für die Konsolidierung mehrerer Funktionen in automobilen Software-Plattformen. Während der L4Re Hypervisor diese Partitionierung auf HPC bereitstellt, ist der L4Re Micro Hypervisor aus dem gleichen Guss und kann daher auch auf MPU-basierten Plattformen zur Bereitstellung von Sicherheitsfunktionen verwendet werden, um eine "Sicherheitsinsel" zu schaffen und ganz neue Möglichkeiten für die Installation von sicherheitskritischen Anwendungen zu eröffnen.

Die Off-Chip-Debugging-Lösung von Lauterbach ermöglicht den Zugriff auf die Hardware und den L4Re Micro Hypervisor, wobei die Memory Protection Unit (MPU), die Memory Management Unit (MMU) und die Mechanismen zum Schutz der Hardware berücksichtigt werden. Es sammelt die Zustände von VMs und nativen Anwendungen, zeigt Haltepunkte in Prozessen und VMs an und erleichtert das Debugging durch die automatische Anzeige des korrekten Quellcodes und der Variablen. Weitere Funktionen sind die Extraktion von High-Level-Informationen aus den VMs.

„Wir freuen uns sehr, dass Lauterbach sein TRACE32-Tool um Tracing- und Debugging-Unterstützung für unseren neu entwickelten L4Re Micro Hypervisor erweitert hat“, sagt Adam Lackorzynski, CTO der Kernkonzept GmbH. „Dies ist ein großer Schritt für uns, während wir unser L4Re Operating System Framework für Virtualisierungslösungen im Automobilmarkt und darüber hinaus weiterentwickeln und verfeinern.“

Demo-Versionen, die auf dem NXP® S32Z, ST® Stellar und Arm® FVP laufen, sind verfügbar. Die Awareness kann von allen Lauterbach-Kunden kostenlos heruntergeladen 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!