We engineer

Security

Wir sind Kernkonzept – Spezialisten für maximale Sicherheit auf Computersystemen jeder Art. Wir entwickeln komplexe System- und Software-Architekturen und erschaffen sichere und zuverlässige Lösungen, maßgeschneidert für Ihre Anforderungen.

We engineer

Security

Wir sind Kernkonzept – Spezialisten für maximale Sicherheit auf Computersystemen jeder Art. Wir entwickeln komplexe System- und Software-Architekturen und erschaffen sichere und zuverlässige Lösungen, maßgeschneidert für Ihre Anforderungen.

We engineer

Security

Wir sind Kernkonzept – Spezialisten für maximale Sicherheit auf Computersystemen jeder Art. Wir entwickeln komplexe System- und Software-Architekturen und erschaffen sichere und zuverlässige Lösungen, maßgeschneidert für Ihre Anforderungen.

We engineer

Security

Wir sind Kernkonzept – Spezialisten für maximale Sicherheit auf Computersystemen jeder Art. Wir entwickeln komplexe System- und Software-Architekturen und erschaffen sichere und zuverlässige Lösungen, maßgeschneidert für Ihre Anforderungen.

We engineer

Security

Wir sind Kernkonzept – Spezialisten für maximale Sicherheit auf Computersystemen jeder Art. Wir entwickeln komplexe System- und Software-Architekturen und erschaffen sichere und zuverlässige Lösungen, maßgeschneidert für Ihre Anforderungen.

Kernkonzept L4Re Operating System and Hypervisor

Kundenspezifische Lösungen mit dem L4Re Operating System Framework

Ihr L4Re Operating System und Hypervisor

Unsere Kunden entwickeln zertifizierte und zugelassene Produkte: sicherheitskritische Anwendungen, missionskritische Umgebungen und vernetzte Geräte, die absolut zuverlässig funktionieren müssen. Kernkonzept bietet Ihnen ein sicheres, vertrauenswürdiges und minimales Betriebssystem, das Ihre Anwendungen vor Störungen und Angriffen schützt.

Auto-
motive

Avionik

IT-
Security

High
Assurance

Industrie 4.0/
IIoT

Secure
Cloud

Secure
Endpoint

Smart
Home

Zertifizierungen und Zulassungen

Minimaler Quellcode für maximale Sicherheit

Zertifizierung und Zulassung von Sicherheitssystemen sind komplex. Wie lange der Prozess dauert, lässt sich schwer voraussagen. Das treibt die Kosten hoch und verlangsamt die Markteinführung.

Der Umfang der Code-Basis ist entscheidend für die Komplexität des Zulassungsprozesses und damit für die Kosten. Am wichtigsten aber: Er beeinflusst die Produkt- oder Datensicherheit einer Anwendung. Der Umfang des Quellcodes hat signifikanten Einfluss auf die Fehleranfälligkeit eines Produkts: 1.000 Zeilen Code enthalten im Durchschnitt 25 Bugs. Unseren Quellcode halten wir daher so schmal und so strukturiert wie möglich. Mit nur ca. 30.000 Zeilen ist unsere Trusted Computing Base (TCB) so klein wie Merkur in Relation zur Sonne – dem Quellcode großer Firmen mit Millionen von Codezeilen.

Klein, aber fein: Unsere minimale TCB liefert Ihnen maximale Sicherheit und Zuverlässigkeit. Das L4Re Betriebssystem vereinfacht die Zertifizierung wie Common Criteria/EAL4+, ISO 26262 oder ISO 15408 deutlich.

Kernkonzept L4Re Certification Authorization

Ihre individuelle Trusted Computing Base

Das L4Re Operating System Framework

Unser L4Re Operating System Framework ist „aus einem Guss“ entwickelt, sodass wir für jedes Produkt eine minimale Trusted Computing Base (TCB) exakt für Ihre Anforderungen bauen können.

Modernste Microkernel-Technologie

Minimale, hochsichere Lösungen für Betriebssysteme

Bei Kernkonzept haben wir unser eigenes L4Re Operating System Framework nach dem Prinzip der minimalen Rechtevergabe entworfen. Der hochmoderne berechtigungsbasierte (capability based) Mikrokernel und das Framework reichen vom User Level bis zu Komponenten auf Kernel-Level. Nutzen Sie sicherste uniforme Programmierschnittstellen (APIs), die im gesamten System gültig sind.

Ihre eigene Systemlösung

Modular, klein und leicht

Das modulare, leichte L4Re Operating System Framework von Kernkonzept ist der Baukasten, aus dem die minimale Trusted Computing Base für Ihr Produkt entsteht. Das können unsere Spezialisten oder Ihr eigenes IT-Team übernehmen.

Minimieren Sie die Zahl der Zertifizierungszyklen und sparen Sie Zeit und Geld beim Roll-out Ihres nächsten Produkts!

Kernkonzept EU digital sovereignty

Europäische digitale Souveränität

Secure supply chains

Sichere Betriebssysteme sind die Basis unserer Datensicherheit und sicherheitskritischer Lieferketten. Wir bieten das passende Framework für hochsichere internetfähige Geräte und die Secure Cloud.

Unsere Open-Source-Technologie ist ein Grundpfeiler für die deutsche und europäische digitale Souveränität.

Kernkonzept L4Re Open-Source

SOFORT STARTEN MIT DEM L4RE FRAMEWORK

Wir sind Open Source

Wir haben unsere L4Re-Technologie als Open Source lizenziert – genauer, unter der GNU General Public License, Version 2 (GPL v2).

Auf Wunsch bieten wir Ihnen für Ihre spezifische Anwendung die Lizenzierung als proprietäre Version (duale Lizenzierung).

Kernkonzept L4Re Consulting Support

Individuelle Beratung und Support

Wir schützen Ihre Entwicklung

Kernkonzept berät Sie rund um Hardware-Design, System-Architekturen und Systemsicherheit, von Linux bis L4Re. Wir entwickeln Betriebssystem-Lösungen speziell für Ihre Anwendung. Wir begleiten Sie und Ihr Produkt durch den gesamten Zertifizierungs- und Zulassungsprozess.

Kernkonzept Logo

Wir sind Ihr Spezialist für sicherheitskritische Virtualisierung und Betriebssystem-Technologien.