Пошук
Зараз показуються 1-10 з 10
Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
(ХАИ, 2011)
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної ...
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
(ХАІ, 2006)
В статье рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых
многофрагментных макромоделей оценки ...
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
(ХАІ, 2008)
Показана возможность повышения функциональной безопасности информационно-управляющих систем
с помощью применения систем защиты, учитывающих отказы управляющих контроллеров. Представлены возможные способы построения систем, ...
Многоэтапный анализ надежности и безопасности информационно-управляющих систем
(ХАІ, 2010)
Данная работа посвящена обсуждению согласованного применения методов анализа надежности и безопасности на различных этапах жизненного цикла информационно-управляющих систем.
Методика комплексной оценки безопасности человеко-машинного интерфейса ИУС критического применения
(ХАІ, 2012)
Предложен подход к оценке безопасности человеко-машинных интерфейсов информационно-управляющих систем АЭС, основанный на методологии Safety Case. Рассматривается модель
объекта оценки с учетом человеческого фактора.
Исследование имитационных моделей готовности двухканальной информационно-управляющей системы космического аппарата
(ХАІ, 2012)
В статье рассмотрены особенности моделей готовности информационно-управляющих систем космических аппаратов. Для двухканальной одноверсионной структуры системы предложены имитационные модели, учитывающие изменение параметров ...
Методологія забезпечення гарантоздатності інформаційно-керуючих систем з використанням багатоцільових стратегій обслуговування
(ХАІ, 2020)
У статті розглянуто методологію забезпечення гарантоздатності інформаційно-керуючих систем з використанням багатоцільових стратегій обслуговування. Актуальність досліджень зумовлена необхідністю забезпечення функціонування ...
Аналіз методологічних основ формування інформаційно-управляючих систем підприємств в індустрії 3.0: рух до індустрії 4.0
(ХАІ, 2019)
Розглянуті у програмно-цільовому управлінні структурне представлення та у архітектурному підході функціональне представлення є складовими частинами інтегрованого представлення підприємства. Саме архітектура функціональної ...