Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
dc.contributor.author | Харченко, В. С. | |
dc.contributor.author | Поночовний, Юрій Леонідович | |
dc.contributor.author | Замирець, М. В. | |
dc.contributor.author | Засуха, С. О. | |
dc.date.accessioned | 2019-02-12T12:28:49Z | |
dc.date.available | 2019-02-12T12:28:49Z | |
dc.date.issued | 2011 | |
dc.description.abstract | Проведений аналіз програмного забезпечення (ПЗ) інформаційно-управляючих систем (ІУС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначені етапи й операції верифікації ПЗ ІУС КС на різних етапах. Даний детальний опис операцій етапу розробки ПЗ ІУС КС. Даний формальний опис цілей верифікації ПЗ ІУС КС. Уточнені цілі оперативної коригувальної верифікації ПЗ в польоті, і запропонований теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описані сценарії й показники для оцінки готовності ІУС КС при реалізації ОКВ. Даний короткий опис моделей готовності. Визначені поняття стратегії ОКВ та особливості її формування. Проведено розробку’ та дослідження моделі готовності однієї з систем з ОКВ. | uk_UA |
dc.identifier.citation | Харченко В. С. Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів / В. С. Харченко, М. В. Замирець, С. О. Засуха, Ю. Л. Поночовний // Авиационно-космическая техника и технология. - 2011. - № 6. - С. 81–95. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2011_6_16. | uk_UA |
dc.identifier.uri | https://dspace.pdau.edu.ua/handle/123456789/2113 | |
dc.language.iso | uk_UA | uk_UA |
dc.publisher | Національний аерокосмічний університет ім. М.Є. Жуковського «Харківський авіаційний інститут» | uk_UA |
dc.relation.ispartofseries | Авіаційно-космічна техніка і технологія;6 | |
dc.subject | ІУС космічних систем | uk_UA |
dc.subject | оперативна коригувальна верифікація | uk_UA |
dc.title | Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів | uk_UA |
dc.type | Article | uk_UA |