AdaCore, fournisseur de confiance d'outils de développement et de vérification de logiciels, annonce aujourd'hui la formation d'un partenariat stratégique avec Ferrous Systems, une société technologique spécialisée dans le langage de programmation Rust. Cette collaboration vise à poursuivre le développement de la chaîne d'outils Ferrocene Rust de Ferrous Systems. Celle-ci pourra ainsi prendre en charge des applications embarquées à missions critiques en termes de sûreté, et sera qualifiée selon les normes de sûreté logicielle de l'industrie.
L'intérêt et l'utilisation de Rust dans les applications industrielles sont en pleine croissance. Mais pour les marchés ayant des exigences critiques en matière de sûreté, tels que l'automobile, l'aérospatiale et la défense, il n'existe aujourd’hui aucune chaîne d'outils Rust certifiée. Le partenariat sur Ferrocene répondra aux besoins de qualification des clients qui souhaitent intégrer cette technologie émergente dans leurs applications critiques en sûreté.
« Depuis plus de 25 ans, AdaCore soutient l'évolution des besoins des industries à missions critiques en termes de sûreté en investissant dans de nouvelles architectures, de nouveaux langages et de nouvelles technologies. Et nous pensons qu'il existe un besoin pour Ada et Rust dans les domaines de la sécurité et de la sûreté », a déclaré Quentin Ochem, responsable de la gestion des produits et du développement commercial chez AdaCore. « Cet effort complétera notre engagement de longue date envers Ada tout en offrant la possibilité d'étendre notre expertise en matière de chaînes d'outils certifiées pour la sûreté à la communauté Rust qui est en plein développement. »
« En travaillant ensemble, nous pouvons plus rapidement mettre en place une chaîne d'outils Rust certifiée en matière de sûreté au marché des applications de haute intégrité. »
« Nous sommes impatients de travailler avec AdaCore sur le développement de Ferrocene », a déclaré Florian Gilcher, directeur général de Ferrous Systems. « Nos entreprises partagent de nombreuses valeurs similaires, notamment le désir d'aider les programmeurs avec de meilleurs langages et outils pour une programmation plus sûre, un engagement envers les logiciels open-source et une volonté de faciliter la certification des logiciels. En travaillant ensemble, nous pouvons plus rapidement mettre en place une chaîne d'outils Rust certifiée en matière de sûreté au marché des applications de haute intégrité. »
Des informations complémentaires sur le partenariat AdaCore/Ferrous Systems Ferrocene, sont disponibles sur le blog.
A propos de Ferrous Systems
Ferrous Systems a été créée en 2018 pour faire progresser la capacité commerciale du langage de programmation Rust en fournissant des services commerciaux et des évolutions du langage. Les membres fondateurs de Ferrous Systems sont impliqués dans le projet Rust depuis plus de 7 ans. L'activité principale de l’entreprise est le développement de logiciels embarqués, la formation et le développement d'outils utilisant le langage de programmation Rust. Ferrous Systems est la plus grande entreprise de logiciels au monde qui se concentre sur le langage de programmation Rust. Parmi ses clients figurent Mozilla, Sarcos Robotics et Google Android.
Ferrous Systems a lancé le projet Ferrocene pour la fourniture d'outils permettant aux utilisateurs de construire en Rust des logiciels critiques en matière de sécurité et de sûreté. Cela inclut des chaînes d'outils avec un support à long terme, des programmes de qualification et des outils pour sécuriser les logiciels Rust.