Criptocomputador da Kryptus ganha designação PED e será incorporado ao novo radar de defesa da Embraer 23 de abril de 2025