Сертификационный стандарт DO-178B на ПО для авионики сегодня используют американские и европейские государственные комиссии по управлению воздушным движением и военные министерства многих стран. Но он ориентирован в основном на “низкоуровневые” подходы к разработке, когда заказчик готовит техническое задание в обычном текстовом виде, а программисты исполнителя реализуют требования на типовом универсальном языке для конкретных марок процессоров. В последние годы ведущие разработчики крупных систем реального времени стали активно применять абстрактные функциональные языки и виртуальные машины, средства графического моделирования, автоматической генерации кода и тестирования, системы анализа и управления проектом на базе моделей и т. д. Все эти особенности будут учтены в варианте стандарта DO-178C, который дополнится концепциями “разработка, управляемая моделью”, “объектно-ориентированные и схожие технологии” и “формальные методы”. Ожидается, что рабочий набор документов DO-178C появится в 2011 г.