Le logiciel de modélisation Simulink de Matlab est désormais intégré au système d'exploitation temps réel et à l'hyperviseur PikeOS de Sysgo. Simulink est adapté à la création de modèles mathématiques et technico-physiques qui peuvent être traduits en langage de programmation grâce à l’outil Embedded Coder de Matlab. Ce code est ensuite exécuté sur PikeOS. En combinant les deux technologies, les développeurs de logiciels embarqués peuvent concevoir des circuits complexes, des systèmes de contrôle, des modèles de flux, des systèmes d'assistance à la conduite, etc. qui peuvent être exécutées dans un environnement critique mixte.

- Simulink est certifiable au niveau sûreté de fonctionnement

- Conception rapide d'applications critiques pour la sûreté dans les applications avioniques, automobiles, ferroviaires, médicales et industrielles

- PikeOS précertifié par rapport à des normes de sécurité fonctionnelle

- Protection contre les cyberattaques grâce à des fonctionnalités de sécurité telles que Trusted Execution Environment, Secure Boot, Intrusion Detection

- Noyau de séparation PikeOS (v5.1.3.) certifié selon les Critères communs de sécurité au niveau EAL5+