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