Пошук академічних текстів

Інформація × Реєстраційний номер 2118U005284, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи МОДЕЛЬ ВЕРИФІКАЦІЇ СИСТЕМ З ОБМЕЖЕНИМИ РЕСУРСАМИ Автор Табунщик Г. В.Каплієнко Т. І.Шитікова О. В.Tabunshchyk G. V.Kapliienko T. I.Shytikova O. V. Дата публікації 29-03-2018 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/126655 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Розглянуто задачу верифікації систем з обмеженими ресурсами. Ключовим моментом в розробці мінікомпьютерних систем є їх обмеженість в системних ресурсах, що призводить до посилення вимог до кінцевих продуктів на їх основі. Відповідно це обмежує область їх застосування в критичних системах реального часу таких як оборонна промисловість або медичні програми. Тому розробка засобів верифікації мінікомпьютерних систем для підтвердження їх стабільного функціонування є актуальним завданням. Об’єктом дослідження був процес моделювання функціонування роботи реконфігурованих систем з обмеженими ресурсами.Мета роботи – підвищення надійності функціонування систем з обмеженими ресурсами з компонентами, що реконфігуруються, за рахунок забезпечення цілісності даних і автоматизації процесу верифікації.Метод. Отримано модель верифікації систем з обмеженими ресурсами, заснована на моделі верифікації веб-орієнтованих систем, яка дозволяє описати компоненти об’єктів верифікації і спосіб обміну даними на основі динамічної моделі передання даних. Модифіковано поняття «функціональна одиниця» за рахунок додавання не тільки програмних, але і апаратних блоків, що дозволяє автоматизації тестування даних елементів. Особливість даної моделі полягає в тому, що вона враховує результати верифікації пристроїв, підключених до мінікомп’ютерних систем, і описує оптимальний період зчитування архівних файлів, що дозволяє забезпечити актуальність і цілісність результатів випробувань систем з обмеженими ресурсами. В якості експериментального зразка була розглянута архітектура мінікомпьютерной системи на основі Raspberry Pi.Результати. Запропонована модель апробована для віддаленої лабораторії вивчення надійності вбудованих систем (ISRT).Висновки. В роботі запропонована модифікована модель верифікації систем з обмеженими ресурсами, яка на відміну від моделі верифікації веб-орієнтованих систем, описує адаптивну архітектуру вбудованих систем і містить період передачі результатів верифікації у зовнішнє сховище, що дозволяє застосовувати дану модель для різних конфігурацій апаратного забезпечення. Додано в НРАТ 2026-02-09 Закрити