L’éditeur Wind River, propriété depuis 2022 de l’équipementier automobile Aptiv, annonce la prise en charge de nouvelles architectures matérielles par plusieurs de ses plates-formes logicielles pour applications critiques très gourmandes en ressources de calcul, en particulier dans les domaines de la défense et de l’aérospatial.

Une preuve de certification selon la norme de sûreté de fonctionnement avionique DO-178C au niveau de criticité DAL A (le plus élevé) est ainsi désormais disponible pour la plate-forme de virtualisation Helix sur l’architecture 64 bits Armv8-A. La dernière version en date du système d’exploitation temps réel VxWorks 653 dispose quant à elle d’une preuve de certification DO-178C DAL A mise à jour pour l’architecture PowerPC.

Conçu pour les plates-formes matérielles multicœurs, l’environnement Wind River Helix Virtualization Platform (Helix Platform), rappelons-le, associe le système d’exploitation temps réel VxWorks et la distribution Linux embarquée de l’éditeur au-dessus de la technologie de virtualisation Wind River Hypervisor qui peut être certifiée vis-à-vis de la sûreté de fonctionnement. Une approche qui permet aussi à d’autres systèmes d’exploitation de tourner inchangés simultanément au sein du même framework, et ce avec des niveaux de criticité différents, assure la société américaine.

La plate-forme Helix cible une variété de cas d'usage critiques tels que l'avionique commerciale et militaire et permet d'exécuter des logiciels non sécurisés aux côtés de logiciels certifiés au plus haut niveau de criticité (DO-178C pour l’avionique, ISO 26262 pour l’automobile, CEI 61508 pour l’industrie, etc.). Helix Platform est également conforme à la norme Arinc 653 et assure un partitionnement temporel et spatial robuste sur les architectures matérielles récentes pour garantir le confinement des erreurs et offrir la possibilité de mettre à niveau les applications avec des exigences minimales en matière d'intégration et de test, ajoute Wind River.

« La périphérie de réseau intelligente, un secteur en pleine croissance, présente des exigences et des défis complexes pour des industries telles que l'aérospatial et la défense, y compris au niveau de la certification, insiste Avijit Sinha, chef de produit chez Wind River. La disponibilité de preuves de certification pour la sûreté de fonctionnement mises à jour pour à la fois Helix Platform et VxWorks 653 offre des opportunités supplémentaires aux concepteurs de la prochaine génération d'équipements intelligents multi-OS sûrs et sécurisés. »

L’éditeur affirme que ses technologies logicielles ont été à ce jour mises à l’épreuve avec succès par plus de 400 clients dans plus de 880 programmes à sûreté de fonctionnement critique dans plus de 120 avions civils et militaires.

Vous pouvez aussi suivre nos actualités sur la vitrine LinkedIN de L'Embarqué consacrée au marché de l'aérospatial et de la défense : Embedded-Aerospace