Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем

doi:10.17223/00213411/63/12/114

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем	524 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/00213411/63/12/114

#SAT-решатели

#логические неисправности

#вредоносные подсхемы

#сложные физические системы

Title: Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем
Creator: Матросова, Анжела Юрьевна
|
Провкин, Виктор Алексеевич
|
Тычинский, Вячеслав Зиновьевич
|
Николаева, Екатерина Александровна
|
Гошин, Геннадий Георгиевич
Date: 2020
DOI: 10.17223/00213411/63/12/114
Description: С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создания этих компонент. Управляющие компоненты, как правило, являются логическими схемами, комбинационными или последовательностными. Комбинационная схема С (комбинационная часть последовательностной схемы) состоит из вентилей. В ней выделена подсхема с множеством V выходных полюсов и множеством U входных полюсов. Множество V состоит из выходных полюсов неисправных элементов схемы С и входных полюсов ее исправных элементов. Предлагается корректировать поведение схемы С, используя маскирующую схему, по возможности, более простую. Eе входы соединяются с полюсами из U, а выходы – либо с полюсами, питаемыми полюсами из V (выходными полюсами элементов схемы С), либо непосредственно с полюсами из V (входными полюсами элементов схемы С) в рамках Engineering Change Order (ECO) технологий. В отличие от известных подходов к построению маскирующей схемы, основанных на результатах моделирования корректируемой схемы С, обеспечивающих в результате маскирования корректное поведение схемы на множестве моделируемых наборов, предлагается использовать частичные функции полюсов множества V. Применение частичных функций при построении маскирующей схемы позволяет гарантировать корректное поведение схемы С на множестве всех ее входных наборов. Построение частичных функций выполняется с использованием SAT-решателей. По полученной системе частичных функций с помощью систем ESPRESSO и ABC строится маскирующая схема.

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) | Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Rights: Resource access is available in the premises of Research Library
Type: статьи в журналах
Source: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Language: rus

Created: 23-12-2021

531 Visitors

531 Hits

7 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)

Журналы ТГУ Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем