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