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