Ada e SPARK impulsionam o desenvolvimento automotivo: NVIDIA torna o processo de segurança de código aberto

AdaCore e NVIDIA uniram forças para introduzir as linguagens de programação Ada e SPARK no mercado automotivo, disponibilizando um processo de desenvolvimento de referência baseado no padrão ISO 26262 como código aberto. O Drive OS da NVIDIA usa Ada e SPARK para componentes críticos, atendendo aos mais altos níveis de certificação de segurança automotiva. Esse processo de código aberto visa ajudar outras empresas a adotarem Ada e SPARK, melhorando a segurança e confiabilidade do software automotivo diante da crescente complexidade.