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