В статье рассмотрены особенности автономной верификации микропроцессоров. Предложена классификация модулей микропроцессоров с точки зрения их функциональной верификации. Обозначены два основных подхода к автономной верификации в зависимости от принадлежности верифицируемого модуля к одному из подклассов. Предложены и обоснованы архитектуры тестовых систем на основе потактовых и функциональных эталонных моделей. Описан опыт практического применения предлагаемой методики.
АВТОНОМНАЯ ВЕРИФИКАЦИЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ РАЗНОГО УРОВНЯ АБСТРАКЦИИ Шмелёв В.А., Стотланд И.А. Всероссийская научно-техническая конференция "Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС)". Сборник трудов. 2012. № 1. С. 435-440.

В статье рассматриваются методы реализации web-приложения для информационно-исследовательской системы (ИИС) «Шлаковые расплавы». Описаны основные технологии среды Apache Cocoon для разработки web-приложений и способы их применения в ИИС «Шлаковые расплавы».
Григорьева М.А., Воронова Л.И. Реализация web-приложения для ИИС «Шлаковые расплавы» // Международный журнал "Программные продукты и системы", № 1 за 2010 год , с.109-112