Kernkonzept entwickelt das L4Re Operating System. Das Open-Source-Mikrokernbetriebssystem wird überall dort eingesetzt, wo kritische und unkritische Anwendungen gleichzeitig betrieben werden. Mit unseren Kunden bauen wir hochsichere Systeme für Regierungslaptops, Smart-Home-Geräte, sichere Netzwerktechnik oder für das Auto oder Flugzeug. Darüber hinaus weisen wir die Vertrauenswürdigkeit der L4Re-Technologie auch mit formalen Methoden nach.
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.
