+++ Die Einträge in der Aussteller- & Produktdatenbank entsprechen dem Anmeldestand zur embedded world 2020. +++
Kernkonzept GmbH
Buchenstraße 16b
01097 Dresden
Sachsen
Deutschland
Telefon: +49(0)351.418886-11
Fax: +49(0)351.418886-19
Die Kernkonzept GmbH entwickelt das modulare L4Re-System, ein Open-Source-Betriebssystem und Hypervisor für Anwendungen mit besonderen Anforderungen an IT-Sicherheit, Safety und Virtualisierung. Mit dem L4Re-OS-Toolkit und dem L4Re-Cert-Kit bauen Sie ein passgenaues, minimal komplexes System für Ihr sicherheitskritisches und dennoch funktionsreiches Produkt.
L4Re Operating System und L4Re Hypervisor
Die sichere, zertifizierungsfreundliche Systemplattform L4Re besteht aus
- dem L4Re-Microkernel, der vertrauenswürdige native MicroApps und virtuelle Maschinen ausführt,
- der Programmier- und Ausführungsumgebung L4Re-Runtime-Environment und
- Virtualisierungslösungen zur sicheren Kapselung bestehender Kundenlösungen.
L4Re verfolgt das Ziel der minimalen Vertrauensbasis. Durch Modularisierung und die Reduktion von Abhängigkeiten zwischen Komponenten wird die Angriffsfläche einer Anwendung so klein wie möglich gehalten. Die L4Re-Technologie ermöglicht die Isolation von kritischen und unkritischen Anwendungen durch die Kapselung in separaten Security-Compartments, die dennoch auf ein und derselben Hardware betrieben werden können. Mit dem leichtgewichtigen L4Re Microkernel können unsere Kunden ihre kritischen Anwendungen mit Isolations- und Sicherheitseigenschaften anreichern und dadurch in kürzerer Zeit und mit geringeren Kosten das Ziel der Zertifizierung bzw. Zulassung erreichen.
Märkte
Das L4Re-System bietet Safety und Security in den Märkten Cybersecurity, Automotive und High-Assurance-IT-Sicherheit.
- Cybersecurity – Das modulare L4Re-System schützt vernetzte Geräte aus den Bereichen industrial IoT, smart Home, digital Payment und ebenso kritische Infrastrukturen.
- Automotive – Der L4Re Microkernel schützt und vereinfacht die Integration unterschiedlicher Fahrzeuganwendungen auf Hochleistungsrechnern in neuartigen Softwarearchitekturen. Elektrobit liefert den L4Re-basierten EB corbos Hypervisor für den Serieneinsatz.
- High Assurance – L4Re bietet IT-Sicherheit für neue, vom BSI zugelassene Produkte, wie z.B. SIMKO3 (T-Systems), vs-top und vs-diode (genua GmbH) oder SDoT Security Gateway (infodas GmbH) bis zu den Geheimhaltungsstufen GEHEIM und NATO SECRET.
Wann sollten Sie unbedingt mit uns reden? Sie planen die
- Integration von sicherheitskritischen Anwendungen mit bestehenden Systemen,
- Entwicklung von zertifizierungspflichtigen Produkten, die kritische und unkritische Datenströme verarbeiten oder
- Aufrechterhaltung der Zertifizierungseigenschaft von bestehenden Anwendungen trotz Anbindung ans Internet.