Институт программной инженерии SEI при университете Карнеги-Меллона, разработавший популярную модель зрелости программных процессов CMM, совместно с армейским центром ракетных исследований AMRDEC открыли годовой проект по оптимизации тестирования ПО и созданию надежных приложений. Проверка качества сложных информационных систем будет выполняться с использованием проектирования на базе моделей, всевозможных аналитических инструментов и отраслевых стандартов наподобие языка архитектурного анализа AADL. Военные объясняют необходимость данных работ растущей сложностью авионики, высокой ценой программных ошибок в бортовых системах и удорожанием разработки ПО.