Критерии оценки методов контроля механизмов выборки, хранения и дешифрации команд
Избыточность, вносимую функциональным контролем, можно подразделить на информационную, временную и аппаратурную.
Информационная избыточность определяется как количество дополнительных разрядов, введенных в ячейку. Временная избыточность – введенные в программу (микропрограмму) дополнительные команды (микрокоманды), служащие только цели контроля.
Отсюда вытекают и критерии оценки методов контроля:
1. Kизб – информационная избыточность, т.е. количество дополнительных разрядов в ячейке.
2. tизб – временная избыточность, определяемая как число команд (микрокоманд), дополнительно введенных в программу (микропрограмму), по отношению к числу команд (микрокоманд) в исходной программе (микропрограмме).
3. Робн – вероятность обнаружения ошибок (искажений) в анализируемых выходных сигналах объекта диагноза при однократных дефектах в рамках принятой двухуровневой модели.
4. Сложность реализации ССВК (оценивается по объему аппаратуры, реализующей ССВК).
5. Время, необходимое для обнаружения сбоя или отказа.
6. Время восстановления после сбоя.
4.3.8. Встроенный функциональный контроль механизмов хранения и дешифрации команд
В подразд. 3.1.5 данные методы уже упоминались, однако кратко и обобщенно.
МПС можно рассматривать как систему, в которой параллельно протекают два процесса переработки информации: выбор последовательности управляющих сигналов (задается алгоритмом управления) и преобразование данных под воздействием этих сигналов. Идея обнаружения ошибок основывается на допущении, что ошибки в аппаратных средствах (памяти, регистре команд, счетчике команд, регистрах, дешифраторах) будут приводить к искажению в последовательности выборки управляющих сигналов, а также к искажению хранимой и передаваемой информации.
Таким образом, возникают две задачи: функциональный контроль правильности хода программ и функциональный контроль данных. В данном разделе анализируются методы контроля механизмов, влияющих на правильность хода программы, а в следующем разделе исследуются методы контроля механизмов хранения и дешифрации данных.
Говоря о методах функционального диагностирования, основанных на проверке правильности выполнения алгоритма, следует отметить необходимое условие для их применения: программа, реализующая алгоритм, не должна модифицироваться в ходе своего выполнения. В большинстве практических применений это условие выполняется.