Контроль автоматов с памятью, страница 2

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

Далее по полученным значениям t₁ и t₂ выбираются линейные групповые коды состояний и выходов автомата с соответствующими обнаруживающими способностями.

К построенному таким образом автомату добавляют СОО. Таких схем может быть две: СОО₁ — присоединяется к выходам элементов памяти автомата и фиксирует искажения информации в векторах его кода состояний; СОО₂ — присоединяется к выходным-каналам автомата и фиксирует искажения информации в векторах его кода выходов.

Можно использовать только одну схему обнаружения ошибок, а именно, СОО₂. В этом случае булевы функции выходов автомата должны строиться с учетом ряда особенностей. Как следует из рассмотренного выше подхода к построению автомата с контролем, любая ошибка в векторе состояния. автомата кратности, не превышающей  t₁ переводит его в состояние, отстоящее от правильного на расстоянии в смысле Хэмминга d  £  t₁,. Если обеспечить в каждом из таких состояний (например, в случае автомата Мура) выдачу выходного сигнала, не принадлежащего коду выходов автомата, то схемой СОО₂, такую ошибку можно обнаружить, так как СОО₂ настроена на фиксацию только векторов кода выходов автомата.

Например, автомат Мура задан таблицей переходов — выходов (табл. 22.1). Синтезируем структурный автомат с обнаружением неисправностей одного элемента схемы автомата. В качестве элементов памяти используем D-триггеры. Для простоты будем полагать, что точки ветвления в комбинационных схемах автомата отсутствуют, т. е. булевы функции возбуждения и выходов автомата реализованы раздельно.

      Таблица 22.1