Искать
Отображаемые элементы 1-7 из 7
Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
(ХАІ, 2006)
В статье рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых
многофрагментных макромоделей оценки ...
Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
(ХАІ, 2009)
В статье анализируются допущения, принятые в моделях надежности программных средств. Предлагается подход к разработке моделей обслуживаемых компьютерных систем, в которых учитываются
возможности внесения новых (вторичных) ...
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью
(ХАІ, 2014)
Для количественной оценки надежности и функциональной безопасности критических систем одной
из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности ...
Метод отбора дефектосодержащих компонентов программных систем
(ХАІ, 2016)
Предложенный метод основан на учете многомерной сложности компонентов программных систем
посредством метрик. Исследована представительная выборка данных и получено экспериментальное
подтверждение допущения метода.
Оцінювання готовності інформаційно-керуючої системи космічного апарату з усуненням програмних дефектів після проведення оперативної онлайн-верифікації
(ХАІ, 2017)
У статті досліджено багатофрагментну модель двоканальної (дубльованої) інформаційно-керуючої
системи пілотованого космічного апарату.
Экспериментальная проверка метода отбора дефектосодержащих компонентов программных систем
(ХАІ, 2016)
Для проверки метода отбора дефектосодержащих компонентов использована представительная выборка экспериментальных данных пяти различных программных систем. Метод дает возможность
управлять достижением требуемой надежности ...