7
Ada 2012 je nova generacija vodećeg svjetskog programskog jezika za inženjerski siguran, siguran i pouzdan softver.Ada se široko koristi u kritičnim sustavima, gdje svaka anomalija može dovesti do vrlo ozbiljnih posljedica, npr. Slučajne smrti, ozljede ili ozbiljnog financijskog gubitka.Primjeri sustava u kojima se Ada koristi su avionika, željeznica, bankarstvo, vojna i svemirska tehnologija.