Checkability of FPGA projects by power-dissipation

V. V. Antoniuk; M. O. Drozd; O. V. Drozd; L. V. Kabak

doi:10.32836/2521-6643-2018-1-56-5

V. V. Antoniuk старший викладач кафедри комп’ютерних інтелектуальних систем та мереж Одеського національного політехнічного університету
M. O. Drozd старший викладач кафедри інформаційних систем Одеського національного політехнічного університету
O. V. Drozd професор кафедри комп’ютерних інтелектуальних систем та мереж Одеського національного політехнічного університету
L. V. Kabak доцент кафедри інформаційних систем та технологій Університету митної справи та фінансів https://orcid.org/0000-0001-6267-1772

DOI: https://doi.org/10.32836/2521-6643-2018-1-56-5

Ключові слова: Розглянуто розвиток контролепридатності схем для цифрових компо-нентів систем критичного застосування. Наголошено на важливості контро-лепридатності для забезпечення функціональної безпеки систем та їхніх ком-понентів у частині критичних додатків. Аргументовано потребу подальшого розвитку контролепридатності за межі логічної форми. Запропоновано роз-виток контролепридатності цифрових компонентів за ознакою розсіюваної потужності. Отримано формулу для оцінювання контролепридатності схем за розсіюваною потужністю для FPGA-проектів. Проведено експерименти, виконано розрахунки контролепридатності схем за розсіюваною потужністю для матричних помножувачів, що імплементовані в FPGA-проекти.

Анотація

Розглянуто розвиток контролепридатності схем для цифрових компо-нентів систем критичного застосування. Наголошено на важливості контро-лепридатності для забезпечення функціональної безпеки систем та їхніх ком-понентів у частині критичних додатків. Аргументовано потребу подальшого розвитку контролепридатності за межі логічної форми. Запропоновано роз-виток контролепридатності цифрових компонентів за ознакою розсіюваної потужності. Отримано формулу для оцінювання контролепридатності схем за розсіюваною потужністю для FPGA-проектів. Проведено експерименти, виконано розрахунки контролепридатності схем за розсіюваною потужністю для матричних помножувачів, що імплементовані в FPGA-проекти.

Посилання

Kharchenko, V. Green Computing and Communications in Critical Application Domains: Challenges and Solutions [Text] / V. Kharchenko, A. Gorbenko, V. Sklyar, C. Phillips // Digital Technologies: Proceedings of the 9th International Conference, Zhilina, Slovak Republic, 2013. – P. 191-197.

Brezhnev, E. Approach for formalization of influences in critical infrastructure [Text] / E. Brezhnev, V. Kharchenko // Critical Infrastructure Safety and Security (CrISSDESSERT ): proceedings of I Int. Workshop, Kirovograd (Ukraine), 10-11 May, 2011. – Kirovograd, 2011. – P. 216-226.

IEC 61508-1:2010. Functional safety of electrical / electronic / programmable electronic safety related systems – Part 1: General requirements. – Geneva: International Electrotechnical Commission, 2010.

EN 50126 / IEC 62278. Quick Guide to safety Management based on EN 50126 / IEC 62278 [Электронный ресурс] // Blogspot. – 2008. – Режим доступу: http://en50126.blogspot.com

IEC 61513:2001. Nuclear power plants – Instrumentation and control systems important to safety – General requirements for systems. – Geneva: International Electrotechnical Commission, 2001.

Drozd, A. Checkability of the digital components in safety-critical systems: problems and solutions [Text] / A. Drozd, V. Kharchenko, S. Antoshchuk, J. Sulima, M. Drozd // IEEE East-West Design & Test : Proceedings of the IEEE Symposium, Sevastopol, Ukraine, 2011. – P. 411–416.

Drozd, M. Safety-Related Instrumentation and Control Systems and a Problem of the Hidden Faults [Text] / M. Drozd, A. Drozd // Digital Technologies : Proceedings of the 10th International Conference, Zhilina, Slovak Republic, 2014. – P. 137-140.

Gillis, D. The apocalypses that might have been / D. Gillis [Электронный ресурс] // DAMN Interesting. – 2007. – N 298. – Режим доступу: http://www.popmech.ru/go.php?url=http%3A%2F%2Fwww.damninteresting.com%2F%3Fp%3D913

Drozd, A. Evolution of a Problem of the Hidden Faults in the Digital Components of Safety-Related Systems [Text] / A. Drozd, M. Kuznietsov, S. Antoshchuk, A. Martynyuk, M. Drozd, J. Sulima // East-West Design & Test : Proceedings of the 16th IEEE Symposium. – P. 1 – 5, 2018, DOI: 10.1109/EWDTS.2018.8524806

Kharchenko, V. S. FPGA-based NPP I&C Systems: Development and Safety Assessment [Text] / V. S. Kharchenko [et al.] : V. S. Kharchenko, V. V. Sklyar (edits). – Kharkiv. RPC Radiy, National Aerospace University “KhAI”, SSTC on Nuclear and Radiation Safety, 2008. – 188 p.

Kharchenko, V. S. Diversity-Scalable Decisions for FPGA-based Safety-Critical I&Cs: from Theory to Implementation [Text] / V. S. Kharchenko, A. A. Siora, E. S. Bakhmach // Sixth ANS International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPI–HMIT 2009) April 5–9, 2009. – Knoxville, Tennessee, USA.

Intel Quartus Prime Standard Edition User Guide: Getting Started [Електронний ресурс] – Режим доступу: https://www.intel.com/content/ www/us/en/programmable/documentation/yoq1529444104707.html

Intel Quartus Prime Standard Edition User Guide: Power Analysis and Optimization [Електронний ресурс] – Режим доступу: https://www.intel.com/ content/www/us/en/programmable/documentation/xhv1529966780595.html

MAX 10 FPGA Device Architecture [Електронний ресурс] – Режим доступу: https://www.intel.com/content/www/us/en/programmable/documentation /sss1397439908414.html

Intel FPGA Integer Arithmetic IP Cores User Guide [Електронний ресурс] – Режим доступу: https://www.intel.com/content/www/us/en/program mable/documentation/sam1395330298052.html

КОНТРОЛЕПРИДАТНІСТЬ FPGA-ПРОЕКТІВ ЗА РОЗСІЮВАНОЮ ПОТУЖНІСТЮ

Анотація

Посилання