Запропоновано методи виявлення й оцінки ймовірності виникнення конфліктних ситуацій для систем попередження зіткнень літаків. Наведено математичну постановку задачі і процедуру оцінки , яка базується на прискореному статистичному програмуванні прогнозованих порушень норм безпечного зближення літаків.