Stochastic Methods for Analysis of Complex Hardware-Software Systems

Συγγραφείς: A. A. Karnov, S. V. Zelenov

Πηγή: Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 191-202 (2018)

Θεματικοί όροι: марковский анализ, оценка безопасности системы, моделирование неисправностей, комплексные программно-аппаратные системы, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/321; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/0c482cf68b8f4efc859839e59b6f023b

Obfuscation of combination circuits of digital devices from unauthorized access ; Обфускация комбинационных схем цифровых устройств от несанкционированного доступа

Συγγραφείς: L. A. Zolotorevich, Л. А. Золоторевич

Πηγή: Informatics; Том 16, № 3 (2019); 89-100 ; Информатика; Том 16, № 3 (2019); 89-100 ; 2617-6963 ; 1816-0301

Θεματικοί όροι: обфускацияцифровых структур на основе применения методов и средств тестового диагностирования, taxonomy of deviations, distortion of functions of projects, modeling of faults, devices coding, obfuscation, таксономия отклонений, искажение функций проектов, моделирование неисправностей, кодирование устройства

Περιγραφή αρχείου: application/pdf

Relation: https://inf.grid.by/jour/article/view/730/825; Security analysis of integrated circuit camouflaging / J. Rajendran [et al.] // ACM SIGSAC Conf. on Computer & Communications Security (CCS’13). – Berlin, 2013. – P. 709–720.; Сергейчик, В. В. Методы лексической обфускации VHDL-описаний / В. В. Сергейчик, А. А. Иванюк // Information Technologies and Systems 2013 (ITS 2013) : Proc. of the Intern. Conf. – Minsk, 2013. – С. 198–199.; Benchmarking of hardware Trojans and maliciously affected circuits / B. Shakya [et al.] // J. of Hardware and Systems Security. – 2017. – Vol. 1(1). – P. 85–102.; Hardware Trojans: lessons learned after one decade of research / K. Xiao [et al.] // ACM Transactions on Design Automation of Electronic System. – 2016. – Vol. 22, no. 1. – P. 1– 23.; New testing procedure for finding insertion sites of stealthy hardware Trojans / S. Dupuis [et al.] // Design, Automation & Test in Europe Conference & Exhibition (DATE’2015), Grenoble, France, 9–13 Mar. 2015. – Grenoble, 2015. – P. 776–781.; Roy, J. A. EPIC: Ending Piracy of Integrated Circuits / J. A. Roy, F Koushanfar, I. L. Markov // IEEE Computer. – 2010. – Vol. 43, no. 10. – P. 30–38.; Chakraborty, R. S. Security against hardware Trojan through a novel application of design obfuscation / R. S. Chakraborty, S. Bhunia // IEEE/ACM Intern. Conf. on Computer-Aided Design. – San Jose, 2009. – P. 113–116.; Weighted logic locking: a new approach for IC piracy protection / N. Karousos [et al.] // IEEE 23rd Intern. Symp. on On-Line Testing and Robust System Design (IOLTS). – Thessaloniki, 2017. – P. 221–226.; Золоторевич, Л. А. Исследование методов и средств верификации проектов и генерации тестов МЭС / Л. А. Золоторевич // Сб. науч. тр. Всерос. науч.-техн. конф. «Проблемы разработки перспективных микроэлектронных систем» (МЭС–2006) / под общ. ред. А. Л. Стемпковского. – М. : ИППМ РАН, 2006. – С. 163–168.; On improving the security of logic locking / M. Yasin [et al.] // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. – 2016. – Vol. 35, no. 9. – P. 1411–1424.; https://inf.grid.by/jour/article/view/730

Διαθεσιμότητα: https://inf.grid.by/jour/article/view/730

СИНТЕЗ И АНАЛИЗ ЛОГИЧЕСКИХ Х-ФУНКЦИЙ

Πηγή: Радіоелектроніка та інформатика; № 2(81) (2018)
Радиоэлектроника и информатика; № 2(81) (2018)
Radioelectronics & Informatics; № 2(81) (2018)

