Критерии оценки методов контроля механизмов выборки, хранения и дешифрации команд

Избыточность, вносимую функциональным контролем, можно под­разделить на информационную, временную и аппаратурную.

Информационная избыточность определяется как количество допол­нительных разрядов, введенных в ячейку. Временная избыточность – вве­денные в программу (микропрограмму) дополнительные команды (микро­команды), служащие только цели контроля.

Отсюда вытекают и критерии оценки методов контроля:

1. K _изб – информационная избыточность, т.е. количество дополни­тельных разрядов в ячейке.

2. t _изб – временная избыточность, определяемая как число команд (микрокоманд), дополнительно введенных в программу (микропрограмму), по отношению к числу команд (микрокоманд) в исходной программе (микропрограмме).

3. Р _обн – вероятность обнаружения ошибок (искажений) в анализи­руемых выходных сигналах объекта диагноза при однократных дефектах в рамках принятой двухуровневой модели.

4. Сложность реализации ССВК (оценивается по объему аппаратуры, реализующей ССВК).

5. Время, необходимое для обнаружения сбоя или отказа.

6. Время восстановления после сбоя.

4.3.8. Встроенный функциональный контроль механизмов хранения  и дешифрации команд

В подразд. 3.1.5 данные методы уже упоминались, однако кратко и обобщенно.

МПС можно рассматривать как систему, в которой параллельно про­текают два процесса переработки информации: выбор последовательности управляющих сигналов (задается алгоритмом управления) и преобразова­ние данных под воздействием этих сигналов. Идея обнаружения ошибок основывается на допущении, что ошибки в аппаратных средствах (памяти, регистре команд, счетчике команд, регистрах, дешифраторах) будут при­водить к искажению в последовательности выборки управляющих сигна­лов, а также к искажению хранимой и передаваемой информации.

Таким образом, возникают две задачи: функциональный контроль правильности хода программ и функциональный контроль данных. В дан­ном разделе анализируются методы контроля механизмов, влияющих на пра­вильность хода программы, а в следующем разделе исследуются методы кон­троля механизмов хранения и дешифрации данных.

Говоря о методах функционального диагностирования, основанных на проверке правильности выполнения алгоритма, следует отметить необ­ходимое условие для их применения: программа, реализующая алгоритм, не должна модифицироваться в ходе своего выполнения. В большинстве практических применений это условие выполняется.