Search
Now showing items 61-70 of 85
Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа «замыкание»
(ХАІ, 2013)
Статья посвящена проблеме низкой контролепригодности цифровых компонентов информационных
управляющих систем критического применения, предназначенных для обеспечения безопасности объектов повышенного риска.
Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов
(ХАІ, 2013)
В статье рассмотрены вопросы оценки непрерывности функционирования коммерческих веб-сервисов.
Полумарковская модель протекания аварии критической инфраструктуры
(ХАІ, 2013)
Представлена математическая модель аварии критической инфраструктуры (КИ), учитывающая совместное воздействие внешних и внутренних факторов.
Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
(ХАІ, 2014)
В статье предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование.
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Методология обеспечения безопасности критических инфраструктур в условиях неопределенности: концепция и принципы
(ХАІ, 2015)
В работе предлагаются элементы методологического подхода к обеспечению безопасности критических инфраструктур (КИ) в условиях неопределенности. Предложенный подход включает концепцию,
принципы, модели и методы, а также ...
Стандарты информационной безопасности для облачных технологий и тенденции их развития
(ХАІ, 2015)
Рассмотрен состав и взаимодействие стандартообразующих организаций в сфере облачных технологий. Показано состояние нормативных документов по 10 ключевым направлениям стандартизации информационной безопасности. Определены ...
Анализ аспектов безопасности кооперативных человеко-машинных интерфейсов для облачных систем помощи водителю
(ХАІ, 2016)
Интеллектуальные транспортные системы обеспечивают реализацию парадигмы активной безопасности и принципы построения человеко-машинных интерфейсов (ЧМИ) для транспортных
средств (ТС). В статье дается обзор подходов к ...
Анализ стохастических методов метамоделирования и оценивания готовности облачных инфраструктур
(ХАІ, 2016)
Выполнен анализ стохастических методов, используемых для моделирования поведения и оценки по-
казателей готовности, надежности облачных инфраструктур.
Многоуровневая система диагностирования заболеваний на основе нейросетевых модулей: принципы реализации
(ХАІ, 2016)
Предложена многоуровневая структура адаптивных нейросетевых модулей, взаимосвязанных между
собой для диагностирования заболеваний. Разработанная структура представляет собой трехуровневую схему взаимодействия локальных, ...