Для моделирования процессов воздушного движения используются различные методы, например:

• Расчётные математические модели. 1 Позволяют оценить с достаточной точностью требуемые показатели, описывающие ту или иную сторону функционирования системы ОрВД, без непосредственного моделирования процессов в динамике их развития. 1
• Имитационное математическое моделирование. 1 Позволяет определить (вычислить) требуемые показатели путём непосредственного компьютерного моделирования процессов планирования и управления воздушным движением и обработкой получаемых при этом результатов. 1
• Формальные методы. 5 Это математически обоснованные методы определения и верификации систем. 5 Использование этих методов может улучшить понимание системы за счёт выявления несоответствий, двусмысленностей и неполноты, которые в противном случае могли бы остаться незамеченными. 5