Search academic texts

Information × Registration Number 2118U005284, Article popup.category Опубліковано, Стаття Title VERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES popup.author Табунщик Г. В.Каплієнко Т. І.Шитікова О. В.Tabunshchyk G. V.Kapliienko T. I.Shytikova O. V. popup.publication 29-03-2018 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/126655 popup.publisher National University "Zaporizhzhia Polytechnic" Description Актуальність. Розглянуто задачу верифікації систем з обмеженими ресурсами. Ключовим моментом в розробці мінікомпьютерних систем є їх обмеженість в системних ресурсах, що призводить до посилення вимог до кінцевих продуктів на їх основі. Відповідно це обмежує область їх застосування в критичних системах реального часу таких як оборонна промисловість або медичні програми. Тому розробка засобів верифікації мінікомпьютерних систем для підтвердження їх стабільного функціонування є актуальним завданням. Об’єктом дослідження був процес моделювання функціонування роботи реконфігурованих систем з обмеженими ресурсами.Мета роботи – підвищення надійності функціонування систем з обмеженими ресурсами з компонентами, що реконфігуруються, за рахунок забезпечення цілісності даних і автоматизації процесу верифікації.Метод. Отримано модель верифікації систем з обмеженими ресурсами, заснована на моделі верифікації веб-орієнтованих систем, яка дозволяє описати компоненти об’єктів верифікації і спосіб обміну даними на основі динамічної моделі передання даних. Модифіковано поняття «функціональна одиниця» за рахунок додавання не тільки програмних, але і апаратних блоків, що дозволяє автоматизації тестування даних елементів. Особливість даної моделі полягає в тому, що вона враховує результати верифікації пристроїв, підключених до мінікомп’ютерних систем, і описує оптимальний період зчитування архівних файлів, що дозволяє забезпечити актуальність і цілісність результатів випробувань систем з обмеженими ресурсами. В якості експериментального зразка була розглянута архітектура мінікомпьютерной системи на основі Raspberry Pi.Результати. Запропонована модель апробована для віддаленої лабораторії вивчення надійності вбудованих систем (ISRT).Висновки. В роботі запропонована модифікована модель верифікації систем з обмеженими ресурсами, яка на відміну від моделі верифікації веб-орієнтованих систем, описує адаптивну архітектуру вбудованих систем і містить період передачі результатів верифікації у зовнішнє сховище, що дозволяє застосовувати дану модель для різних конфігурацій апаратного забезпечення. popup.nrat_date 2026-02-09 Close