7
Ada 2012 er den næste generation af verdens førende programmeringssprog til teknisk sikker, sikker og pålidelig software.Ada bruges i vid udstrækning i kritiske systemer, hvor enhver anomali kan føre til meget alvorlige konsekvenser, f.eks. Utilsigtet død, skade eller alvorligt økonomisk tab.Eksempler på systemer, hvor Ada anvendes, inkluderer luftfart, jernbaner, bankvirksomhed, militær- og rumteknologi.