Ada 2012 — это новое поколение ведущего в мире языка программирования для разработки безопасного, защищенного и надежного программного обеспечения.
Ада широко используется в критических системах, где любая аномалия может привести к очень серьезным последствиям, например, случайной смерти, травмам или серьезным финансовым потерям. Примеры систем, в которых используется Ada, включают авионику, железные дороги, банковское дело, военные и космические технологии.