Рассмотрена задача верификации систем с ограниченными ресурсами. Ключевым моментом в разработке миникомпьютерных систем является их ограниченность в системных ресурсах, что приводит к ужесточению требований к конечным продуктам на их основе. Соответственно это ограничивает область их применения в критичных системах реального времени таких как оборонная промышленность или медицинские приложения. Поэтому разработка средств верификации миникомпьютерных систем для подтверждения их стабильного функционирования является актуальной задачей. Объектом исследования являлся процесс моделирования функционирования работы реконфигурируемых систем с ограниченными ресурсами. Цель работы - повышение надежности функционирования систем с ограниченными ресурсами с реконфигурируемыми компонентами за счет обеспечения целостности данных и автоматизации процесса верификации. Получена модель верификации систем с ограниченными ресурсами, основанная на модели верификации веб-ориентированных систем, которая позволяет описать компоненты верифицируемых объектов и способ обмена данными на основе динамической модели передачи данных. Модифицировано понятие "функциональная единица" за счет добавления не только программных, но и аппаратных блоков, что дает возможность автоматизации тестирования данных элементов. Особенность данной модели заключается в том, что она учитывает результаты верификации устройств, подключенных к миникомпьютеры системам, и описывает оптимальный период считывания архивных файлов, что позволяет обеспечить актуальность и целостность результатов испытаний систем с ограниченными ресурсами. В качестве экспериментального образца была рассмотрена архитектура миникомпьютерной системы на основе Raspberry Pi. Предложенная модель апробирована для удаленной лаборатории изучения надежности встроенных систем (ISRT). Выводы: предложена модифицированная модель верификации систем с ограниченными ресурсами, которая в отличие от модели верификации веб-ориентированных систем, описывает адаптивную архитектуру встроенных систем и содержит период передачи результатов верификации во внешнее хранилище, что позволяет применять данную модель для различных конфигураций аппаратного обеспечения.

  Повний текст PDF - 618.226 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"