Міжнародна організація з стандартизації (ISO) присвоїла статус стандарту останній версії мови програмування Ada - Ada 2012.

Мову програмування Ada було створено в 1979-1980 роках з метою створення єдиної мови програмування для вбудованих систем, тобто систем управління автоматизованими комплексами, функціонуючими в реальному часі. Перш за все, малися на увазі бортові системи управління військовими об'єктами. Мова названий на честь Ади Лавлей, талановитої жінки математика, яка створила опис обчислювальної машини, проект якої був розроблений Чарльзом Беббіджем, і склала  першу в світі програму для цієї машини. Ада Лавлей вважається першим програмістом.

Нова версія мови Ada дозволить розробникам створювати більш надійні програми, завдяки тому, що в ній з'явилася функція забезпечення підвищеної безпеки, яка вже присутня в ряді інших мов і називається контрактним програмуванням та дозволить розробникам захистити програми від помилок і несанкціонованого використання. Версія Ada 2012 підтримує і ряд інших нових функцій. Оновлена мова краще підходить для роботи в багатоядерних середовищах. Розробники специфікацій намагалися зробити мову більш виразною, додавши більш потужні ітератори і додаткові способи побудови умовних виразів.

Контрактне програмування відповідає новому стандарту безпеки DO-178C/ED-12C авіакосмічного програмного забезпечення, затвердженого радіотехнічних комісією з аеронавтики (RTCA). RTCA - це некомерційна міжнародна організація, членами якої є авіакомпанії, державні відомства різних країн, виробники авіоніки та постачальники аеронавігаційної інформації. Освічені RTCA комісії ведуть роботу за різними напрямкам діяльності і випускають документи, які узагальнюють світовий досвід у галузі авіації, враховуючи перспективи та тенденції її розвитку. Рекомендації RTCA, хоча й іменуються стандартами, формально не мають статусу міжнародного або національного стандарту. Але їх часто беруть за основу урядові органи різних країн для створення своїх національних стандартів.

Версія Ada 2012 стала першим великим оновленням стандарту Ада за останні сім років. Переглядом мови займалася група Ada Rapporteur Group комітету ISO/IEC JTC 1 «Інформаційні технології».