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