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