Пошук
Зараз показуються 1-10 з 20
Оценка и обеспечение безопасности информационно-управляющих систем критического использования: элементы методологии и формальные модели
(ХАИ, 2005)
Предложен системный подход к оценке и обеспечению безопасности информационно-управляющих систем технических комплексов критического использования, основанный на применении ER-модели (модели «сущность-связь»).
Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
(ХАИ, 2011)
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної ...
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
(ХАІ, 2006)
В статье рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых
многофрагментных макромоделей оценки ...
Анализ задач разработки и реинжиниринга компьютерных сетей для критических приложений
(ХАІ, 2006)
Выполнен анализ задач разработки и реинжиниринга компьютерных сетей (КС) информационно-управляющих систем (ИУС) критического применения (КП) с использованием открытых сетевых технологий и
коммерческого сетевого оборудования. ...
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
(ХАІ, 2008)
Показана возможность повышения функциональной безопасности информационно-управляющих систем
с помощью применения систем защиты, учитывающих отказы управляющих контроллеров. Представлены возможные способы построения систем, ...
О тестировании программно-аппаратных средств для ПЛИС-ориентированных критических приложений
(ХАІ, 2008)
Предлагаются элементы методики тестирования компонентов Quartus и Nios фирмы Altera,
используемых для разработки ПЛИС проектов критического применения, а также статического анализа
программного кода, реализующего логику ...
Анализ гарантоспособности распределенной ИУС нефтегазового комплекса с использованием расширенных FME(C)A-таблиц
(ХАІ, 2008)
Рассмотрены элементы метода анализа гарантоспособности распределенных информационно-управляющих систем (ИУС) для нефтегазовых инфраструктур. В его основе лежит выявление и анализ
последствий различных отказов подсистем и ...
Элементы методологии анализа функциональной безопасности информационно-управляющих систем
(ХАІ, 2009)
Предложены элементы методологии анализа функциональной безопасности информационно-управляющих систем (ИУС), включающие: принципы анализа функциональной безопасности ИУС,
теоретико-множественную модель и ER-модель рисков, ...