Search
Now showing items 31-40 of 52
Методологічні засади оцінювання та забезпечення безпеки критичних інформаційних інфраструктур
(ХАІ, 2018)
Предметом вивчення статті є механізми забезпечення безпеки (захисту) критичних інформаційних інфраструктур. Метою статті є обґрунтувати підхід щодо розробки методологічних засад та технологій оцінювання та забезпечення ...
Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю
(ХАІ, 2019)
Метою статті є розроблення та аналіз результатів дослідження марковськіх моделей оцінювання надійності та функціональної безпеки програмно-технічних комплексів (ПТК), які розробляються на основі самодіагностовних програмовних ...
Визначення оптимального маршруту обльоту заданих точок території потенційно небезпечного об'єкту флотом БПЛА
(ХАІ, 2019)
Предметом дослідження є процес мінімізації часу обльоту заданих точок території потенційно небезпечного об’єкту з урахуванням місць розміщення та використовуваних моделей БПЛА флоту.
Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа «замыкание»
(ХАІ, 2013)
Статья посвящена проблеме низкой контролепригодности цифровых компонентов информационных
управляющих систем критического применения, предназначенных для обеспечения безопасности объектов повышенного риска.
Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов
(ХАІ, 2013)
В статье рассмотрены вопросы оценки непрерывности функционирования коммерческих веб-сервисов.
Полумарковская модель протекания аварии критической инфраструктуры
(ХАІ, 2013)
Представлена математическая модель аварии критической инфраструктуры (КИ), учитывающая совместное воздействие внешних и внутренних факторов.
Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
(ХАІ, 2014)
В статье предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование.
Методология обеспечения безопасности критических инфраструктур в условиях неопределенности: концепция и принципы
(ХАІ, 2015)
В работе предлагаются элементы методологического подхода к обеспечению безопасности критических инфраструктур (КИ) в условиях неопределенности. Предложенный подход включает концепцию,
принципы, модели и методы, а также ...
Стандарты информационной безопасности для облачных технологий и тенденции их развития
(ХАІ, 2015)
Рассмотрен состав и взаимодействие стандартообразующих организаций в сфере облачных технологий. Показано состояние нормативных документов по 10 ключевым направлениям стандартизации информационной безопасности. Определены ...
Анализ аспектов безопасности кооперативных человеко-машинных интерфейсов для облачных систем помощи водителю
(ХАІ, 2016)
Интеллектуальные транспортные системы обеспечивают реализацию парадигмы активной безопасности и принципы построения человеко-машинных интерфейсов (ЧМИ) для транспортных
средств (ТС). В статье дается обзор подходов к ...