Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
Loading...
Files
Date
2011
Authors
Харченко, В. С.
Поночовний, Юрій Леонідович
Замирець, М. В.
Засуха, С. О.
Journal Title
Journal ISSN
Volume Title
Publisher
Національний аерокосмічний університет ім. М.Є. Жуковського «Харківський авіаційний інститут»
Abstract
Проведений аналіз програмного забезпечення (ПЗ) інформаційно-управляючих систем (ІУС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначені етапи й операції верифікації ПЗ ІУС КС на різних етапах. Даний детальний опис операцій етапу розробки ПЗ ІУС КС. Даний формальний опис цілей верифікації ПЗ ІУС КС. Уточнені цілі оперативної коригувальної верифікації ПЗ в польоті, і запропонований теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описані сценарії й показники для оцінки готовності ІУС КС при реалізації ОКВ. Даний короткий опис моделей готовності. Визначені поняття стратегії ОКВ та особливості її формування. Проведено розробку’ та дослідження моделі готовності однієї з систем з ОКВ.
Description
Keywords
ІУС космічних систем, оперативна коригувальна верифікація
Citation
Харченко В. С. Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів / В. С. Харченко, М. В. Замирець, С. О. Засуха, Ю. Л. Поночовний // Авиационно-космическая техника и технология. - 2011. - № 6. - С. 81–95. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2011_6_16.