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
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.
Ihre individuelle Trusted Computing Base
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
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
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!
Europäische digitale Souveränität
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.
SOFORT STARTEN MIT DEM L4RE FRAMEWORK
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).
Individuelle Beratung und Support
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.
Wir sind Ihr Spezialist für sicherheitskritische Virtualisierung und Betriebssystem-Technologien.
Unternehmen
Anwendungen
L4Re Technologie
Ressourcen
