7
Ada 2012 är nästa generation av världens främsta programmeringsspråk för säker, säker och pålitlig programvara.Ada används ofta i kritiska system, där varje anomali kan leda till mycket allvarliga konsekvenser, t.ex. oavsiktlig död, skada eller allvarlig ekonomisk förlust.Exempel på system där Ada används är luftfart, järnvägar, bank, militär och rymdteknik.