AdaCore et SPARK font leur entrée sur le marché automobile avec NVIDIA NEW YORK -- (BUSINESS WIRE) -- AdaCore, expert en outils logiciels de haute intégrité, a annoncé l'introduction des langages de programmation Ada et SPARK sur le marché automobile. En collaboration avec NVIDIA, une référence commune est lancée sous la forme d'un processus offert gratuitement, permettant aux entreprises de l'industrie d'adopter ces langages innovants. À mesure que la valeur ajoutée de l'industrie automobile se déplace de plus en plus vers les fonctionnalités logicielles, assurer la sécurité de ces logiciels devient l'un des défis les plus cruciaux du développement moderne de véhicules. Pour répondre à ce défi, NVIDIA a développé le système d'exploitation Drive® OS, ainsi que la pile logicielle associée, spécifiquement conçus pour le développement et la déploiement d'applications de véhicules autonomes sur du matériel basé sur DRIVE AGX. Ce système comprend des composants logiciels qui respectent les niveaux les plus élevés d'intégrité de la norme ISO-26262 pour la certification automobile. NVIDIA a choisi les langages Ada et SPARK pour développer certains des composants les plus critiques de cette pile logicielle. Cette décision s'est appuyée sur un processus de développement mettant en œuvre des méthodes formelles et d'autres caractéristiques de sécurité propres à Ada et SPARK, afin de tirer pleinement parti de leurs capacités. AdaCore et NVIDIA ont décidé de rendre cet ISO-26262 reference process librement disponible en open source et comme document en constante évolution, favorisant ainsi son adoption par l'ensemble de l'industrie. « À mesure que la valeur ajoutée de l'industrie automobile passe de plus en plus du domaine mécanique à celui logiciel, assurer la sécurité des systèmes logiciels devient l'un des défis les plus critiques du développement de voitures modernes, » déclare Quentin Ochem, Chief Product and Revenue Officer chez AdaCore. « NVIDIA montre une véritable audace technique en intégrant Ada et SPARK dans son processus de développement et en permettant au reste de la communauté de suivre son exemple. » Le processus de référence ISO-26262 est accessible via le lien https://nvidia.github.io/spark-process/ et peut être utilisé ou adapté librement par toute entreprise intéressée par l'adoption de ces langages. À propos d'AdaCore AdaCore accompagne les développeurs dans la création de logiciels fiables, sûrs et sécurisés. Depuis plus de 30 ans, nous fournissons des chaînes d'outils open source pour des langages pertinents dans le domaine critique de la sécurité, notamment Ada/SPARK, C/C++ et Rust. Nos outils respectent les normes les plus rigoureuses, afin que vous puissiez vous concentrer sur votre code et atteindre vos objectifs de certification. AdaCore soutient les industries à forte intégrité en offrant la qualification de chaînes d'outils compilateurs et d'outils d'analyse, ainsi que des preuves de certification pour la conformité aux normes de l'industrie. Nous nous engageons à fournir un support à long terme, assurant ainsi la continuité et la fiabilité de nos chaînes d'outils pendant des décennies. Pour plus d'informations, consultez le site web : https://www.adacore.com/