Локхид опубликовал несколько статей об этом некоторое время назад.Взгляните здесь .
Многие системы используют Ada, которая явно поддерживает проверку предложений и других формально-логических идей, так что вы можете гарантировать целостность системы.Узнайте больше об этом здесь .
Вы также хотите найти ERAM, аббревиатуру " Модернизация автоматизации маршрута "- это название новой системы, которая (очень) медленно внедряется в настоящее время в США.Это замена хост-системы En Route, существующей унаследованной системы, которая не дает всем врезаться друг в друга.