Θεματικοί όροι: методы кубитного синтеза, логические Х-функции, моделирование неисправностей

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://reinf.nure.ua/article/view/152970

НЕПРЕРЫВНЫЙ ПОДХОД К ПОСТРОЕНИЮ ТЕСТОВ РЕЗИСТИВНЫХ МОСТИКОВЫХ НЕИСПРАВНОСТЕЙ

Συγγραφείς: Кащеев, Николай, Подъяблонский, Федор

Θεματικοί όροι: РЕЗИСТИВНАЯ МОДЕЛЬ, МОСТИКОВЫЕ НЕИСПРАВНОСТИ, ЦИФРОВЫЕ СХЕМЫ, ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ, АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/nepreryvnyy-podhod-k-postroeniyu-testov-rezistivnyh-mostikovyh-neispravnostey
http://cyberleninka.ru/article_covers/14912008.png

ПОСТРОЕНИЕ ТЕСТОВ ЦИФРОВЫХ СХЕМ С ИСПОЛЬЗОВАНИЕМ ОБОБЩЕННОЙ МОДЕЛИ НЕИСПРАВНОСТЕЙ И НЕПРЕРЫВНОГО ПОДХОДА К МОДЕЛИРОВАНИЮ

Συγγραφείς: Кащеев, Николай, Пономарев, Дмитрий, Подъяблонский, Федор

Θεματικοί όροι: АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ, ЦИФРОВЫЕ СХЕМЫ, КОМБИНАЦИОННЫЕ СХЕМЫ, КОНСТАНТНЫЕ НЕИСПРАВНОСТИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/postroenie-testov-tsifrovyh-shem-s-ispolzovaniem-obobschennoy-modeli-neispravnostey-i-nepreryvnogo-podhoda-k-modelirovaniyu
http://cyberleninka.ru/article_covers/14559539.png

ИНФРАСТРУКТУРА ДИАГНОСТИЧЕСКОГО ОБСЛУЖИВАНИЯ SOC

Συγγραφείς: Хаханов, Владимир

Θεματικοί όροι: ДИАГНОСТИРОВАНИЕ ДЕФЕКТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, ДИАГНОСТИКА В РЕАЛЬНОМ ВРЕМЕНИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/infrastruktura-diagnosticheskogo-obsluzhivaniya-soc
http://cyberleninka.ru/article_covers/13978692.png

Модели генерации тестов и методы диагностирования soc-компонентов

Συγγραφείς: Yves, T., Ngene, C. U.

Πηγή: Радиоэлектроника и информатика.

Θεματικοί όροι: модели генерации тестов, синтез тестов, поиск дефектов, моделирование неисправностей

Περιγραφή αρχείου: text/html; application/pdf

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/modeli-generatsii-testov-i-metody-diagnostirovaniya-soc-komponentov
http://cyberleninka.ru/article_covers/15867146.png

Непрерывный подход к построению тестов резистивных мостиковых неисправностей

Πηγή: Вестник Нижегородского университета им. Н.И. Лобачевского.

Θεματικοί όροι: РЕЗИСТИВНАЯ МОДЕЛЬ, МОСТИКОВЫЕ НЕИСПРАВНОСТИ, ЦИФРОВЫЕ СХЕМЫ, ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ, АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14912008.png
http://cyberleninka.ru/article/n/nepreryvnyy-podhod-k-postroeniyu-testov-rezistivnyh-mostikovyh-neispravnostey

Построение тестов цифровых схем с использованием обобщенной модели неисправностей и непрерывного подхода к моделированию

Πηγή: Вестник Нижегородского университета им. Н.И. Лобачевского.

Θεματικοί όροι: АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ, ЦИФРОВЫЕ СХЕМЫ, КОМБИНАЦИОННЫЕ СХЕМЫ, КОНСТАНТНЫЕ НЕИСПРАВНОСТИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/postroenie-testov-tsifrovyh-shem-s-ispolzovaniem-obobschennoy-modeli-neispravnostey-i-nepreryvnogo-podhoda-k-modelirovaniyu
http://cyberleninka.ru/article_covers/14559539.png

