Контроль работы цифрового автомата

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

• из-за погрешностей в исходных данных;

• вследствие методических погрешностей;

• из-за неисправностей в работе машины.

Третий вид ошибок является объектом для системы контроля. Решение задачи контроля возможно только при наличии определенной избыточности информации (аппаратной или информационной). Аппаратная избыточность может заключаться, например, в дублировании арифметических устройств. Логические методы могут заключаться в выполнении ”двойного счета” и последующего сравнения результатов, в проверке соотношений вычисляемых функций (sin²x+cos²x=1), в контроле результата при изменении шага вычисления и так далее. Однако эти методы направлены на выявление факта появления ошибки в вычислении, но не определяют место, где она произошла.