Модель и программный комплекс для оценки эффективности системы обеспечения безопасности полетовстатья