Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии используется три идентичных схемы, одноименные выходы которых поступают на схему голосования. В такой системе корректное функционирование обеспечивается при неисправности одной из трех схем. Однако появившиеся в последние годы возможности одновременного внесения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым к таким действиям. Одним из выходов в этой ситуации является использование вместо идентичных трех синхронных последовательностных схем двух аппроксимирующих схем и одной рабочей схемы, выполняющей предписанное разработчиком функционирование синхронного автомата. Предлагаемый подход гарантирует отсутствие незащищенной области, характерной для известных методов применения аппроксимирующих схем в технологии троирования. Вклад авторов: все авторы сделали эквивалентный вклад в подготовку публикации. Авторы заявляют об отсутствии конфликта интересов.
Ключевые слова
синхронные последовательностные схемы, безызбыточные системы ДНФ (БСДНФ), аппроксимирующие схемы, троирование, константные неисправности литер БСДНФАвторы
ФИО | Организация | Дополнительно | |
Останин Сергей Александрович | Томский государственный университет | доцент, кандидат технических наук, заведующий кафедрой компьютерной безопасности Института прикладной математики и компьютерных наук | sergeiostanin@yandex.ru |
Матросова Анжела Юрьевна | Томский государственный университет | профессор, доктор технических наук, профессор кафедры компьютерной безопасности Института прикладной математики и компьютерных наук | mau11@yandex.ru |
Андреева Валентина Валерьевна | Томский государственный университет | доцент, кандидат технических наук, доцент кафедры компьютерной безопасности Института прикладной математики и компьютерных наук | avv.21@mail.ru |
Ссылки

Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования | Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. DOI: 10.17223/19988605/62/14