Search
Now showing items 1-10 of 18
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
(ХАІ, 2006)
В статье рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых
многофрагментных макромоделей оценки ...
Анализ задач разработки и реинжиниринга компьютерных сетей для критических приложений
(ХАІ, 2006)
Выполнен анализ задач разработки и реинжиниринга компьютерных сетей (КС) информационно-управляющих систем (ИУС) критического применения (КП) с использованием открытых сетевых технологий и
коммерческого сетевого оборудования. ...
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
(ХАІ, 2008)
Показана возможность повышения функциональной безопасности информационно-управляющих систем
с помощью применения систем защиты, учитывающих отказы управляющих контроллеров. Представлены возможные способы построения систем, ...
О тестировании программно-аппаратных средств для ПЛИС-ориентированных критических приложений
(ХАІ, 2008)
Предлагаются элементы методики тестирования компонентов Quartus и Nios фирмы Altera,
используемых для разработки ПЛИС проектов критического применения, а также статического анализа
программного кода, реализующего логику ...
Анализ гарантоспособности распределенной ИУС нефтегазового комплекса с использованием расширенных FME(C)A-таблиц
(ХАІ, 2008)
Рассмотрены элементы метода анализа гарантоспособности распределенных информационно-управляющих систем (ИУС) для нефтегазовых инфраструктур. В его основе лежит выявление и анализ
последствий различных отказов подсистем и ...
Элементы методологии анализа функциональной безопасности информационно-управляющих систем
(ХАІ, 2009)
Предложены элементы методологии анализа функциональной безопасности информационно-управляющих систем (ИУС), включающие: принципы анализа функциональной безопасности ИУС,
теоретико-множественную модель и ER-модель рисков, ...
Метод оптимального выбора средств снижения критичности отказов по результатам FME(C)A-анализа
(ХАІ, 2009)
В статье рассматривается метод обеспечение надежности и функциональной безопасности информационно-управляющих систем (ИУС) энергетики, и для каждого конкретного отказа формируется
номенклатура методов и средств, направленных ...
Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления
(ХАІ, 2010)
Устойчивость к отказам программно-аппаратных средств является важной составляющей функциональной безопасности информационно-управляющих систем (ИУС), а также других критических характеристик систем, важных для безопасности ...