Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев
| dc.contributor.author | Засуха, С. О. | |
| dc.contributor.author | Поночовный, Ю. Л. | |
| dc.contributor.author | Харченко, В. С. | |
| dc.date.accessioned | 2019-02-12T12:35:34Z | |
| dc.date.available | 2019-02-12T12:35:34Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | В статье анализируется национальная и международная нормативная база верификации программного обеспечения программно-технических комплексов космических систем. Описываются элементы методологии оперативной корректирующей верификации, которая может проводиться по разным сценариям для функций разного уровня критичности, графовые модели, которые соответствуют отдельным сценариям. Предлагается метод выбора оптимального варианта проведения верификации по критерию "надежность-стоимость". | uk_UA |
| dc.identifier.citation | Засуха С. А. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев / С. А. Засуха, Ю. Л. Поночовный, В. С. Харченко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2012. - № 1015, вип. 19. - С. 131-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2012_1015_19_17 | uk_UA |
| dc.identifier.uri | https://dspace.pdau.edu.ua/handle/123456789/2117 | |
| dc.language.iso | ru | uk_UA |
| dc.relation.ispartofseries | Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління;1015 | |
| dc.subject | космические системы | uk_UA |
| dc.subject | оперативная корректирующая верификация | uk_UA |
| dc.title | Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев | uk_UA |
| dc.type | Article | uk_UA |