Для методики оцінки рівня ризику експлуатації навігаційно-обчислювальної системи безпілотних літальних апаратів (БпЛА) розроблено математичні моделі навігаційної та обчислювальної підсистем з деталізованим представленням
стану критичної відмови. Розроблено програмний засіб, який автоматизує процес
отримання кількісного показника ризику, в якому враховуються: відмовостійкі конфігурації підсистем; відмови апаратних засобів; збої програмних засобів; належність певної частини відмов до двох і більше мінімальних січень; вплив ненадійності приймача сигналу від супутникової навігаційної системи; вплив ненадійності приймача системи зв'язку з оператором. Для візуалізації причин
та наслідків аварійних ситуацій програмний засіб дозволяє автоматизовано побудувати дерево відмов на основі мінімальних січень.