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

верификация, функциональная единица, система с ограниченными ресурсами, Raspberry Pi