Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств
Файли
Дата
2011
Автори
Засуха, С. О.
Поночовный, Ю. Л.
Назва журналу
Номер ISSN
Назва тому
Видавець
Харківський національний університет Повітряних Сил імені Івана Кожедуба
Анотація
В статье рассмотрена многофрагментная модель информационно-управляющей системы обслуживаемого космического аппарата. При построении модели учтены проведение оперативной верификации отдельных функций программных средств в процессе эксплуатации системы, а также устранение выявленных программных дефектов. По результатам моделирования сделаны выводы о способах определения оптимальных временных параметров проведения верификации
Опис
Ключові слова
многофрагментное моделирование, оперативная корректирующая верификация
Бібліографічний опис
Засуха С. А. Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств / С. А. Засуха, Ю. Л. Поночовный // Наука і техніка Повітряних Сил Збройних Сил України. - 2011. - № 2. - С. 144-149. - Режим доступу: http://nbuv.gov.ua/UJRN/Nitps_2011_2_38