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