Аннотация:В настоящее время в связи с необходимостью обеспечения повышенных характеристик радиационной стойкости и сбоеустойчивости комбинационных схем, наибольшее развитие получают методы, основанные на синтезе средств функционального контроля. Данные методы позволяют за счет внесения дополнительной структурной избыточности выполнить обнаружение, а в некоторых случаях (при необходимости) исправление ошибок. Полученные схемы функционального контроля (СФК) обладают различными характеристиками надежности, которые различаются для разных комбинационных схем, что затрудняет выбор той или иной архитектуры. В связи с этим возникает необходимость разработки системы, позволяющей автоматизировать выбор наилучшего метода для синтеза СФК. В рамках данной статьи разработана система автоматизированного проектирования схем контроля на основе методов избыточного кодирования. Данная система позволяет по заданным ограничениям на структурную избыточность и характеристики надежности провести анализ по определению наилучшего метода для синтеза СФК.