Устройство для контроля цифровых объектов

 

(u>951313

ОП ИСАНИЕ

ИЗОБРЕТЕНИЯ

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ

Союз Соеетскик

Социапистическик

Республик (61) Дополнительное к авт. саид-ву (22) Заявлено 01.12.80 (2i) 3211321/18-24 с присоединением заявки ¹ (23) Приоритет

Опубликовано 15,0 8 82. Бюллетень ¹ 30

Дата опубликован я описания 15.08.82

f51) M Кп з

G 06 F 11/10

Государственный комитет

СССР ио деяам изобретений и открытий

1531УДК 681.3 (088. 8) В.В.Данилов, Ф.В,Филиппов и Г.Б.Соловей

1 (72) Авторы изобретения (71) Заявитель (84) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ ЦИФРОВЫХ ОБЪЕКТОВ

Изобретение относится к вычислительной технике, в частности к вычислительным системам, системам передачи и обработки дискретной информации, и может быть использовано для опера:-тинной встроенной проверки испранности систем при обеспечении самопроверяемости устройства обнаружения дефектов.

Известно самопроверяемое устройство обнаружения дефектов для проверки цифровых систем с данными, кодированными кодом "к-из-п", состоящее иэ двух независимых логических схем на элементах И-ИЛИ (или ИЛИ-И), каждая из которых имеет по одному выходу; на которых формируются взаимодействующие сигналы. Эти два выхода принимают значения 01 (или 10) в случае когда в контролируемой системе дефекты отсутствуют, и 00 (или 11), в противном случае это устройство выполнено таким образом, что на входах каждого логического элемента в процессе нормального функционирования контролируемой (основной) системы и блока кодирования образуется проверяющий тест. Тем самым обеспечивается необходимое условие самопроверки (самотестируемости) устройства. Наэначение блока кодирования состоит в том, чтобы для любого фиксированного дефекта в основной системе (или блоке кодирования) генерировать по крайней мере один код, который является тестовым воздействием для данного дефекта, т.е. в случае подачи на вход устройства обнаружения дефектов этого кода оно выдает значение, отличное от значения выдаваемого при отсутствии данного дефекта 11j.

Недостатком известного устройства является то, что для его синтеза требуется специальный блок кодирования, синтез которого весьма трудоемок, а также малая достоверность контроля, обусловленная, во-первых, тем, что смена значений сигналов

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

951313 формирующих значения 01 (10), образуется не полный проверяющий тост, позволяющий обнаруживать дефекты произвольной кратности, а рассчитанный лишь на обнаружение однократных дефектов. 5

Известно также устройство для обнаружения дефектов в цифровых автоматах, содержащее основной и конт.рольный блоки, на входы которых поступают рабочие входные воздействия, 10 а группы выходов этих блоков соединены с блоком сравнения сигналов, в состав которого входит группа сумматора по mod 2 и элемент ИЛИ, причем сравниваемые выходы попарно подают- 15 ся на входы соответствующих сумма,торов по вой 2, выход каждого из которых соединен с одним.из входов элемента ИЛИ. Контрольный блок реализуется таким образом, что на его выходах формируются сигналы, которые при отсутствии дефектов совпадают с выходными сигналами основного блока. В простейшем случае в качестве контрольного блока может быть использован блок, идентичный основному. Использование подобного устройства не требует специального кодирования (например, кодом "к-из-n") и исключает трудоемкий синтез блока кодирования. В случае отсутствия дефектов на нходах каждого из сумматоров по mod 2 формируется пара сигналов

00 (или 11), при этом элемент HJIH формирует на выходе сигнал = О, соответствующий исправному состоянию З5 основного и контрольного блока. При наличии дефекта в основном или контрольном блоке на выходах одного или нескольких сумматоров образуется пара сигналов 01 (или 10), которые 40 формируют значение 1 на выходе одного (или нескольких) сумматоров по вой 2.

Данная единица через элемент ИЛИ формирует сигнал = 1, указывающий о наличии дефекта (2} . 45

Недостатком известного устройства является низкая достоверность контроля в связи с тем, что он не позволяет обнаруживать однократные дефекты, выражающиеся в фиксации в "0" или 50 или "1" входов и выходов сумматоров по вой 2 и элемента ИЛИ.

Цель изобретения — повышение достоверности контроля без применения специального кодирования.

