Засуха, С. О.Поночовный, Ю. Л.Харченко, В. С.2019-02-122019-02-122012Засуха С. А. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев / С. А. Засуха, Ю. Л. Поночовный, В. С. Харченко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2012. - № 1015, вип. 19. - С. 131-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2012_1015_19_17https://dspace.pdau.edu.ua/handle/123456789/2117В статье анализируется национальная и международная нормативная база верификации программного обеспечения программно-технических комплексов космических систем. Описываются элементы методологии оперативной корректирующей верификации, которая может проводиться по разным сценариям для функций разного уровня критичности, графовые модели, которые соответствуют отдельным сценариям. Предлагается метод выбора оптимального варианта проведения верификации по критерию "надежность-стоимость".ruкосмические системыоперативная корректирующая верификацияArticle