МЕТОДИ АНАЛІЗУ ВРАЗЛИВОСТЕЙ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ

Abstract

Дана робота зосереджена на процесі розробки моделей програмно-апаратних систем заснованих на мікроконтролерах. Ці моделі дозволять виявлення апаратних та програмних вразливостей цієї системи на рівні проектування, до передачі мікроконтролерів безпосередньо до виробництва. Програмне і апаратне забезпечення системи реалізують відповідні частини, використовуючі спеціалізовані мови високого рівня, тому застосування технологій формальної верифікації для контролю якості кінцевих продуктів є актуальною. А задача оцінки можливих вразливостей апаратної частини до безпосередньо її виготовлення може вважатись критичною. / This work focuses on the process of developing models of software-hardware systems based on microcontrollers. These models will allow identifying hardware and software vulnerabilities of this system at the design level, before transferring microcontrollers directly to production. The software and hardware of the system are implemented by the corresponding parts using specialized high- level languages, therefore the use of formal verification technologies for quality control of final products is relevant. And the task of assessing possible vulnerabilities of the hardware part before its direct manufacture can be considered critical.