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

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

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

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