Засуха, С. О.Поночовный, Ю. Л.2019-02-122019-02-122011Засуха С. А. Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств / С. А. Засуха, Ю. Л. Поночовный // Наука і техніка Повітряних Сил Збройних Сил України. - 2011. - № 2. - С. 144-149. - Режим доступу: http://nbuv.gov.ua/UJRN/Nitps_2011_2_38https://dspace.pdau.edu.ua/handle/123456789/2116В статье рассмотрена многофрагментная модель информационно-управляющей системы обслуживаемого космического аппарата. При построении модели учтены проведение оперативной верификации отдельных функций программных средств в процессе эксплуатации системы, а также устранение выявленных программных дефектов. По результатам моделирования сделаны выводы о способах определения оптимальных временных параметров проведения верификацииruмногофрагментное моделированиеоперативная корректирующая верификацияArticle