Харченко, В. С.Поночовний, Юрій ЛеонідовичЗамирець, М. В.Засуха, С. О.2019-02-122019-02-122011Харченко В. С. Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів / В. С. Харченко, М. В. Замирець, С. О. Засуха, Ю. Л. Поночовний // Авиационно-космическая техника и технология. - 2011. - № 6. - С. 81–95. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2011_6_16.https://dspace.pdau.edu.ua/handle/123456789/2113Проведений аналіз програмного забезпечення (ПЗ) інформаційно-управляючих систем (ІУС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначені етапи й операції верифікації ПЗ ІУС КС на різних етапах. Даний детальний опис операцій етапу розробки ПЗ ІУС КС. Даний формальний опис цілей верифікації ПЗ ІУС КС. Уточнені цілі оперативної коригувальної верифікації ПЗ в польоті, і запропонований теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описані сценарії й показники для оцінки готовності ІУС КС при реалізації ОКВ. Даний короткий опис моделей готовності. Визначені поняття стратегії ОКВ та особливості її формування. Проведено розробку’ та дослідження моделі готовності однієї з систем з ОКВ.uk-UAІУС космічних системоперативна коригувальна верифікаціяArticle