В статье введено понятие модулей системного обмена (МСО) микропроцессорных вычислительных комплексов. Предложена формальная модель МСО, на основе которой разработан метод динамической верификации МСО с применением функциональных эталонных моделей уровня транзакций. Обоснована архитектура тестовой си...