Ada et SPARK prennent d'assaut le développement automobile : NVIDIA open-source son processus de sécurité

AdaCore et NVIDIA se sont associés pour intégrer les langages de programmation Ada et SPARK sur le marché automobile, en publiant un processus de développement de référence basé sur la norme ISO 26262 en open source. Le système d'exploitation Drive de NVIDIA utilise Ada et SPARK pour les composants critiques afin de répondre aux niveaux les plus élevés de certification de sécurité automobile. Ce processus open source vise à aider les autres à adopter Ada et SPARK, améliorant ainsi la sécurité et la fiabilité des logiciels automobiles face à une complexité croissante.