Le langage ADA est un langage de programmation. ADA a la particularité d'être hautement sécurisé et n'autorise aucune fuite. Le tout se traduit par un résultat stable et fiable. De ce fait, ADA est principalement utilisé dans les applications critiques nécessitant une très haute fiabilité.