L'environnement de développement phare d'AdaCore permet le développement de logiciels critiques embarqués Rust certifiables
AdaCore, un fournisseur de confiance d'outils de développement et de vérification de logiciels, a annoncé aujourd'hui la disponibilité en accès anticipé de GNAT Pro for Rust. Pour la première fois, les abonnés à GNAT Pro d'AdaCore pourront développer des applications embarquées certifiables en matière de sûreté et de sécurité à l'aide de Rust tout en bénéficiant de la stabilité, de la sécurité, de la fiabilité et du support que les clients attendent d'AdaCore.
L'intérêt et l'utilisation de Rust augmentent dans les applications industrielles. Cependant, des marchés critiques pour la sécurité et la sûreté, tels que l'aérospatiale, la défense et l'automobile, sont confrontés à des obstacles significatifs empêchant l'adoption de Rust pour le développement de logiciels certifiables. Ces barrières critiques comprennent l'évolution rapide du langage Rust, de ses outils associés, de son environnement d'exécution, ainsi que le besoin de garanties commerciales de sa chaîne d'approvisionnement logicielle. De plus, les développeurs dans ce domaine nécessitent un support de qualité industrielle adapté aux besoins de l'industrie critique pour la sécurité et la sûreté, à la fois pour le langage Rust et les outils associés, ainsi qu’un support à long terme pour les versions sélectionnées de la chaîne d'outils et du support pour une plus grande gamme de plateformes embarquées.
GNAT Pro for Rust aborde chacune de ces barrières de front. Avec GNAT Pro for Rust, les clients n'auront pas à se soucier d'une évolution imprévue du langage. La plateforme offre des mises à jour annuelles du langage de programmation Rust et de ses outils associés, en accord avec le rythme de mise à jour des autres langages de programmation pris en charge par GNAT Pro.
GNAT Pro for Rust offre également un support étendu pour une large gamme de plateformes embarquées, répondant aux besoins spécifiques des applications critiques pour la sécurité et la sûreté. GNAT Pro for Rust est une chaîne d'outils de qualité industrielle, livrée avec une garantie d’intégrité de la chaîne d'approvisionnement logicielle. Le support de Rust est également proposé par le biais de GNAT Pro Assurance, qui fournit un support à long terme via des branches maintenues pour la chaîne d'outils complète aussi longtemps que les clients en ont besoin. Enfin, chaque abonnement à GNAT Pro est accompagné du support professionnel de première classe d'AdaCore, mettant les clients en relation directe avec les experts qui développent et maintiennent le produit.
Quentin Ochem, Directeur Produit chez AdaCore, a déclaré : «Nos clients ont exprimé un fort désir d'utiliser Rust mais n'ont pas pu le faire en raison des limitations des chaînes d'outils Rust existantes. C'est particulièrement vrai dans le contexte des logiciels embarqués certifiables en matière de sécurité et de sûreté. GNAT Pro for Rust répond à ces préoccupations en éliminant les principales barrières qui ont entravé l'adoption de Rust. Avec GNAT Pro for Rust, nos clients peuvent adopter Rust en toute confiance et aller de l'avant, équipés des outils nécessaires pour réussir.»