56 Самопроверяемые устройства и отказоустойчивые системы. — М.: Радио и связь, 1989. — 208 с.: ил.
ISBN 5-256-00308-9.
Рассматриваются методы и средства построения самопроверяемых дискретных устройств и на их основе самопроверяемых избыточных структур, обеспечивающих отказоустойчивость систем. Анализируются формальные методы построения самопроверяемых схем встроенного контроля для дискретных устройств и избыточных кодов. Приводятся типовые структуры самопро-веряемых блоков ЭВМ: регистров, счетчиков, сумматоров, дешифраторов, запоминающих устройств.
Для, инженерно-технических работников, занимающихся разработкой
ВВЕДЕНИЕ
Проблема обеспечения надежного функционирования сложных вычислительных систем приобретает в настоящее время первостепенное значение. Это объясняется увеличением парка вычислительных машин, расширением сферы их применения и важностью решаемых с их помощью задач. Кроме того, расширяются области применения ЭВМ, в которых техническое обслуживание затруднено либо совсем исключено, и поэтому обеспечение их правильного функционирования при наличии неисправностей является главным и обязательным требованием.
Одним из эффективных и перспективных путей достижения высоких показателей надежности вычислительных систем является их построение на базе использования самопроверяемых средств функционального диагностирования.
Разработанные к настоящему времени методы обеспечения самопроверяемости функциональных блоков цифровой техники позволяют поставить более общую задачу — проектирование самопроверяемых вычислительных модулей, ЭВМ и сетей.
Самопроверяемость на этом уровне аппаратуры есть свойства обнаруживать неисправности как в основной аппаратуре так и во встроенной аппаратуре контроля в процессе нормального функционирования, т. е. без прогонки специальных тестов или имитации неисправных состояний. Использование самопроверяемых схем встроенного контроля (ССВК) позволяет избежать проблемы «сторожа над сторожем» и свести в идеале некотролируемое ядро системы к нулю.
Следует подчеркнуть отличие самопроверяемой ЭВМ от ЭВМ, подвергающейся периодическому тестовому диагностированию с целью проверки ее исправности. Для контроля самопроверяемой ЭВМ не требуется временной избыточности и диагностического программного обеспечения, связанного с организацией прерываний для подачи тестовых воздействий и анализа результатов. При этом объем аппаратуры «ядра», исправность которой должна быть гарантирована перед проверкой ЭВМ, весьма мал. БИС и СБИС, в частности микропроцессоры, входящие в состав ЭВМ^„ зачастую ставят перед тестовым контролем практически трудно* разрешимую задачу генерации тестов для них, моделирования и анализа полноты обнаружения неисправностей, Эти трудности возникают из-за очень большой размерности задачи. Самбпррве-
ОГЛАВЛЕНИЕ
Введение .................. 3
Глав а 1.
Функциональное диагностирование устройств и систем..... 7
1.1. Общие сведения о функциональном диагностировании..... 7
1.2. Общий метод синтеза средств встроенного контроля для дискретных устройств ................. 9
Глава 2.
Самопроверяемые дискретные устройства и схемы встроенного контроля 18
2.1. Формулировка задачи синтеза самопроверяемых схем встроенного контроля................. 18
2.2. Структурные методы построения самопроверяемых схем встроенного контроля для дискретных устройств.......... 25
2.3. Метод построения одновыходных самопроверяемых схем встроенного контроля для дискретных устройств.......... 47
2.4. Использование схем встроенного контроля для обнаружения ошибок проектирования ............... 57
2.5. Типовые самопроверяемые вычислительные модули вычислительных устройств................. 67
Глава 3.
Самопроверяемые схемы встроенного контроля для избыточных кодов . 75
3.1. Основные определения............. 75
3.2. Самопроверяемые схемы встроенного контроля для разделимых кодов 75
3.3. Самопроверяемые схемы встроенного контроля для неразделимых кодов.................. 94
Глава 4.
Самопроверяемые программируемые логические матрицы..... 115
4.1. Структура и виды неисправностей ПЛМ........ 115
4.2. Самопроверяемые схемы встроенного контроля на основе ПЛМ . . 117
4.3. Самопроверяемый контроль ПЛМ.......... 120
4.4. Тестирование ПЛМ со встроенным контролем....... 123
4.5. Блок микропрограммного управления с самопроверяемыми схемами встроенного контроля .............. 125
Глава 5.
Отказоустойчивые избыточные структуры и системы...... 131
5.1. Мажоритарные избыточные структуры (троированные и JV-ированные) 132
5.2. Избыточные структуры с пороговой схемой контроля..... 133
5.3. Избыточные структуры со схемами полного попарного сравнения . . 135
5.4. Самопроверяемые избыточные структуры........ 138
5.5. Гибридные самопроверяемые избыточные структуры..... 139
5.6. yV-ированные самопроверяемые избыточные структуры .... 149
5.7. Отказоустойчивые системы............ 168
Заключение................. 202
Список литературы............... 204
Цена: 150руб.
