t) = 1 - [1-P c (t)] m +1 ,
де m - число резервних систем, включених паралельно основній.
У РЕА застосовується загальне (резервуються окремі модулі), і поелементне резервування на рівні мікросхем або окремих елементів. При однаковій кількості резервних елементів поелементне резервування ефективніше спільного, але вимагає великого числа додаткових електричних зв'язків.
Постійне резервування в РЕА виробляють за наступною схемою: вхідні сигнали надходять на n логічних схем, причому n> k, де k - число логічних схем у нерезервованої схемою. Вихідні сигнали всіх n логічних схем далі подають на вирішальний елемент, який згідно функції вирішення по цих сигналах визначає значення вихідних сигналів всієї схеми. Функція рішення - правило відображення вхідних станів вирішального елемента на безліч його вихідних станів.
Найпростіший і найбільш поширений вид функції рішення - В«закон більшостіВ», або мажоритарний закон. Вирішальний елемент зазвичай називають мажоритарних елементом. Робота мажоритарного елемента полягає в наступному: на входи елемента надходять виконавчі сигнали від непарної кількості ідентичних елементів; вихідний сигнал елемента приймає значення, рівне значенням, яке приймає більшість вхідних сигналів.
За способом включення резервних елементів функціональних пристроїв розрізняють три види резервування: постійне, заміщенням і ковзне.
При постійному резервуванні припускають, що будь відмовив елемент або вузол не впливає на вихідні сигнали і тому його прямого виявлення не проводиться. Постійне резервування найбільш поширене в невідновлювальних пристроях. Крім того, воно є єдино можливим в пристроях, де неприпустимий навіть короткочасний перерву в роботі.
Постійне резервування вводиться або з допомогою вирішального блоку, або у вигляді однотипних елементів або блоків, включених послідовно, паралельно або, наприклад, відповідно до законів k-кратною логіки.
В якості вирішального блоку можна використовувати мажоритарні елементи з постійними або змінними вагами, кодують - декодуючі пристрої та схеми з логічних елементів І, АБО, НЕ. p> Резервування заміщенням припускає виявлення відмовив елемента або вузла і підключення справного. Заміщення може відбуватися або автоматично, або вручну.
Резервування заміщенням має наступні гідності. Для багатьох схем при включенні резервного обладнання не потрібно додатково регулювати вихідні параметри, внаслідок того, що електричні режими в схемі не змінюються. Резервна апаратура до моменту включення в роботу знеструмлена, що підвищує загальну надійність системи за рахунок збереження ресурсу електронних пристроїв. Є можливість використання одного резервного елемента на кілька робітників.
Внаслідок складності апаратури для автоматичного включення резерву резервування заміщенням доцільно застосовувати до великих блокам та окремим функціональним частинам РЕА.
При ковзному резервуванні будь резервний елемент може заміщати будь-який основний елемент. Для здійснення цього резервування необхідно мати пристрій, який автоматично знаходить несправний елемент і підключає замість нього резервний. Гідність такого резервування в тому, що при ідеальному автоматичному пристрої буде найбільший виграш в надійності в порівнянні з іншими методами резервування. Проте здійснення ковзаючого резервування можливе лише при типовості елементів.
Інформаційні методи підвищення надійності РЕА. Основне застосування інформаційні методи знаходять в обчислювальній техніці. Реалізуються вони у вигляді коригувальних кодів. Призначення цих кодів полягає в тому, щоб виявляти і виправляти помилки в РЕА без переривання їхньої роботи.
Коригувальні коди передбачають введення в вироби деякої надмірності. Розрізняють тимчасову і просторову надмірність. Тимчасова надмірність характеризується неодноразовим рішенням завдання. Отримані результати порівнюються, і якщо вони збігаються, то робиться висновок, що задача вирішена правильно. Тимчасова надмірність вводиться в РЕА програмним шляхом.
Просторова надмірність характеризується подовженням кодів чисел, в які вводять додатково контроль ві розряди. Суть виявлення та виправлення помилок за допомогою коригувальних кодів полягає в наступному. У кінцевому багатьох А вихідних слів пристрою виділяють підмножина У дозволених кодових слів (тобто У ГЊ А). Ці слова можуть з'явитися лише в тому випадку, якщо всі арифметичні і логічні операції, що їх РЕА, здійснюються правильно. Тоді очевидно, що підмножина А - В = С (A B = С) буде характеризувати заборонені кодові слова. Останні мають місце тільки за наявності помилок.
Далі всі слова на виході пристрою аналізують. Наприклад, якщо слово b i відноситься до підмножини дозволених кодових слів (тобто b ГЊ B), то це означає, що процес йде нормально; слово b i вважають правильним і його можна декодувати. <...