Инфраструктура диагностического обслуживания SoC

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика.

Θεματικοί όροι: ДИАГНОСТИРОВАНИЕ ДЕФЕКТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, ДИАГНОСТИКА В РЕАЛЬНОМ ВРЕМЕНИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/13978692.png
http://cyberleninka.ru/article/n/infrastruktura-diagnosticheskogo-obsluzhivaniya-soc

Инфраструктура диагностического обслуживания SoC

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 4. С. 74-101

Θεματικοί όροι: диагностирование дефектов, моделирование неисправностей, дагностика в реальном времени

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565694

Инфраструктура диагностического обслуживания SoC

Συγγραφείς: Хаханов, Владимир Иванович

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 4. С. 74-101

Θεματικοί όροι: диагностирование дефектов, моделирование неисправностей, дагностика в реальном времени

Περιγραφή αρχείου: application/pdf

Relation: koha:000565694; http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565694

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565694

Технология моделирования и синтеза тестов для сложных цифровых систем

Συγγραφείς: Хаханов, В. И., Колесников, К. В., Парфентий, А. Н., Хаханова, И. В., Обризан, В. И., Мельникова, О. В.

Θεματικοί όροι: моделирование неисправностей, синтез тестов

Περιγραφή αρχείου: application/pdf

Relation: http://openarchive.nure.ua/handle/document/14782

Διαθεσιμότητα: http://openarchive.nure.ua/handle/document/14782

Топологический метод анализа дефектов

Συγγραφείς: Хаханова, И. В., Чугуров, И. Н., Парфентий, А. Н.

Θεματικοί όροι: моделирование неисправностей, быстродействующий метод моделирования

Περιγραφή αρχείου: application/pdf

Relation: https://openarchive.nure.ua/handle/document/15916

Διαθεσιμότητα: https://openarchive.nure.ua/handle/document/15916

Моделирование и синтез тестов для цифровых схем с граничным сканированием

Συγγραφείς: Хаханов, В. И., Колесников, К. В., Парфентий, А. Н., Хаханова, И. В.

Θεματικοί όροι: процедура синтеза тестов, моделирование неисправностей

Περιγραφή αρχείου: application/pdf

Relation: https://openarchive.nure.ua/handle/document/15897

Διαθεσιμότητα: https://openarchive.nure.ua/handle/document/15897

BDP-метод моделирования неисправностей для синтеза тестов цифровых проектов

Συγγραφείς: Хаханов, В. И., Колесников, К. В., Хаханова, А. В.

Θεματικοί όροι: информатика, радиоэлектроника, моделирование неисправностей

Περιγραφή αρχείου: application/pdf

Relation: http://openarchive.nure.ua/handle/document/14685

Διαθεσιμότητα: http://openarchive.nure.ua/handle/document/14685

Дедуктивно-параллельный метод моделирования неисправностей на рекунфигурируемых моделях цифровых систем

Συγγραφείς: Хаханов, В. И., Сысенко, И. Ю., Колесников, К. В.

Θεματικοί όροι: моделирование неисправностей, обработка цифровых устройств

Περιγραφή αρχείου: application/pdf

Relation: http://openarchive.nure.ua/handle/document/14606

Διαθεσιμότητα: http://openarchive.nure.ua/handle/document/14606

Кубическое моделирование неисправностей цифровых систем на основе FPGA, CPLD

Συγγραφείς: Хаханов, В. И., Ковалев, Е. В.

Θεματικοί όροι: анализ цифровых проектов, моделирование неисправностей

Περιγραφή αρχείου: application/pdf

Relation: http://openarchive.nure.ua/handle/document/7687

Διαθεσιμότητα: http://openarchive.nure.ua/handle/document/7687