Дипломний проект присвячено побудові програмних засобів для автоматизованої сертифікації цифрових систем на наявність або відсутність апаратних закладних пристроїв. Проведено класифікацію апаратних закладних пристроїв за окремими ознаками, які включають фізичні характеристики (тип, розмір, розташування, структура) та логічні характеристики (тип та спосіб запуску та результати дії). Запропоновано метод сертифікації електронних компонентів на основі псевдовипадкової генерації окремих об’єктів циклів шин, які за програмної точки зору мають вигляд функції зі змінною кількістю параметрів. Запропоновано програмну реалізацію алгоритму генерації циклів шин із передачею параметрів та відстеження можливих конфліктів на шині. Програмні засоби реалізовано з використанням мови C# та бібліотеки WindowsForms. КОМПЛЕКСНІ СИСТЕМИ ЗАХИСТУ ІНФОРМАЦІЇ, АПАРАТНІ ЗАКЛАДНІ ПРИСТРОЇ, СЕРТИФІКАЦІЯ ІНТЕГРАЛЬНИХ МІКРОСХЕМ Diploma project dedicated to building software for automated certification of digital systems for the presence or absence of embedded hardware malicous devices. Classification of embedded hardware malicious devices by individual characteristics, including physical characteristics (type, size, location, structure) and logical characteristics (type and method of activation and results). The method of certification of electronic components based on pseudorandom generation of sequence of bus cycles are proposed, which in software terms have the form of functions with a variable number of parameters. A software implementation of the algorithm generating cycles change of transmission parameters and the tracking possible conflicts on the bus. The software is implemented using the C # language and WindowsForms components. COMPLEX INFORMATION SECURITY SYSTEM, HARDWARE MALICIOUS DEVICES, CERTIFICATION OF INTEGRATED CIRCUITS
