Embedded Systems / Certification
Sysgo leads certMILS project
The EU research project certMILS has started its work under the technical management of Sysgo. The primary goal is a certified European MILS platform (Multiple Independent Levels of Security) for simplified certification of composite IT systems.
For safety-critical applications, for example in the aerospace, rail and automotive industries or industrial IoT systems, the required certification of the systems according to the respective standards is one of the most complex, time-consuming and therefore also most expensive phases of the development cycle. One of the main problems here is that every integrated overall system has to be certified from scratch - often regardless of whether individual components or modules already have certification. The reuse of such component certifications is therefore one of the main objectives of certMILS. The project also deals with the equally complex issue of re-certification following changes to the system, for example in the course of troubleshooting or the addition of additional functions.
The initiators hope that a certified European MILS platform (Multiple Independent Levels of Security) will not only simplify system certification, but also provide a strong counterweight to the current US dominance in the security of operating systems.
"Even in safety-critical embedded applications, the trend is clearly moving towards composite systems with the inclusion of off-the-shelf products," says Dr. Sergey Tverdyshev, Director Research & Technology at Sysgo and Technical Director of certMILS. "On the one hand, this means that the components must be developed according to the principle of 'security by design' and, on the other, that the certification of complete systems based on certified components must be simplified. This is exactly what we want to achieve with certMILS."
Sysgo itself has been providing operating systems for embedded systems since 1991 and sees itself as a pioneer for the use of Linux in the embedded market with its solution ELinOS. For safety-critical applications, the company has been supplying the hypervisor PikeOS, a SIL 4-certified operating system for multicore processors, since 2005.










