GNAT Pro for Rust est actuellement en Early Access pour certains clients et fournit un compilateur (rustc), un gestionnaire de build et de paquets (cargo) ainsi qu’un débogueur (gdb) pour x86_64 Linux et les cibles Linux en cross-compilation.
Lors de la sortie officielle de GNAT Pro for Rust 25, il offrira une intégration complète avec gprbuild et des bindings bidirectionnels avancés Ada-Rust, tout en prenant en charge davantage de plateformes.
- gprbuild est le système de build pour Ada et C/C++ utilisé dans GNAT Studio.
Il est prévu que GNAT Pro for Rust prenne en charge les exigences de certification de sûreté logicielle pour l’aéronautique (DO-178), le ferroviaire (EN-50128) et le spatial (ECSS-E-ST-40C et ECSS-Q-ST-80C), entre autres. La feuille de route d’AdaCore comprend la certification de bibliothèques du langage (comme un sous-ensemble de libcore), similaire à ce qui est déjà disponible dans GNAT Pro pour Ada et GNAT Pro pour C/C++, ainsi que des travaux sur la traçabilité source-objet et la certification du compilateur (qualification d’outil).
4 commentaires
J’aimerais bien que les MCU fassent aussi un petit effort… -_-;
J’ai entendu dire en passant qu’on parlait aussi d’adopter Rust dans notre entreprise, et il me semble que la conclusion était qu’AdaCore devait vraiment se bouger… (à cause de problèmes de certification, etc.)
Le domaine de l’embarqué semble devenir plus intéressant. S’il prend aussi en charge l’automobile (26262, etc.), cela pourrait changer d’échelle.
Il y a déjà eu de nombreuses tentatives pour utiliser Rust dans l’embarqué, et il semble qu’AdaCore cherche cette fois à proposer un environnement de développement complètement certifié, jusqu’aux outils eux-mêmes. (Pour les logiciels critiques pour la sécurité, comme les logiciels aéronautiques, les outils utilisés pour le développement doivent eux aussi être certifiés.)