1. Наука
  2. Видання
  3. Наука і техніка Повітряних Сил Збройних Сил України
  4. 2(6)'2011
  5. Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств

Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств

С.А. Засуха, Ю.Л. Поночовный
Тематика статті: Загальні питання
УДК 004.519.217
Мова статті: російська
Анотації на мовах:


Анотація: В статье рассмотрена многофрагментная модель информационно-управляющей системы обслуживаемого космического аппарата. При построении модели учтены проведение оперативной верификации отдельных функций программных средств в процессе эксплуатации системы, а также устранение выявленных программных дефектов. По результатам моделирования сделаны выводы о способах определения оптимальных временных параметров проведения верификации.


Ключові слова: многофрагментное моделирование, оперативная корректирующая верификация, модификация программных средств
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Засуха С.А., Поночовный Ю.Л. Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств. Наука і техніка Повітряних Сил Збройних Сил України. 2011. № 2(6). С. 144-149.