Chez les développeurs de logiciels de haute intégrité, notamment pour les systèmes embarqués, les candidats les plus courants en 2024, en termes de langages de programmation, incluent le C/C++, l’Ada/SPARK et le Rust. Cependant, dans de nombreuses situations, les développeurs se demandent aujourd’hui : Que dois-je faire ? Quel est le meilleur langage ?

Dans ce white paper en anglais de 9 pages, AdaCore détaille les éléments stratégiques qui sont à prendre en compte pour choisir un langage adapté à ses besoins et répondre à la question : Pourquoi changer ?

On le sait, les langages C et /C++ sont souvent une solution par défaut, mais risquée, même si les outils et les processus sont en place, les coûts de développement sont bien connus et déterministes, et que la plupart du temps une grande partie des logiciels existants sont déjà écrits en C et/ou en C++.

Pourtant, dans ce document, AdaCore explique que de plus en plus de preuves, tant qualitatives que quantitatives, montrent que le C/C++ rend la production de logiciels sûrs et sécurisés plus difficile qu'elle ne devrait l'être. Des décennies de recherche et d'investissement n'ont toujours pas permis de créer un "C/C++ sûr", rentable, flexible et fiable. La bonne nouvelle, détaillée dans le document, est qu'aujourd'hui, selon les besoins, on dispose désormais de meilleures options.

N’hésitez pas à consulter ce document, à le télécharger, mais aussi à fouiller dans notre bibliothèque de white papers d'ores et déjà riche de plus de 60 documents et dotée de son propre moteur de recherche pour vous permettre de trouver plus vite l'information désirée.