Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC
Предметом дослідження в статті є моделі, методи та процедури проєктування та самодіагностики автоматних моделей пристроїв логічного керування, реалізованих в SoC. Об’єкт роботи – процедури автоматизованого проєктування та діагностування цифрових пристроїв на технологічній платформі SoC. Метою дослі...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Kharkiv National University of Radio Electronics
2023-12-01
|
| Series: | Сучасний стан наукових досліджень та технологій в промисловості |
| Subjects: | |
| Online Access: | https://itssi-journal.com/index.php/ittsi/article/view/449 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850054562837168128 |
|---|---|
| author | Alexander Shkil Dariia Rakhlis Inna Filippenko Valentyn Korniienko |
| author_facet | Alexander Shkil Dariia Rakhlis Inna Filippenko Valentyn Korniienko |
| author_sort | Alexander Shkil |
| collection | DOAJ |
| description |
Предметом дослідження в статті є моделі, методи та процедури проєктування та самодіагностики автоматних моделей
пристроїв логічного керування, реалізованих в SoC. Об’єкт роботи – процедури автоматизованого проєктування
та діагностування цифрових пристроїв на технологічній платформі SoC. Метою дослідження є розроблення моделей
і процедур проєктування та самотестування в циклі автоматизованого проєктування автоматних систем логічного управління на технологічній платформі SoC, що суттєво підвищить надійність їх функціювання. У статті вирішуються такі завдання: розгляд процедур взаємодії процесорного ядра з програмованою логікою у складі SoC; удосконалення процедур проєктування та тестування програмно-апаратних систем на основі SoC; подальший розвиток процедур автоматизованого проєктування, верифікації та діагностування кіберфізичних систем логічного управління з використанням мов програмування та мов опису апаратури; реалізація процедури апаратного самотестування керуючих автоматів на технологічній платформі SoC. Упроваджуються такі методи: синтез керуючих автоматів на основі графових моделей, імплементація моделей керуючих автоматів мовою програмування С з використанням автоматного шаблону, діагностичний експеримент способом обходу графа переходів автомата. Досягнуті результати. На основі аналізу процедур взаємодії процесорного ядра та програмованої логіки на обраній платформі SoC спроєктовано модель кіберфізичної системи логічного управління. Практичну реалізацію виконано на базі стеку інструментальних засобів САПР Vivado/Vitis/Vitis HLS. Реалізовано метод апаратного самотестування керуючих автоматів на технологічній платформі SoC ZYNQ-7000. Висновки. У статті проаналізовано принципи проєктування вбудованих кіберфізичних систем,
що реалізуються в системах на кристалі. Розглянуто принципи побудови систем верифікації та вбудованої самодіагностики систем на кристалі, що містять програмну й апаратну частини. Розроблені методи апробовано на моделі пристрою логічного керування світлофором на технологічній платформі SoC FPGA сімейства ZYNQ-7000 фірми Xilinx. Керуючий автомат Мура реалізовано у блоці PL мовою програмування С, а операційний автомат – у блоці PS.
Під час організації процесу самодіагностики здійснено неруйнівний діагностичний експеримент способом обходу
всіх дуг графа переходів, починаючи з початкової вершини. Тестером у цьому разі був операційний автомат, еталонні
логічні та часові значення якого зберігалися в пам’яті блока PS. Візуальне спостереження за виконанням діагностичного
експерименту здійснювалося за допомогою панелі світлодіодів плати ZedBoard.
|
| format | Article |
| id | doaj-art-7a4f56c8b6d348c88ea6fe672cd1150f |
| institution | DOAJ |
| issn | 2522-9818 2524-2296 |
| language | English |
| publishDate | 2023-12-01 |
| publisher | Kharkiv National University of Radio Electronics |
| record_format | Article |
| series | Сучасний стан наукових досліджень та технологій в промисловості |
| spelling | doaj-art-7a4f56c8b6d348c88ea6fe672cd1150f2025-08-20T02:52:12ZengKharkiv National University of Radio ElectronicsСучасний стан наукових досліджень та технологій в промисловості2522-98182524-22962023-12-014 (26)Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoCAlexander Shkil0Dariia Rakhlis1Inna Filippenko2Valentyn Korniienko3Харківський національний університет радіоелектронікиХарківський національний університет радіоелектронікиХарківський національний університет радіоелектронікиХарківський національний університет радіоелектроніки Предметом дослідження в статті є моделі, методи та процедури проєктування та самодіагностики автоматних моделей пристроїв логічного керування, реалізованих в SoC. Об’єкт роботи – процедури автоматизованого проєктування та діагностування цифрових пристроїв на технологічній платформі SoC. Метою дослідження є розроблення моделей і процедур проєктування та самотестування в циклі автоматизованого проєктування автоматних систем логічного управління на технологічній платформі SoC, що суттєво підвищить надійність їх функціювання. У статті вирішуються такі завдання: розгляд процедур взаємодії процесорного ядра з програмованою логікою у складі SoC; удосконалення процедур проєктування та тестування програмно-апаратних систем на основі SoC; подальший розвиток процедур автоматизованого проєктування, верифікації та діагностування кіберфізичних систем логічного управління з використанням мов програмування та мов опису апаратури; реалізація процедури апаратного самотестування керуючих автоматів на технологічній платформі SoC. Упроваджуються такі методи: синтез керуючих автоматів на основі графових моделей, імплементація моделей керуючих автоматів мовою програмування С з використанням автоматного шаблону, діагностичний експеримент способом обходу графа переходів автомата. Досягнуті результати. На основі аналізу процедур взаємодії процесорного ядра та програмованої логіки на обраній платформі SoC спроєктовано модель кіберфізичної системи логічного управління. Практичну реалізацію виконано на базі стеку інструментальних засобів САПР Vivado/Vitis/Vitis HLS. Реалізовано метод апаратного самотестування керуючих автоматів на технологічній платформі SoC ZYNQ-7000. Висновки. У статті проаналізовано принципи проєктування вбудованих кіберфізичних систем, що реалізуються в системах на кристалі. Розглянуто принципи побудови систем верифікації та вбудованої самодіагностики систем на кристалі, що містять програмну й апаратну частини. Розроблені методи апробовано на моделі пристрою логічного керування світлофором на технологічній платформі SoC FPGA сімейства ZYNQ-7000 фірми Xilinx. Керуючий автомат Мура реалізовано у блоці PL мовою програмування С, а операційний автомат – у блоці PS. Під час організації процесу самодіагностики здійснено неруйнівний діагностичний експеримент способом обходу всіх дуг графа переходів, починаючи з початкової вершини. Тестером у цьому разі був операційний автомат, еталонні логічні та часові значення якого зберігалися в пам’яті блока PS. Візуальне спостереження за виконанням діагностичного експерименту здійснювалося за допомогою панелі світлодіодів плати ZedBoard. https://itssi-journal.com/index.php/ittsi/article/view/449кіберфізичні системи; вбудовані системи; логічне управління; проєктування систем на кристалі; FPGA; САПР; самотестування SoC; мова програмування С. |
| spellingShingle | Alexander Shkil Dariia Rakhlis Inna Filippenko Valentyn Korniienko Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC Сучасний стан наукових досліджень та технологій в промисловості кіберфізичні системи; вбудовані системи; логічне управління; проєктування систем на кристалі; FPGA; САПР; самотестування SoC; мова програмування С. |
| title | Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC |
| title_full | Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC |
| title_fullStr | Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC |
| title_full_unstemmed | Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC |
| title_short | Проєктування та самодіагностика кіберфізичних пристроїв керування на платформі SoC |
| title_sort | проєктування та самодіагностика кіберфізичних пристроїв керування на платформі soc |
| topic | кіберфізичні системи; вбудовані системи; логічне управління; проєктування систем на кристалі; FPGA; САПР; самотестування SoC; мова програмування С. |
| url | https://itssi-journal.com/index.php/ittsi/article/view/449 |
| work_keys_str_mv | AT alexandershkil proêktuvannâtasamodíagnostikakíberfízičnihpristroívkeruvannânaplatformísoc AT dariiarakhlis proêktuvannâtasamodíagnostikakíberfízičnihpristroívkeruvannânaplatformísoc AT innafilippenko proêktuvannâtasamodíagnostikakíberfízičnihpristroívkeruvannânaplatformísoc AT valentynkorniienko proêktuvannâtasamodíagnostikakíberfízičnihpristroívkeruvannânaplatformísoc |