7
Ada 2012 to następna generacja wiodącego na świecie języka programowania zapewniającego bezpieczne, niezawodne i bezpieczne oprogramowanie.Ada jest szeroko stosowana w systemach krytycznych, gdzie jakakolwiek anomalia może prowadzić do bardzo poważnych konsekwencji, np. Przypadkowej śmierci, obrażeń lub poważnych strat finansowych.Przykłady systemów, w których stosuje się Adę, obejmują awionikę, koleje, bankowość, wojsko i technologię kosmiczną.