Например, Бобцов

СИНТЕЗ САМОПРОВЕРЯЕМЫХ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПОЛНОЙ СИСТЕМЫ ОСОБЫХ ГРУПП ВЫХОДОВ ОБЪЕКТА ДИАГНОСТИРОВАНИЯ

Аннотация:

Обсуждаются особенности синтеза схем встроенного контроля устройств автоматики и вычислительной техники при известной структуре объекта диагностирования. Представлено полное множество особых групп выходов, которые характеризуются каким-либо диагностическим параметром. Выделение особых групп выходов позволяет осуществлять выбор кода для построения схемы встроенного контроля с учетом возможностей обнаружения ошибок конкретной кратностью и определенного вида. Представлен способ построения схемы встроенного контроля, подразумевающий анализ всех подмножеств выходов объекта диагностирования, классификацию их по принадлежности к какой-либо особой группе выходов, а также последующее покрытие всех выходов особыми группами с выбором наилучшего по критерию структурной избыточности способа покрытия с указанием конкретных кодов для контроля вычислений. Предложенный способ в ряде случаев может быть эффективен при организации схем встроенного контроля и позволяет синтезировать самопроверяемое устройство даже в случае, когда этого невозможно добиться применением метода дублирования.

Ключевые слова:

Постоянный URL

Статьи в номере

Содержание © 1993–2024 Университет ИТМО
Разработка © 2015 Университет ИТМО