Search
Now showing items 1-10 of 86
Метод оценки живучести и безопасности невосстанавливаемых систем с многоступенчатой дегратацией на основе использования Д-матриц
(ХАІ, 203)
Предлагается метод оценки живучести и безопасности компьютеризированных систем управления
критическими объектами, в которых допускается многоступенчатая деградация. Метод базируется на аппарате матриц деградации (Д-матриц) ...
Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций
(ХАІ, 2003)
Проведен эволюционный анализ рисков, возникающих при использовании ракетно-космической
техники (РКТ). Дана оценка влияния отказов аппаратных и программных средств бортовых
компьютеров (БК) на аварии РКТ.
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность
(ХАІ, 2004)
Проанализирована эволюция свойств информационных и управляющих систем (ИУС), сделан вывод о
развитии требований к их надежности: от требований к безотказности и готовности до требований к отказоустойчивости и отказобезопасности. ...
Применение динамических радиальных метрических диаграмм для управления многоверсионными программными проектами
(ХАІ, 2005)
Анализируются проблемы, связанные с оценкой многоверсионного программного обеспечения (ПО) с
использованием метрик диверсности (МД), применяющихся для анализа степени разнообразия версий.
Рассмотрена возможность использования ...
Многошаговая процедура построения графа состояний при исследовании вычислительных систем с использованием аппарата марковских процессов
(ХАІ, 2005)
Выполнен анализ задач моделирования вычислительных систем (ВС) с использованием аппарата теории марковских процессов. Предложена методика построения графа состояний путем систематизации и пошагового учета допущений, связанных ...
Гарантоспособность и гарантноспособные системы: элементы методологии
(ХАІ, 2006)
Проведен анализ комплекса проблем, связанных с развитием теории и практики гарантоспособных компьютерных систем (КС). Уточнены основные понятия и структура свойства гарантоспособности. Сформулированы базовые парадигмы и ...
Мониторинг и обработка исключений динамически реконфигурируемых Web-служб
(ХАІ, 2006)
Проведен анализ факторов, влияющих на готовность и функциональную надежность SOA; построена
модель поведения MiddleWare при возникновении исключений; приведены результаты экспериментальных исследований мониторинга Web-сервисов.
Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
(ХАІ, 2006)
В статье рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых
многофрагментных макромоделей оценки ...
Использование сетей Петри при проведении анализа живучести бортовых информационно-управляющих систем
(ХАІ, 2006)
Проанализированы возможности использования цветных сетей Петри как имитационных моделей функционирования бортовых информационно-управляющих систем (БИУС). Предложено два вида сетей Петри для моделирования функционирования ...