1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 8(98)'2011
  5. Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Цели, сценарии и модели

Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Цели, сценарии и модели

В. С. Харченко, Н. В. Замирец, С. А. Засуха
Системи обробки інформації. — 2011. — № 8(98). — С. 135-139.
УДК 629.7.05 + 004.05
Мова статті: російська
Анотації на мовах:

Дано формальное описание целей верификации программного обеспечения (ПО) информационно-управляющих систем (ИУС) космических систем (КС). Уточнены цели оперативной корректирующей верификации (ОКВ) ПО в полете, и предложено теоретико-множественное описание функций с учетом их критичности и целей ОКВ. Описаны сценарии и показатели для оценки готовности ИУС КС при реализации ОКВ. Дано краткое описание моделей готовности для разных сценариев ОКВ. Определены понятие стратегии ОКВ и особенности ее формирования.
Ключові слова: ИУС космических систем, программное обеспечение, оперативная верификация, коррекция ПО
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Харченко В. С. Оперативная верификация и коррекция программного обеспечения ИУС космических систем. Цели, сценарии и модели / В. С. Харченко, Н. В. Замирец, С. А. Засуха  // Системи обробки інформації. — 2011. — № 8. — С. 135-139.