Поставленная цель достигается тем, что в устройство для контроля цифровых объектов, содержащее первую группу сумматорон по модулю два и элемент ИЛИ, причем информационные входы устройства соединены с выходами 60 основного и вспомогательного контролируемых цифровых объектов, выходы основного контролируемого цифрового объекта соединены с первой группой входов сумматорон по модулю два пер- 65 вой группы, выход элемента ИЛИ является первым выходом устройства, оно содержит генератор ортогональных функций, элемент И и вторую группу сумматоров по модулю два, причем информационные входы первой группы генератора ортогональных функций соединены с вторыми входами соответствующих сумматоров по модулю два первой группы, выходы сумматоров по модулю два первой группы соединены с первыми входами соответствующих сумматоров по модулю два второй группы, выходы вспомогательного контролируемого цифрового объекта соединены с вторыми входами соответствующих сумматоров по модулю два второй группы, выходы сумматоров по модулю два второй группы соединены с соот— ветствующими входами элемента ИЛИ, вторая группа выходов генератора ортогональных функций соединена с входами элемента И, выход которого является вторым выходом устройства, вход генератора ортогональных функций является синхровходом устройства, входом блока сравнения; Генератор ортогональных функций (например, Радемахера) состоит из делителя частоты с числом разрядов, равным числу сравниваемых выходов основного и вспомогательного цифровых объектов.

На фиг. 1 представлено устройство для контроля цифровых объектов, на фиг. 2 — временные диаграммы работы устройства для случая контроля с тремя контролируемыми выходами °

Устройство для контроля цифровых объектов (фиг.1) содержит основной

1 и контрольный 2 цифровые объекты генератор 3 ортогональных функций, элемент ИЛИ 4 элемент И 5. Сумматоры б по mod 2 образуют первую группу сумматоров по mod 2, входами которых являются соответствующие выходы основного цифрового объекта 1 и инверсные выходы генератора 3 ортогональных функций. Сумматоры 7 по mod 2 образуют вторую группу сумматоров по вой 2, входами которых являются выходы сумматоров б по mod 2 первой группы и выходы вспомогательного цифрового объекта 2. Входами элемента ИЛИ 4 являются выходы сумматоров

7 по mod 2 второй группы, а его выход является первым выходом устройства, Генератор 3 ортогональных функций состоит из группы последовательно соединенных счетных триггеров

8.1-8.п и является делителем частоты с числом разрядов, равным числу контролируемых выходов основного цифрового объекта 1. Вход генератора 3 ортогональных функций соединен с выходом синхронизации основного цифрового объекта 1. Сигналы, снимаемые с прямых выхоДов разрядов, являются

951313 входами элемента И 5, выход которого является вторым выходом устройства.

Рассмотрим обеспечение самопроверяемости устройства на примере работы схемы по фиг.1. Поскольку соответствующие сравниваемые выходные сигналы х (i = 1,2,...,n) блока 1 могут принимать два значения О и 1 в процессе нормального функционирования этого блока, то на первых входах сумматоров б первой группы могут возникать сигналы как О, так и 1.

На вторых входах сумматоров б сигналы О и 1 формируются по закону Е

Радемахера ) i 1,"...,,п). Тем самым на входах каждого сумматора б первой группы при нормальной рабо- 15 те основного блока 1 образуется полный проверяющий тест для сумматора по mod 2, т.е. пары значений 0,0, 0,1, 1,0 и 1,1. При этом, на выходе каждого сумматора б первой группы ур формируются значения как О, так и 1, которые поступают на вторые входы соответствующих сумматоров 7 второй группы сумматоров. Так, как на первый вход каждого сумматора 7 подается соответствующий выходной сигнал

x« (i = 1,2,...,n) блока 2, который также может принимать два значения

О и 1 в процессе нормального функционирования этого блока, то на входах каждого сумматора 7 также образуются полный проверяющий тест для сумматора по mod 2, т.е. пары значений 0,0;

0,1; 1,0 и 1,1. Поскольку при отсутствии дефектов сигналы х и x „.(i

1,2,...,n) совпадают, то на выходе сумматора 7 по пгой 2 второй группы формируется значение К (i = 1,2,...

n) и, в силу ортогональности функций (1 = 1,2,...,п), на входах элемента ИЛИ 8 также формируется полный 40 проверяющий тест, а на первом выходе формируется сигнал f< = .7 Р; . Таким образом, необходимое условие самопроверяемости первой и,;второй групп сумматоров по модулю два обеспечено — 4 на входах каждого логического элемента, входящего в состав этого блока, в процессе нормального функционирования блока 1 и 2, образуется полный проверяющий тест. Как видно из фиг.2, на втором выходе устройства формируется сигнал Es. = 3 R. Сравнивая сигналы Е„= Я„ „и Я = .л R., Убеждаемся, что они являются парафазными, т.е. достаточное условие самопроверяемости устройства изображенного на фиг.. 1 также обеспечено.

