Введение
ГЛАВА 1. Анализ существующих методов и средств обеспечения отказоустойчивости ссс. постановка задачи исследования 14
1.1 Анализ объекта исследования – самосинхронных схем 14
1.1.1 Анализ и классификация самосинхронных схем 15
1.1.2 Оценка особенностей самосинхронных элементов и устройств 20
1.2 Анализ существующих методов обеспечения отказоустойчивости самосинхронных устройств 22
1.2.1 Анализ методов и средств обеспечения активной отказоустойчивости самосинхронных устройств 22
1.2.2 Анализ методов и средств резервирования самосинхронных схем 28
1.2.3 Анализ методов и средств обеспечения пассивной отказоустойчивости на основе применения элементов с избыточным базисом
1.3 Постановка задачи исследования 40
1.4 Выводы по главе 1 41
ГЛАВА 2. Исследование моделей и алгоритмов синтеза отказоустойчивых ССС на основе ТЭ 42
2.1 Разработка модели базисного элемента комбинационных ссс на основе толерантных элементов 42
2.2 Разработка алгоритма синтеза комбинационных ссс в базисе толерантных элементов 53
2.3 Анализ сложности ссспо в базисе тэ 60
2.4 Выводы по главе 2 64
ГЛАВА 3. Разработка методики комбинированного резервирования ссс на основе формальной системы вывода 65
3.1 Разработка модели пассивно отказоустойчивых ССС 66
3.2 Анализ методов обеспечения пассивной отказоустойчивости в ССС
3.2.1 Анализ сложности, вероятности безотказной работы, энергопотребления и быстродействия СССПО 75
3.2.2 Анализ методов обеспечения пассивной отказоустойчивости ССС на основе комплексного показателя – энергозатраты/надежность
3.3 Разработка формальной системы вывода для декомпозиции ССС с целью обеспечения пассивной отказоустойчивости 88
3.4 Разработка методики комбинированного резервирования ССС 98
3.5 Выводы по главе 3 104
ГЛАВА 4. Оценка эффективности и моделирование отказоустойчивых ССС 105
4.1 Моделирование комбинационных ссспо, разработанных с применением алгоритма синтеза в базисе тэ 105
4.2 Моделирование ссспо с памятью, разработанных на основе комбинированного резервирования 111
4.3 Разработка вариантов реализации отказоустойчивого последовательно-параллельного порта самосинхронного микроядра 114
4.3.1 Реализация последовательно-параллельного порта самосинхронного микроядра с активной отказоустойчивостью 114
4.3.1 Реализация последовательно-параллельного порта самосинхронного микроядра с пассивной отказоустойчивостью 120
4.4 Выводы по главе 4 124
Заключение 125
Список использованных источников 127
