40. Jornson J., Kinnie G., MaerM. Tripple-biis architecture: spase-

board microcomputers CPU operate at full speed while other system components shave the main memory.- Electronic Design, 1978, vol. 26, N 15, p. 231-236.

41. Fujiwara H., Kinoshita K- Connections assignments for probabilistically diagnosable systems.- IEEE Trans, 1978. vol. C-27, N3, p. 280-283.

42. Fujiwara H., Kinoshita K. Some Existence theorems for probabilistically diagnosable systems.- IEEE Trans., 1978. v. C-27, N 4, p. 379-384.

43. Grandoni P., u, a. The MuTEAM system: general guidelines.- Proceedings of the FTCS -11, 1981, p. 15-16.

44. Hakimi C. L., Amin A. T. Characterization of connection assignment of diagnosable systems.- IEEE Trans., 1974, vol. C-23, N 1, p. 86-88.

45. Hlavicka J. Design of a self-diagnosable module system.- Proceeding of the FTCS-11, 1981, p. 106-108.

46. Kanieda Т., Toida J., Allan J. A diagnosing algorithm for network.- Information and Control, 1975, vol. C-29, N 1, p. 141 - 148.

47. Kawakubo K., Nakamura I., Okumura I. The architecture of a fail-safe and fault-tolerant computer for railway signalling device. Proceeding of the FTCS-10, 1980, 372-373.

48. Kime C. K- An abstract model for digital system fault diagnosis.- IEEE Trans, 1980, vol. C-28, N 8, p. 754-767.

49. IMakam S. V., Avizienis A. Modeling and analysis of periodically renewed closed fault-tolerant systems.- Proceedings of the FTCS«-11, 1981, p. 134-141.

50. Mine H., Hatayama K. Performance evaluation of faulttole-rant computing system. Proceedings of the FTCS-9, 1979, n. 59-62.

51. Preparato F. P., Metze G., Chien R. J. On the connection assignment problem at diagnosable systems.- IEEE Trans., 1967, vol. EC 16, N 6, p. 848-854.

52. Russel J., Kime C. System fault diagnosability without repair.- IEEE Trans., 1975, vol. C-24, N 11, p. 1078-1089.

53. Sak D. S., Reddy S. M. An algorithm to detect a class of pattern sensitive fanlts in semicanductor random access memories.- Proceedings of the FTCS. -9, 1979, p. 219-226.

54. Sauer A. M., Schmitter E.J. The fault-tolerant microcomputer system BFS.- Proceedings of the FTCS-11, 1981, p. 252 c.

55. Smith J. E. Universal systems diagnosis algorithms.- IEEE Trans., 1979, vol. C-28, N 5, p. 374-378.

56. Sridhar Т., Hayes J. P. A functional approach to testing bit - sliced microprocessors.-IEEE. Trans., 1981, vol. C-30, №8, p. 563- 571.

57. Thevenod-Fosse P., David K- Random testing of the data processing section of a microprocessor.- Proceedings of the FTCS-11, 1981, p. 275-280.

58. Yajima S., Aramaki T. Autonomously testable programmable logic arrays. - Proceedings of the FTCS-11, 1981, p. 41-43.

Стр.

Предисловие..................3

Глава 1. Архитектуры отказоустойчивых систем......5

1. Обеспечение отказоустойчивости систем........5

2. Архитектуры многомашинных систем.........12

3. Отказоустойчивые системы иа основе микропроцессоров и БИС 23

ГЛАВА 2. Модели диагностирования неисправностей.....33

1. Модели выявления отказов............ 33

2. Диагностирование без восстановления........ 38

3. Диагностирование с восстановлением........ 41

4. Обеспечение отказоустойчивости при неоднозначном определении неисправностей ........ 43

5. Вероятностные модели............. 47

6. Выбор моделей взаимоконтроля.......... 50

ГЛАВА 3. Анализ работоспособности систем.......54

1. Оценка типовых структур взаимоконтроля....... 54

2. Анализ допустимых неисправностей в системе..... 60

3. Диагностирование характерных неисправностей..... 66

4. Определение состояний элементов системы....... 72

ГЛАВА 4. Проектирование отказоустойчивых систем .... 74

1. Основные этапы проектирования.......... 74

2. Выбор структур взаимоконтроля.......... 78

3. Синтез перестраиваемых структур......... 84

4. Автоматизация построения структур......... 90

ГЛАВА 5. Эффективность отказоустойчивых систем.....96

1. Показатели качества систем............96

2. Оценка надежности...............01

3. Эффективность многомашинных систем........106

ГЛАВА 6. Эксплуатация отказоустойчивых систем.....НО

1. Контроль микропроцессоров............ПО

2. Организация связей в системе........... 121

3. Обработка результатов контроля .........127

4. Контроль узлов управления и запоминающих устройств 130

5. Перспективы развития отказоустойчивых систем .... 142 Список литературы................147

Анатолий Епифанович Коваленко, канд. техн. наук Валентин Васильевич Гула

Отказоустойчивые микропроцессорные системы

Редактор Л. О. Полянская Оформление художника С. И. Райхлнна Художественный редактор В. С. Шапошников Технический редактор С. М. Ткаченко Корректоры Л. Л. Москаленко, Н. В. Тарабан

Информ. бланк № 1338

Сдано в набор 16.12.85. Подписано в печать 15.05.86. БФ 05280. Формат 84х108»/з«-Бумага типогр. № 2. Гарн. лит. Печ. вью. Уел печ. л. 7,98. Усл. кр.-отт. 8,3. Уч.-изд. л. 8,97. Тираж 20000 экз. Зак. 5-541 Цена 65 к.

Издательство «Техн iKa», 252601, Киев, 1, Крещатик, 5

Отпечатано с матриц Харьковской книжной фабрики им. М. В. Фрунзе на Харьковской Книжной фабрике «Коммунист», 310012, Харьков-12, Энгельса, 11. - -