Aviação Militar: Embraer seleciona GNAT Pro Ada da AdaCore para modernização das aeronaves AMX

A empresa Ada Core dos EUA fará a modernização do sistema de missão crítica das aeronaves A-1 da FAB. A AdaCore, fornecedora de ferramentas e conhecimentos para softwares de missão crítica, segurança crítica, e proteção crítica, anunciou hoje que a Embraer Defesa e Segurança escolheu o ambiente de desenvolvimento GNAT Pro Ada da AdaCore como…