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

Оперативна верифікація і корекція програмного забезпечення ІКС космічних систем. Цілі, сценарії й моделі

В.С. Харченко, M.В. Замирець, С.O. Засуха
Анотації на мовах:

Наведено формальний опис цілей верифікації програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС). Уточнені цілі оперативної коригувальної верифікації (ОКВ) ПЗ в польоті й запропонований теоретико-множинний опис функцій з урахуванням їхньої критичності й цілей ОКВ. Описані сценарії й показники для оцінки готовності ІКС КС при реалізації ОКВ. Дано короткий опис моделей готовності для різних сценаріїв ОКВ. Визначені поняття стратегії ОКВ і особливості її формування.
Ключові слова: ІКС космічних систем, програмне забезпечення, оперативна верифікація, корекція ПО