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