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