Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев
Вантажиться...
Файли
Дата
2012
Автори
Засуха, С. О.
Поночовный, Ю. Л.
Харченко, В. С.
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
В статье анализируется национальная и международная нормативная база
верификации программного обеспечения программно-технических комплексов
космических систем. Описываются элементы методологии оперативной
корректирующей верификации, которая может проводиться по разным
сценариям для функций разного уровня критичности, графовые модели, которые
соответствуют отдельным сценариям. Предлагается метод выбора оптимального
варианта проведения верификации по критерию "надежность-стоимость".
Опис
Ключові слова
космические системы, оперативная корректирующая верификация
Бібліографічний опис
Засуха С. А. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев / С. А. Засуха, Ю. Л. Поночовный, В. С. Харченко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2012. - № 1015, вип. 19. - С. 131-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2012_1015_19_17