АНАЛИЗ РЕАЛИЗАЦИИ МЕТОДА РЕГИСТРАЦИИ АКТИВНОСТИ БЛОКОВ LUT В СОСТАВЕ FPGA-БАЗИРОВАННЫХ УСТРОЙСТВ
Journal Title: Інформатика та математичні методи в моделюванні - Year 2018, Vol 8, Issue 3
Abstract
Рассмотрена проблема контроля целостности FPGA-базированных компонентов компьютерных систем критического применения. Отмечено, что одним из наиболее опасных видов нарушения целостности FPGA проектов является злонамеренное внедрение в проект вредоносных аппаратных закладок. Также отмечено, что вероятным сценарием является внедрение закладки в систему в моменты плановой модификации системы, т.е. тогда, когда не действует контроль целостности, основанный на применении контрольных хэш-сум. Исходя из этого, перед запуском контроля целостности необходима уверенность в том, что закладка не была внедрена в систему во время очередной плановой модификации. Рассмотрен метод, предназначенный для выявления возможных областей локализации вредоносных закладок в пространстве FPGA-базированных компонентов компьютерных систем критического применения. Метод выполняет предварительную обработку проекта с целью выявления подмножества элементарных вычислительных блоков FPGA-базированной системы – блоков LUT (Look Up Table), в которых возможно локализованы схемы закладок. Указанный метод основан на анализе активности блоков LUT. Метод позволяет получить статистику активности блоков LUT, что дает возможность анализировать изменение динамики участия этих блоков в вычислительном процессе в нормальном и аварийном режимах работы системы критического применения на характерных наборах входных слов. Метод предполагает добавление в проект дополнительной схемы регистрации активности блоков LUT. Выполнен анализ возможных способов построения указанной схемы. Предложены два базовых варианта схемы анализа активности блоков LUT. Эти варианты отличаются способом фиксации активности и сохранения зафиксированной информации во внутренней памяти схемы. Проанализированы достоинства, недостатки и ограничения вариантов реализации схемы. Выполнено сравнение предложенных схем и оценка целесообразности их использования.
Authors and Affiliations
К. Защелкин, А. Дрозд
Keywords
Related Articles
- EP ID EP547417
- DOI -
- Views 72
- Downloads 0
ПРОГНОЗУВАННЯ НАДІЙНОСТІ ПРОЦЕСУ ФУНКЦІОНУВАННЯ СКЛАДНИХ СИСТЕМ ТА РИЗИК ЇХ ВІДМОВИ FORECASTING THE RELIABILITY OF THE PROCESS OF FUNCTIONING OF COMPLEX SYSTEMS AND RISK OF THEIR DISCLAIMER
В роботі розглядаються базові фундаментальні чинники змісту математичної моделі, яку прагнемо побудувати, а саме, прогнозування надійності процесу функціонування складних систем та ризик їх відмови в найголовнішому базов...
TRANSFORMATION OF INFORMATION AND SOCIAL-PSYCHOLOGICAL SECURITY PARADIGMS (Part 1)
The paper presents the results of a retrospective analysis of transitional paradigm of information security – from the data and information security to the minds and behavior security. Formulated modern paradigms of info...
ВЫЧИСЛИТЕЛЬНЫЕ МОДЕЛИ АЛГОРИТМОВ ПОКРЫТИЯ COMPUTATIONAL MODELS OF COVERAGE ALGORITHMS
В статье ставится и решается проблема построения вычислительных моделей для класса комбинаторных задач. Практически важной в этом классе является задача о покрытии, использующая переборный механизм. Такого рода задачи во...
INCREASE THE CLARITY OF DIGITAL IMAGE
Photos are an integral and certainly an important part of our lives. Often we are faced with a need to increase the clarity of digital image, for example, solving pattern recognition problems, or for other reasons. Metho...
ОСНОВНЫЕ ТРЕБОВАНИЯ К СИСТЕМЕ ВЫЯВЛЕНИЯ ТОЧЕК ЦИФРОВОГО МОНТАЖА В ФОНОГРАММАХ И МЕТОДОЛОГИЯ ЕЕ СОЗДАНИЯ
Одним из сложнейших аспектов экспертизы материалов и средств видео и звукозаписи является выявление следов цифрового монтажа в фонограммах. Исследования этой проблемы привели к появлению ряда направлений и подходов к соз...