| Номер документа в системі: | 345692 |
| Автор: | Табунщик Г. В., Каплиенко Т. И., Шитикова Е. В. |
| Назва документа: | Модель верификации систем с ограниченными ресурсами |
| УДК | 004.93 |
| Мова документу | Російська |
| Аннотація | Актуальность. Рассмотрена задача верификации систем с ограниченными ресурсами. Ключевым моментом в разработке миникомпьютерных систем является их ограниченность в системных ресурсах, что приводит к ужесточению требований к конечным продуктам на их основе. Соответственно это ограничивает область их применения в критичных системах реального времени таких как оборонная промышленность или медицинские приложения. Поэтому разработка средств верификации миникомпьютерных систем для подтверждения их стабильногофункционирования является актуальной задачей. Объектом исследования являлся процесс моделирования функционирования работы реконфигурируемых систем с ограниченными ресурсами.
Цель работы - повышение надежности функционирования систем с ограниченными ресурсами с реконфигурируемыми компонентами за счет обеспечения целостности данных и автоматизации процесса верификации.
Метод. Получена модель верификации систем с ограниченными ресурсами, основанная на модели верификации веб-ориентированных систем, котора |
| Кількість сторінок | С. 162-167. |