Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
Открыть
Дата
2011Автор
Харченко, В.С.
Замірець, М.В.
Засуха, С.О.
Поночовний, Ю.Л.
Metadata
Показать полную информациюАннотации
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначені етапи й операції верифікації ПЗ ІКС КС на різних етапах. Даний детальний опис операцій етапу розробки ПЗ ІКС КС. Даний формальний опис цілей верифікації ПЗ ІКС КС. Уточнені цілі оперативної коригувальної верифікації ПЗ в польоті, і запропонований теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описані сценарії й показники для оцінки готовності ІКС КС при реалізації ОКВ. Даний короткий опис моделей готовності. Визначені поняття стратегії ОКВ та особливості її формування. Проведено розробку та дослідження моделі готовності однієї з систем з ОКВ. Проведен анализ программного обеспечения (ПО) информационно-управляющих систем (ИУС) космических систем (КС) как объекта верификации, нормативной базы и существующих методов верификации ПО КС. Введено понятие оперативной корректирующей верификации (ОКВ), которая может проводиться по разным сценариям для функций разного уровня критичности. Определены этапы и операции по верификации ПО ИУС КС на разных этапах. Дано детальное описание операций этапа разработки ПО ИУС КС. Дано формальное описание целей верификации ПО ИУС КС. Уточнены цели оперативной ОКВ ПО в полете, и предложено теоретико-множественное описание функций с учетом их критичности и целей ОКВ. Описаны сценарии и показатели для оценки готовности ИУС КС при реализации ОКВ. Дано краткое описание моделей готовности для разных сценариев ОКВ. Определены понятие стратегии ОКВ и особенности ее формирования. Разработана и исследована модель готовности одной из систем с ОКВ.