Рассмотрим особенности обнаружения дефектов предлагаемым устройством на примере цифровой системы с тремя контролируемыми выходами п = 3. На gp фиг. 2 приведены временные диаграммы, поясняющие работу устройства при

n = 3, где для определенности частота сигнала синхронизации, поступающе:го на первый разряд генератора 3 ортогональных функций, принята равной частоте изменения значений сигналов на выходе блоков 1 и 2. На диаграммах Згх, 3 d и 3 В изображены сигналы, снимаемые с инверсного выхода первого, второго и третьего разряда генератора 3 ортогональных функциЯ соответственно т.е. функций Радема хера Ri, R и R> ° На диагра е 3z. изображен сигнал =.Л гг„- = р„лЦ л R а на диаграмме Зг — сйгнал ., = У., Д„

= g „- = g„y g, y К 3, который парафазей,, диагpate4ax 3е 3

3 „ и 3„, изображены сигналй на"выходе,г при наличии следующих дефектов, искажающих значение сигналов на выходах основного блока 1 (или блока 2)г Зе — искажен сигнал на выходе х., (или x<<), 3,„ — на выходе х (или х„ ), 3 — на выходах x„, х (йли х„, х qq) 3„- на выходе х (или хк ), Зк — на выходах х,, х (или хк„, х „ ), 3„— искажен сигнал на выходах х,, х (или х„,, хауз), 3 г — на выходах х, х, х (или хг г х кт х y) K@K ВЙДНО из этОГО примера, устройство обнаруживает дефекты любой кратности (фиксацию значений О или 1 в произвольном числе точек) . Более того, в силу ортогональности функций, используемых для

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

4 =Ь)

Предлагаемое устройство обнаружения дефектов в цифровых системах по сравнению с прототипом характеризуется высокой достоверностью обнаружения дефектов, т.е. гарантирует, что любой дефект будет обнаружен и что при отсутствии дефектов в системе не будет выдан сигнал, указывающий на наличие дефекта. Эти качества позволяют использовать данное УОД для систем, предназначенных для выполнения ответственных задач, где необнаружение существующего дефекта, либо ложное обнаружение несуществукхцего дефекта, может привести к серьезным последствиям.

Формула изобретения

Устройство для контроля цифровых объектов, содержащее первую группу сумматоров по модулю два и элемент

951313

oui. 1

ИЛИ, причем информационные входы устройства соединены с выходами ос«« новного и вспомогательного контролируемых цифровых объектов, выходы основного контролируемого цифрового объекта соединены с первой группой входов сумматоров по Модулю два первой группы, выход элемента ИЛИ явля ется первым выходом устройства, о тл и ч а ю щ е е с я тем, что, с целью повышения достоверности контроля, устройство содержит генератор ортогональных функций, элемент И и вторую группу сумматоров по модулю два, причем информациониые выходы первой группы генератора ортогональных функций соединены с вторыми входами соответствующих сумматоров по модулю два первой группы, выходы сумматоров по модулю два первой группы соединены с первыми входами соответствующих сумматоров по модулю два второй группы, выходы вспомогательного контролируемого цифрового объекта соединены с вторыми входами соответствующих сумматоров по модулю два второй группы, выходы сумматоров по модулю два второй группы соединены с соответствующими входами элемента ИЛИ, вторая группа выходов генератора ортогональных функций соединена с входами элемента И, вы10 ход которого является вторым выходом устройства, вход генератора ортогональных функций является синхровходом устройства.

Источники информации, принятые во внимание при экспертиэе

1. Патент США 9 3559163, кл G 08 С 25/00, опублик. 1971.

2. Контроль функционирования больших систем. Под ред. Г,П.Шибанова. М., "Машиностроение", 1977, с. 109-111 (прототип) .

951313

Составитель И.Сигалов

Техред Э. Палий Корректор О.Билак

Редактор К.Волощук

Филиал ППП "Патент", г, Ужгород, ул. Проектная, 4

Заказ 5951/56 Тираж 731 Подписное

ВНИИПИ Государственного комитета СССР по делам изобретений и открытий

113035, Москва, Ж-35, Раушская наб., д. 4/5