Рассматриваются методы и средства построения самопроверяемых дискретных устройств и на их основе самопроверяемых избыточных структур, обеспечивающих отказоустойчивость систем. Анализируются формальные методы построения самопроверяемых схем встроенного контроля для дискретных устройств и избыточных кодов. Приводятся типовые структуры самопроверяемых блоков ЭВМ: регистров, счетчиков, сумматоров, дешифраторов, запоминающих устройств. Для инженерно-технических работников, занимающихся разработкой ЭВМ.