Bei sicherheitskritischen Anwendungen etwa in der Luft- und Raumfahrt, der Bahn- und Automobilindustrie oder industriellen IoT-Systemen ist die erforderliche Zertifizierung der Systeme nach den jeweiligen Standards eine der komplexesten, aufwändigsten und daher auch teuersten Phasen des Entwicklungszyklus. Eines der wesentlichen Probleme dabei ist, dass jedes integrierte Gesamtsystem von Grund auf zertifiziert werden muss – oftmals unabhängig davon, ob einzelne Komponenten oder Module bereits eine Zertifizierung besitzen. Die Wiederverwendung solcher Zertifizierungen von Komponenten ist daher eines der wesentlichen Ziele von certMILS. Zudem beschäftigt sich das Projekt mit der ebenfalls sehr komplexen Frage der Re-Zertifizierung nach Veränderungen des Systems, etwa im Zuge der Fehlerbehebung oder der Ergänzung durch zusätzliche Funktionen.

Von einer zertifizierten europäischen MILS-Plattform (Multiple Independent Levels of Security) versprechen sich die Initiatoren nicht nur eine vereinfachte Systemzertifizierung, sondern auch ein starkes Gegengewicht zur bisherigen US-Dominanz bei der Sicherheit von Betriebssystemen.

"Auch in sicherheitskritischen Embedded-Anwendungen geht der Trend klar hin zu zusammengesetzten Systemen unter Einbeziehung von Off-the-Shelf-Produkten", so Dr. Sergey Tverdyshev, Director Research & Technology bei Sysgo  und technischer Leiter von certMILS. "Das bedeutet einerseits, dass schon die Komponenten nach dem Prinzip 'Security by Design' entwickelt werden müssen, und andererseits, dass die Zertifizierung von Gesamtsystemen auf Basis zertifizierter Komponenten vereinfacht werden muss. Genau das wollen wir mit certMILS erreichen."

Sysgo selbst bietet seit 1991 Betriebssysteme für Embedded Systeme und versteht sich mit seiner Lösung  ELinOS als Vorreiter für den Einsatz von Linux im Embedded Markt. Für sicherheitskritische Anwendungen liefert das Unternehmen seit 2005 den Hypervisor PikeOS, ein SIL 4 zertifiziertes Betriebssystem für Multicore-Prozessoren.