Аннотация. Рассматриваются вопросы формального описания свойства функциональной устойчивости навигационно-информационных систем на основе использования понятий качества реализации выполняемых ими функций с учетом состояния доступных навигационных полей и применяемых систем подвижной радиосвязи. Под навигационно-информационной системой (НИС) понимают автоматизированную информационно-управляющую систему, предназначенную для управления одним или несколькими подвижными объектами на основе обработки данных о их местоположении, параметрах движения и состоянии. Представлена графическая интерпретация процесса обеспечения функциональной устойчивости системы. Обеспечение функциональной устойчивости НИС сводится к процессу поддержания текущего вектора качества выполнения функций НИС в требуемой зоне.

Ключевые слова: навигационно-информационная система, функциональная устойчивость, надежность, живучесть, безопасность

Список литературы:

1. Нейман Дж. Вероятностная логика и синтез надежных организмов из ненадежных компонент // Автоматы /Под ред. К. Э. Шеннона и Дж. Маккарти. М.: ИЛ, 1956. С. 129—185.
2. Авиженис А., Лапри Ж. К. Гарантоспособные вычисления: от идеи до реализации в проектах // ТИИЭР. 1986. Т. 71, № 5. С. 8—21.
3. Харченко В. С. Гарантоспособность и гарантоспособные системы: элементы методологии // Радіоелектронні і комп’ютерні системи. 2006. № 5. С. 7—19.
4. Харченко В. С. Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития // Радіоелектронні і комп’ютерні системи. 2009. № 2(36). С. 91—100.
5. Теслер Г. С. Концепция построения гарантоспособных вычислительных систем // Математичні машини і системи. 2006. № 1. С. 134—145.
6. Ковалева Н. Н. Информационное право России. М.: Дашков и К., 2008. 359 с.
7. Разоренов Г. Н., Бахрамов Э. А., Титов Ю. Ф. Системы управления летательными аппаратами (баллистическими ракетами и их головными частями): Учеб. для вузов. М.: Машиностроение, 2003. 584 с.
8. Королев А. Н., Тарасов А. А. О функциональной устойчивости навигационно-информационных систем // Вестн. РГГУ. Сер. „Информатика. Защита информации. Математика“. 2012. № 14/12. С. 144—152.
9. Левин В. И. Логическая теория надежности сложных систем. М.: Энергоатомиздат, 1985. 128 с.