Дисертація спрямована на вирішення науково-прикладної проблеми створення гарантоздатних комп'ютерних засобів для бортових систем бронетехніки. Гарантоздатні комп'ютерні засоби бронетехніки розглянуто як багаторівневу систему. При цьому її складові також розглядаються як багаторівневі системи. Запропоновано методологію проектування та оцінювання таких систем та їх складових, їх самоперевіряння, модернізації. Особлива увага приділена питанню створення шифропроцесорів, що забезпечують конфіденційність гарантоздатних систем. Основні результати роботи знайшли практичне застосування при проектуванні українських танків Т-64, "БМ Оплот", супутника "Січ-2", а також у навчальному процесі.