книги / Надежность и диагностика компонентов инфокоммуникационных и информационно-управляющих систем
..pdfРис. 20.2. Пример раскрашенной ГСА
Преобразованная программа приведена ниже:
CLR |
AX |
M1: |
MOV |
CX,2 |
MOV |
BX,1 |
M5: |
CMP |
C,4 |
CMP |
C,2 |
|
ADD |
C,4 |
JNE |
M1 |
M3: |
CMP |
C,10 |
CMP |
C,5 |
|
JNE |
M6 |
JNE |
M3 |
|
CMP |
C,2 |
CLR |
DX ; D4 |
|
CMP |
C,4 |
NOP |
; D0 |
|
JMP |
M5 |
MOV |
BX,1 |
M4: |
CMP |
AX,1 ; D1 |
CMP |
C,2 |
M6: |
CMP |
C,2 |
161
CLR |
CX ; D3 |
RET |
CMP |
C,4 |
|
JNE |
M2 |
|
INC |
BX |
|
JMP |
M4 |
|
DEC |
BX |
|
JMP |
M4 |
|
Команды, соответствующие введенным диагностическим вершинам, помечены комментарием. В качестве диагностических вершин введены команды NOP, CMP AX,1 INC DX, CLR CX, не влияющие на ход выполнения программы.
Контроль выполнения программы осуществляется следующим образом. При выборке очередной команды цвет сравнивается с эталоном. Если цвет не совпадает с эталоном, формируется сообщение об ошибке.
Метод контроля механизмов дешифрации
ихранения команд с помощью веса перехода
Вметодах, описанных ранее, каждая команда анализировалась независимо от остальных. В качестве альтернативного метода контроля можно предложить контроль механизмов дешифрации и хранения команд с помощью веса перехода.
Весом перехода W будем называть количество единиц в сумме по модулю двух соседних по ГСА команд. Под соседними будем понимать команды, соединенные на ГСА ребром.
Метод контроля заключается в следующем. В каждой команде в избыточных разрядах записывается вес перехода по отношению к предыдущей команде. Для начальной команды определяется вес перехода по отношению к нулевой комбинации.
При работе программы предыдущая команда Ki складывается по модулю два с последующей командой Kj, и вес перехода сравнивается с эталонным весом, записанным в избыточных разрядах команды Kj. Если команда Kj была выбрана неправильно или об-
162
наружен дефект механизма хранения, вес перехода будет отличаться от эталонного. Данный метод контроля также предполагает использование диагностических вершин, так как в ГСА имеются разветвления и схождения.
Вершину, в которую входят два или более направленных ребра, назовем вершиной схождения, а соответствующую ей команду по ГСА – командой схождения.
Пример 4. Для ГСА (см. рис. 20.1) вершинами схождения будут вершины А5, А7 и А2, которые обведены на преобразованной ГСА (рис. 20.3).
Рис. 20.3. ГСА, преобразованная для контроля по весу перехода
Чтобы иметь возможность записать для вершины схождения эталонный вес перехода, необходимо обеспечить одинаковый вес перехода для всех пар команд с вершиной схождения в качестве последующей команды. Для обеспечения одинакового веса пере-
163
хода у всех пар команд с вершиной схождения в качестве последующей команды вес, присущий максимальному количеству числа этих пар, принимается за общий, а в остальные пары вставляются диагностические вершины, подобранные так, чтобы обеспечить паре «диагностическая вершина – вершина схождения» общий вес. Можно ожидать, что подобрать диагностическую вершину для метода контроля по весу перехода будет труднее, чем при раскраске, так как здесь приходится иметь дело с распределением нулей и единиц в исходной команде. В общем случае выбор диагностической вершины зависит от набора команд микропроцессора и не всегда возможен.
Пример 5. На рис. 20.3 представлена преобразованная схема ГСА с введенными диагностическими вершинами. Распределения весов переходов для каждой пары команд приведены ниже:
W0_1 – 01011110 = 101
W1_2 – 01100011 = 100
W2_3 – 11111100 = 110
W3_1 – 10001101 = 100
W2_5 – 00011001 = 011
W5_8 – 10110110 = 101
W6_2 – 01101111 = 110
W2_4 – 01010010 = 011
W5_6 – 01110110 = 101
W8_2 – 10101111 = 110
W4_5 – 01001011 = 100
W6_7 – 10100110 = 100
W2_k – 10000111 = 100
W7_2 – 11001001 = 100
W3_7 – 00110101 = 100
W0 = 101
По рис. 20.3 видно, что для вершины схождения А5 в обеих парах соседней будет команда А4. Для вершины схождения А7 вес
164
перехода А3 А7 равен весу перехода А6 А7, так что в эти пары вставлять диагностическую вершину не требуется. Для вершины схождения А2 вес перехода А6 А2 равен весу перехода А8 А2, но отличается от веса перехода А7 А2, поэтому в пару А7 – А2 вставляется диагностическая вершина D, которая подбирается так, чтобы вес перехода D А2 был также равен 110.
Варианты заданий для самостоятельных и расчетных работ
Задание: реализовать указанный метод функционального контроля для ГСА, представленной на рис. 20.1. В таблице представлены варианты двоичной записи команд:
|
1 |
2 |
3 |
4 |
5 |
6 |
А1 |
10010111 |
10110111 |
10010101 |
10010111 |
10110111 |
10010011 |
А2 |
10100101 |
10100101 |
10010101 |
10101101 |
10100101 |
10100101 |
А3 |
10110010 |
10100010 |
10110010 |
10110010 |
10100010 |
10110010 |
А4 |
00110110 |
00110110 |
10110110 |
00110110 |
00110110 |
00110110 |
А5 |
01010010 |
01010010 |
01010010 |
01010010 |
01010010 |
01011010 |
А6 |
10101100 |
10100100 |
10101100 |
10100100 |
10101100 |
10101100 |
А7 |
00100101 |
00100101 |
01100101 |
00100101 |
00101101 |
00100101 |
А8 |
01011001 |
01001001 |
01011001 |
01011001 |
01011001 |
01011001 |
А9 |
00101101 |
00101101 |
00101101 |
00101101 |
00101101 |
00101001 |
Ак |
10001110 |
10101110 |
10001010 |
10101110 |
10001110 |
10001110 |
|
|
|
|
|
|
|
|
7 |
8 |
9 |
10 |
11 |
12 |
А1 |
10110111 |
10110111 |
10010101 |
10010111 |
10110111 |
10010011 |
А2 |
10100101 |
10110101 |
10010101 |
10101101 |
10100101 |
10100101 |
А3 |
10110010 |
10100010 |
10010010 |
10110010 |
10100010 |
10100010 |
А4 |
00110110 |
00110110 |
10110110 |
00111110 |
00110010 |
00110110 |
А5 |
01010010 |
01010010 |
01010010 |
01010010 |
01000010 |
01011010 |
А6 |
10101100 |
10100100 |
10101100 |
10101100 |
10101100 |
10001100 |
А7 |
00100101 |
00100101 |
01000101 |
00100101 |
00101101 |
00100101 |
А8 |
01011001 |
01001001 |
01011001 |
01011001 |
01011001 |
01011001 |
А9 |
00101101 |
00100101 |
00101101 |
00101101 |
00101101 |
00101001 |
Ак |
10101110 |
10101110 |
10001010 |
10101110 |
10001110 |
10001110 |
165
|
13 |
14 |
15 |
|
|
|
|
А1 |
10110111 |
10110111 |
10010101 |
А2 |
10100101 |
10101101 |
10010101 |
А3 |
10110010 |
10100010 |
10110010 |
А4 |
00110110 |
00110110 |
10110110 |
А5 |
01010010 |
01010010 |
01011010 |
А6 |
10101100 |
10100100 |
10101100 |
А7 |
00101101 |
00100101 |
01100101 |
А8 |
01011001 |
01011001 |
01011001 |
А9 |
00101101 |
00101101 |
00101001 |
Ак |
10001110 |
10101110 |
10001010 |
1.Раскраска по цветам, m = 2. 1-й столбец таблицы.
2.Контроль по весу перехода. 1-й столбец таблицы.
3.Раскраска по цветам, m = 3. 2-й столбец таблицы.
4.Контроль по весу перехода. 2-й столбец таблицы.
5.Раскраска по цветам, m = 4. 3-й столбец таблицы.
6.Контроль по весу перехода. 3-й столбец таблицы.
7.Раскраска по цветам, m = 2. 4-й столбец таблицы.
8.Контроль по весу перехода. 4-й столбец таблицы.
9.Раскраска по цветам, m = 3. 5-й столбец таблицы.
10.Контроль по весу перехода. 5-й столбец таблицы.
11.Раскраска по цветам, m = 4. 6-й столбец таблицы.
12.Контроль по весу перехода. 6-й столбец таблицы.
13.Раскраска по цветам, m = 2. 7-й столбец таблицы.
14.Контроль по весу перехода. 7-й столбец таблицы.
15.Раскраска по цветам, m = 3. 8-й столбец таблицы.
16.Контроль по весу перехода. 8-й столбец таблицы.
17.Раскраска по цветам, m = 4. 9-й столбец таблицы.
18.Контроль по весу перехода. 9-й столбец таблицы.
19.Раскраска по цветам, m = 2. 10-й столбец таблицы.
20.Контроль по весу перехода. 10-й столбец таблицы.
21.Раскраска по цветам, m = 3. 11-й столбец таблицы.
166
22.Контроль по весу перехода. 11-й столбец таблицы.
23.Раскраска по цветам, m = 4. 12-й столбец таблицы.
24.Контроль по весу перехода. 12-й столбец таблицы.
25.Раскраска по цветам, m = 2. 13-й столбец таблицы.
26.Контроль по весу перехода. 13-й столбец таблицы.
27.Раскраска по цветам, m = 3. 14-й столбец таблицы.
28.Контроль по весу перехода. 14-й столбец таблицы.
29.Раскраска по цветам, m = 4. 15-й столбец таблицы.
30.Контроль по весу перехода. 15-й столбец таблицы.
167
СПИСОК ЛИТЕРАТУРЫ
1.Вентцель Е.С. Теория вероятностей. – М.: КноРус, 2010. –
664 с.
2.Кон Е.Л., Кулагина М.М. Надежность и диагностика компонентов инфокоммуникационных и информационно-управляющих систем: учеб. пособие. – Пермь: Изд-во Перм. нац. исслед. политехн.
ун-та, 2012. – 394 с.
3.Гончаровский О.В., Кон Е.Л. Проектирование диагностических и отладочных стендов при производстве аппаратуры связи. Тестовое диагностирование и контролепригодное проектирование цифровых устройств: учеб. пособие / Перм. гос. техн. ун-т. –
Пермь, 2005. – 73 с.
168
|
ПРИЛОЖЕНИЕ 1 |
Интенсивность отказов компонентов ИУС |
|
|
|
Компонент |
Интенсивность отказов, 1/с |
БИС (биполярная технология) |
10-–5 |
БИС (КМОП-технология) |
10–6 |
ИС |
10–7 |
Диод |
0,5∙10–6 |
Транзистор |
0,4∙10–6 |
Конденсатор |
0,2∙10–7 |
Резистор |
0,5∙10–7 |
Трансформатор |
0,2∙10–6 |
Пайка |
0,1∙10–9 |
Разъем |
0,3∙10–5 |
Сердечник |
0,1∙10–10 |
Выключатель |
0,3∙10–6 |
Лампочка |
0,5∙10–6 |
Вентилятор |
0,3∙10–5 |
Внешняя память |
0,25∙10–3 |
Контроллер |
0,15∙10–4 |
Принтер |
0,4∙10–3 |
169
ПРИЛОЖЕНИЕ 2
Таблица значений нормированной функции нормального распределения
x |
(x) |
∆ |
x |
(x) |
∆ |
x |
(x) |
∆ |
–0,00 |
0,5000 |
40 |
–0,30 |
0,3821 |
38 |
–0,60 |
0,2743 |
34 |
–0,01 |
4960 |
40 |
–0,31 |
3783 |
38 |
–0,61 |
2709 |
33 |
–0,02 |
4920 |
40 |
–0,32 |
3745 |
38 |
–0,62 |
2676 |
33 |
–0,03 |
4880 |
40 |
–0,33 |
3707 |
38 |
–0,63 |
2643 |
32 |
–0,04 |
4840 |
39 |
–0,34 |
3669 |
37 |
–0,64 |
2611 |
33 |
–0,05 |
4801 |
40 |
–0,35 |
3632 |
38 |
–0,65 |
2578 |
32 |
–0,06 |
4761 |
40 |
–0,36 |
3594 |
37 |
–0,66 |
2546 |
32 |
–0,07 |
4721 |
40 |
–0,37 |
3557 |
37 |
–0,67 |
2514 |
31 |
–0,08 |
4681 |
40 |
–0,38 |
3520 |
37 |
–0,68 |
2483 |
32 |
–0,09 |
4641 |
39 |
–0,39 |
3483 |
37 |
–0,69 |
2451 |
31 |
–0,10 |
0,4602 |
40 |
–0,40 |
0,3446 |
37 |
–0,70 |
0,2420 |
31 |
–0,11 |
4562 |
40 |
–0,41 |
3409 |
37 |
–0,71 |
2389 |
31 |
–0,12 |
4522 |
39 |
–0,42 |
3372 |
36 |
–0,72 |
2358 |
31 |
–0,13 |
4483 |
40 |
–0,43 |
3336 |
36 |
–0,73 |
2327 |
30 |
–0,14 |
4443 |
39 |
–0,44 |
3300 |
36 |
–0,74 |
2297 |
31 |
–0,15 |
4404 |
40 |
–0,45 |
3264 |
36 |
–0,75 |
2266 |
30 |
–0,16 |
4364 |
39 |
–0,46 |
3228 |
36 |
–0,76 |
2236 |
30 |
–0,17 |
4325 |
39 |
–0,47 |
3192 |
36 |
–0,77 |
2206 |
29 |
–0,18 |
4286 |
39 |
–0,48 |
3156 |
35 |
–0,78 |
2177 |
29 |
–0,19 |
4247 |
40 |
–0,49 |
3121 |
36 |
–0,79 |
2148 |
29 |
–0,20 |
0,4207 |
39 |
–0,50 |
0,3085 |
35 |
–0,80 |
0,2119 |
29 |
–0,21 |
4168 |
39 |
–0,51 |
3050 |
35 |
–0,81 |
2090 |
29 |
–0,22 |
4129 |
39 |
–0,52 |
3015 |
34 |
–0,82 |
2061 |
28 |
–0,23 |
4090 |
38 |
–0,53 |
2981 |
35 |
–0,83 |
2033 |
28 |
–0,24 |
4052 |
39 |
–0,54 |
2946 |
34 |
–0,84 |
2005 |
28 |
–0,25 |
4013 |
39 |
–0,55 |
2912 |
35 |
–0,85 |
1977 |
28 |
–0,26 |
3974 |
38 |
–0,56 |
2877 |
34 |
–0,86 |
1949 |
27 |
–0,27 |
3936 |
39 |
–0,57 |
2843 |
33 |
–0,87 |
1922 |
28 |
–0,28 |
3897 |
38 |
–0,58 |
2810 |
34 |
–0,88 |
1894 |
27 |
–0,29 |
3859 |
38 |
–0,59 |
2776 |
33 |
–0,89 |
1867 |
26 |
–0,90 |
0,1841 |
27 |
–1,30 |
0,0968 |
17 |
–1,70 |
0,0446 |
10 |
–0,91 |
1814 |
26 |
–1,31 |
0951 |
17 |
–1,71 |
0436 |
9 |
–0,92 |
1788 |
26 |
–1,32 |
0934 |
16 |
–1,72 |
0427 |
9 |
–0,93 |
1762 |
26 |
–1,33 |
0918 |
17 |
–1,73 |
0418 |
9 |
–0,94 |
1736 |
25 |
–1,34 |
0901 |
16 |
–1,74 |
0409 |
8 |
170