µC/OS-II de Micrium. Un noyau temps-réel à faible empreinte mémoire, multi-tâche, préemptif, à grande portabilité. La qualité du code permet les certifications DO-178B et MISRA.
Linux Temps Réel. Pour les cibles 32 et 64 bits avec MMU, une solution à base de Linux.
[+ d'infos...]
ARINC 653
Rapid-653™ et Valid-653™ sont des logiciels compatible ARINC653 pour les applications critiques et non-critiques de l’avionique. Outils et services de certification DO-178B.