Search
Now showing items 21-30 of 34
Кооперация университетов и IT-индустрии: структура, результаты и перспективы в Украине
(ХАІ, 2014)
Систематизируются результаты, полученные в области кооперации университетов и бизнеса
(University-Business Cooperation, UBC) для IT-индустрии. Дано описание активностей в области UBC.
Определены компоненты UBC, ...
Динамическая реконфигурация веб-системы на основе метрического анализа баз данных уязвимостей ОТS-компонентов
(ХАІ, 2014)
В статье проанализированы существующие методы анализа уязвимостей компонентов. Предложена
методика сравнительной оценки конфигураций программных систем на основании данных об уязвимостях компонентов и связанных уязвимостей. ...
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью
(ХАІ, 2014)
Для количественной оценки надежности и функциональной безопасности критических систем одной
из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности ...
Анализ характеристик и выбор средств разработки компьютерных игр
(ХАІ, 2015)
Статья посвящена разработке метода и приложения для проектно-ориентированного выбора
средств разработки компьютерных игр или игровых движков. Даны определения
основных понятий, связанных с предметной областью, выделены ...
Контролепригодность цифровых компонентов систем критического применения по отношению к неисправностям типа «замыкание»
(ХАІ, 2013)
Статья посвящена проблеме низкой контролепригодности цифровых компонентов информационных
управляющих систем критического применения, предназначенных для обеспечения безопасности объектов повышенного риска.
Разработка базовых марковских моделей для исследования готовности коммерческих веб-сервисов
(ХАІ, 2013)
В статье рассмотрены вопросы оценки непрерывности функционирования коммерческих веб-сервисов.
Полумарковская модель протекания аварии критической инфраструктуры
(ХАІ, 2013)
Представлена математическая модель аварии критической инфраструктуры (КИ), учитывающая совместное воздействие внешних и внутренних факторов.
Тестирование и разработка диверсных программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования
(ХАІ, 2014)
В статье предложен подход к моделированию и тестированию программного обеспечения контроллеров с использованием инструментальной среды ForSyDe, поддерживающей функциональное программирование.
Методология обеспечения безопасности критических инфраструктур в условиях неопределенности: концепция и принципы
(ХАІ, 2015)
В работе предлагаются элементы методологического подхода к обеспечению безопасности критических инфраструктур (КИ) в условиях неопределенности. Предложенный подход включает концепцию,
принципы, модели и методы, а также ...
Стандарты информационной безопасности для облачных технологий и тенденции их развития
(ХАІ, 2015)
Рассмотрен состав и взаимодействие стандартообразующих организаций в сфере облачных технологий. Показано состояние нормативных документов по 10 ключевым направлениям стандартизации информационной безопасности. Определены ...