Диплом, курсовая, контрольная работа
Помощь в написании студенческих работ

Организация и проектирование эффективно-диагностируемых управляющих структур на основе иерархической декомпозиции схем алгоритмов

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

Предложен алгоритмичееко-структурный метод функционального диагностирования блочных управляющих структур, сущность которого заключается в совмещении функций алгоритмического контроля, обеспечивающего обнаружение дефектов, связанных с неправильным выполнением определенного этапа алгоритма управления, и структурного диагностирования, обеспечивающего определение места дефекта с глубиной поиска… Читать ещё >

Содержание

  • Список сокращений

1. АНАЛИЗ МЕТОДОВ ПОСТРОЕНИЯ КОНТРОЛЕПРИГОДНЫХ СТРУКТУР ДИСКРЕТНЫХ ОБЪЕКТОВ ДИАГНОСТИРОВАНИЯ

1.1. Понятие контролепригодности. Показатели и критерии контролепригодности дискретных объектов диагностирования.

1.2. Методы обеспечения контролепригодности дискретных устройств и систем при тестовом диагностировании

1.3. Методы обеспечения контролепригодности дискретных устройств и систем при функциональном диагностировании

1.4. Классификация методов обеспечения контролепригодности дискретных устройств и систем.

1.5. Выводы.

2. ИССЛЕДОВАНИЕ ПРИНЦИПОВ ОРГАНИЗАЦИИ ЭФФЕКТИВНО-ДИАГНОСТИРУЕМЫХ УПРАВЛЯЮЩИХ СТРУКТУР.

2.1. Постановка задачи.

2.2. Алгоритмическо-структурный метод функционального диагностирования блочных управляющих структур.

2.3. Понятие эффективно-диагностируемой управляющей структуры и метод ее организации.

2.4. Декомпозиционные преобразования исходной ОСА в ЭД-ОСА.

2.4.1. Постановка задачи декомпозиции.

2.4.2. Декомпозиционные преобразования. линейных ICA

2.4.3. Декомпозиционные преобразования сововупности линейных ICA.

2.4.4. Декомпозиционные преобразования ICA, содержащих разветвления и циклы.

2.5. Выводы. НО

3. ИССЛЕДОВАНИЕ ПРИНЦИПОВ ОРГАНИЗАЦИИ ПРОЦЕДУР И СИСТЕМ АЛГОРИТМШЕСКО-СТРУКТУРНОГО ДИАГНОСТИРОВАНИЯ ЭФФЕКТИВНО-ДИАГНОСТИРУШзК УПРАВЛЯЮЩИХ СТРУКТУР.

3.1. Общие принципы организации процедур диагностирования ЭДУС.

3.2. Организация процедур и систем диагностирования ЭДУС при аппаратной реализации алгоритма функционирования микропрограммной системы.

3.2.1. Организация системы диагностирования ЭДОС с использованием внешних средств алгоритмическое труктурного диагностирования.

3.2.2. Организация системы диагностирования ЭДУС с использованием встроенных средств алгоритма ее ко-с труктурно го диагностирования. 128 3.3. Организация процедур и систем диагностирования

ЭДУС при программной реализации алгоритма функционирования микропрограммной системы

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

3.5. Методика проектирования ЭДУС.

3.6. Выводы.

4. ИСПОЛЬЗОВАНИЕ МЕТОДИКИ ПРОЕКТИРОВАНИЯ ЭДУС НА

ПРИМЕРЕ РЕАЛИЗАЦИИ СШТШЫ ИНТЕРФЕЙСА.

4.1. Описание проектируемого объекта диагностирования

4.2. Разработка контроллера с ЭДУС системы интерфейса

4.3. Вывода.

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

Прогресс в области вычислительной техники характеризуется расшдрением и услояенением задач, решаемых вычислительными средствами, непрерывным увеличением функциональных возможностей и усложнением структуры проектируевшх средств вычислительной техники, растущим уровнем технологии их производства. Шдрокое распространение дискретных систем управления и цифровых систем переработки информации, рост сложности аппаратурнопрограммных комплексов вычислительных систем обусловили исключительную важность проблемы их надежности, а требование обеспечения заданных надежностных характеристик превратилось в одну из центральных проблем вычислительной техники. В настоящее время проблема обеспечения надежности средств вычислительной техники решается тремя путями: — повышение надежности элементной базы- - построение надежных систем из ненадежных элементов- - создание аппаратных и программных средств контроля и диагностики. Несмотря на непрерывный рост надежности элементной базы, по имеющимся прогнозам / I / решение данной проблемы только за счет совершенствования технологии и повышения культуры производства в настоящее время не представляется возможным. В связи с этим возрастает роль диагностического аспекта надежности, в рамках которого решаются задачи организации проверки исправности, работоспособности, правильности функционирования и поиска дефектов в объектах в процессе их производства и эксплуатации. Для сложных объектов наибольшие затраты времени восста- 7 новления падают на поиск дефектов. Фогмализация и автоматизация процессов поиска дефектов позволяет резко сократить эти затраты и тем самым повысить показатели надеЕности, технического обслуяшвания и ремонта сложных дискретных объектов. В то же время известно /2,3/, что наиболее сложной задачей при определении технического состояния современных средств вычислительной техники является проверка работоспособности, контроль правильности функционирования и диагностирование управляющих блоков и систем управления, в связи с трудностью обнаружения и поиска дефектов в структурах, содержащих элементы памяти. Значительно усложняется задача технического диагностирования систем управления и управляющих вычислительных систш большой размерности и произвольной структуры. Важным аспектом при разработке систем и средств диагностирования является своевременная (на этапе проектирования объектов) и глубокая проработка вопросов эффективных процедур диагностирования /4/. Такой подход позволяет своевременно учесть те изменения и дополнения, которые целесообразно внести в объект, чтобы обеспечить простоту и удобство диагностирования его технического состояния. Применение данного подхода при разработке сложных устройств и систем управления заключается в совместном проектировании систем управления и диагностирования, что дает возможность наиболее полно учитывать специфику алгоритмов управления и обеспечивать инвариантность системы диагностирования к принципам построения системы управления. Существенную роль при этом могут играть вопросы обеспечения контролепригодности — нового и перспективного направления технической диагностики, возникшего в 70-е годы. Для современных дискретных систем большой размерности и произвольной структуры оно является основным практически осуществимым путем _ 8 получения возможности оперативно и качественно диагностировать техническое состояние. Так в одной из последних разработок фцрмы IBM (система IBM-380) контролепригодность признана одним из столпов, поддерживающих всю систему. Существующие методы обеспечения контролепригодности дискретных устройств и систем представляют собой решение отдельных задач: в теоретическом плане и ориентщюваны на проведение тестового диагностирования. Понятие контролепригодности дискретных объектов при функциональном диагностировании еще практически не исследовалось. Однако практика использования средств вычислительной техники показывает, что основным типом дефектов при функционировании дискретных устройств и систем управления, а также управляющих вычислительных систем являются сбои (85−90% от общего числа дефектов) /2,5/. Это обусловливает необходимость использования функционального диагностирования при контроле правильности функционирования подобных объектов. Кроме того, тенденции в проектировании управляющих вычислительных систем специального назначения, в которых несвоевременное обнаружение сбоев влечет за собой тяжелые последствия, свидетельствуют о повышающейся роли функционального диагностирования дискретных объектов, Настоящая работа является логическим продолжением исследований в области разработки методов функционального диагностирования, проводимых на кафедре вычислительной техники 1ЭТИ им. В. И. Ульянова (Ленина) под научным и практическим руководством заслуженного деятеля науки и техники РСФСР, д-ра техн. наук проф. Смолова В. Б., д-ра техн. наук проф. Барашенкова В. В. и канд.техн.наук доц. Балакина В. Н. Актуальность работы подтверждается также соответствием — 9 межвузовской целевой комплексной программе научно-исследовательских работ на I98I-I985 гг. «Микроцроцессоры и микро-ЭВМ» (приказ MB и ССО СССР В 769 от 24.06.81 г.) и решением У Всесоюзного совещания по технической диагностике, в котором отмечается, что разработка и внедрение методов повышения контролепригодности сложных объектов является актуальной проблемой, на решении которой необходимо сосредоточить усилия исследователей и практиков. Целью данной работы является исследование и разработка методов обеспечения контролепригодности управляющих вычисли— • —. —. — J тельных систем, управляющих систем вычислительных комплексов и систем убавления специализированных ЭВМ при функциональном диагностировании. Методы исследования основываются на аппарате теории множеств, теории графов, теории операторных схем алгоритмов, теории конечных автоматов, Сформулированные направления исследования следующим образом определили структуру диссертации, В первом разделе рассматривается понятие контролепригодности, на основе обзора литературы сделана первая попытка систематизации и дан анализ существующих методов обеспечения контролепригодности дискретных устройств и систем при тестовом и функциональном диагностировании. Предложена классификация методов построения контролепригодных устройств и систем и определены основные направления исследований в области обеспечения контролепригодности дискретных устройств и систем. Во втором разделе исследуются принципы построения эффективно-диагностируемых управляющих структур. Предложен алгоритми^еско-структурный метод функционального диагностирования, введено понятие эффективно-диагностируемой управляющей структуры и предложены показатели эффективности диагностирования (контролепригодности) цри функциональном диагностировании. Предложен и разработан метод организации эффективно-диагностируемых управляющих структур, предложены критерии для оценки эффективности диагностирования на алгоритмическом этапе проектирования, предложен способ совмещения операторных схем алгоритмов. В третьем разделе исследуются принципы организации процедур и систем алгоритмическо-структурного диагностирования, разработан алгоритм диагностирования эффективно-диагностируемых управляющих структур, предложены и исследованы способы орI I ганизации системы диагностирования эффективно-диагностируемых управляющих структур при аппаратной и программной реализации алгоритма функционирования с использованием средств алгоритмическо-структурного диагностирования в качестве внешних и встроенных средств функционального диагностирования. Выработаны рекомендации по эффективному использованию предложенных способов организации системы диагностирования. Разработана методика проектирования эффективно-диагностируемых управляющих структур. В четвертом разделе рассматривается использование разработанной методики проектирования эффективно-диагностируемых управляющих структур на примере реализации системы интерфейса. Положения, выносимые на защиту: 1. Алгоритмичеоко-структурный метод функционального диагностирования блочных управляющих структур.2. Метод организации эффективно-диагностируемых уцравлявэщих структур на основе иерархической декомпозиции исходного алгоритма функционирования, заданного на языке операторных схем алгоритмов.3. Методика проектирования эффективно-диагностируемых управляющих структур.4. Критерии для оценки эффективности диагностирования на алгоритмическом этапе проектирования эффективно-диагностируемых управляющих структур. По результатам работы опубликовано девять печатных работ и получено положительное решение по заявке на изобретение. — 13.

4.3. Выводы.

1. Подтверждена достоверность предложенной частной методики декомпозиции ГСА, содержащих разветвления и циклы.

2. Подтверждена достоверность оценки эффективности диагностирования на алгоритмическом этапе проектирования ЭДУС на основе коэффициентов алгоритмической избыточности KUc и Кц^.

3. Подтверждена достоверность методики проектирования.

ЭДУС.

4. Разработан эффективно-диагностируемый контроллер системы интерфейса с байт-последовательным, бит-параллельным обменом информацией.

ЗАКЛЮЧЕНИЕ

.

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

1. Предложен алгоритмичееко-структурный метод функционального диагностирования блочных управляющих структур, сущность которого заключается в совмещении функций алгоритмического контроля, обеспечивающего обнаружение дефектов, связанных с неправильным выполнением определенного этапа алгоритма управления, и структурного диагностирования, обеспечивающего определение места дефекта с глубиной поиска до элемента структуры объекта диагностирования без детализации места дефекта в нем. Использование в качестве модели неисправностей понятия алгоритмического дефекта позволяет снизить размерность диагностических задач и использовать алгоритмическо-структурный метод для повышения эффективности диагностирования таких сложных объектов, как управляющие вычислительные системы, управляющие системы вычислительных комплексов и системы управления специализированных ЭВМ.

2. Предложен и разработан метод организации ЭДУС на основе иерархической декомпозиции исходного алгоритма функционирования, заданного на языке ОСА, обеспечивающий достижение заданных показателей эффективности диагностирования (контролепригодности) и возможность оптимизации объема средств, а лгоритмич ее ко-структурного диагностирования с целью уменьшения структурной избыточности, вводимой для повышения показателей эффективности диагностирования. Метод позволяет наиболее полно учитывать специфику алгоритмов функционирования и обеспечить совместное проектирование объекта и системы диагностирования.

Метод формализован для линейных ГСА, совокупности линейных ICA и реализован в виде частных методик для ГСА, содержащих разветвления и циклы.

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

— поиск места возникновения дефекта с глубиной до сменного блока;

— автоматическая локализация аппаратурных сбоев и восстановление аппаратуры с высокой вероятностью без детальных знаний пользователем специфики ее работы;

— снижение временных и аппаратурных затрат на восстановление;

— снижение суммарных аппаратурных затрат на реализацию ЭДУС и организацию системы диагностирования за счет учета специфики алгоритма функционирования.

4. Разработаны критерии оценки эффективности диагностирования на алгоритмическом этапе проектирования ЭДУС:

— коэффициент алгоритмической избыточности структуры;

— коэффициент алгоритмической избыточности системы диагностирования.

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

5. Сделана первая попытка систематизации и предложена классификация существующих методов обеспечения контролепригодности дискретных устройств и систем.

6. Введено понятие эффективно-диагностируемой управляющей структуры, отражающее категорию контролепригодности при функциональном диагностировании и предложены показатели для оценки контролепригодности при функциональном диагностировании.

7. Предложен способ совмещения ГСА с целью разработки типового фрагмента ЭД-ОСА, обеспечивающий при реализации ЭДУС однотипность ее элементов.

8. Разработан алгоритм диагностирования ЭДУС.

9. Предложены способы организации системы диагностирования ЭДОС при аппаратной и программной реализации алгоритма функционирования с использованием средств алгоритмическо-структурного диагностирования в качестве внешних и встроенных средств функционального диагностирования. На основании сравнительных оценок выработаны рекомендации по эффективному использованию предложенных способов организации системы диагностирования.

10. Разработан эффективно-диагностируемый контроллер системы интерфейса с байт-последовательным, бит-параллельным обменом информацией.

11. В работе сделаны предпосылки для организации систем с самовосстановлением в процессе функционирования на основе типовых резервных блоков или обеспечения их взаимозаменяемости в случае возникновения сбоев.

Показать весь текст

Список литературы

  1. Радиоэлектроника в 1977 году: Обзор, но материалам иностранной печати. Вычислительная техника. — М.: НИИ ЭНР, 1978.- 91 с.
  2. В.А. Техническая диагностика управляющих систем. Киев: Наук. думка, 1983.- 208 с.
  3. Parthasarathy Е., Reddy S.M., Kuhl J.G. A testable design of general purpose microprocessors.- HTSC: 12th Annual Int. Synrp. Fault-fEolerant Comput., Santa Monica, Calif., June 22−24, 1982. Dig. Pap. New York, N.Y., 1982, p. 237−244.
  4. Основы технической диагностики: (Модели объектов, методы и алгоритмы диагноза)/ Под ред. П. П. Пархоменко. М.: Энергия, 1976.- 464 с.
  5. Iyer Ravishankar К., Rosseti David J. A statistical load dependeney model for CPU errors at SLAC.- FTSC: 12th Annual Int. Symp. Fault-Tolerant Comput., Santa Monica, Calif., June 22−24, 1982. Dig. Pap. New York, N.Y., 1982, p. 363−372.
  6. ГОСТ 24 029–80. Техническая диагностика. Категории контролепригодности объектов диагностирования.
  7. В.Ф. Повышение контролепригодности дискретных устройств. Состояние проблемы. Измерения, контроль, автоматизация. — М., 1980, вып. 1−2 (23−24), с. 25−31.
  8. Ю.В., Бойкевич A.M., Волчек В. Л., Горяшко А. П. Создание контролепригодных устройств направление, продиктованное интегральной технологией. — Изв. АН СССР. Сер.: Техническая кибернетика, 1981, № 4, с. 146−154.
  9. А.Ф. Один подход к построению встроенных средств тестового диагноза технического состояния комбинационных устройств. Автоматика и телемеханика, 1974, № 3, с. 140−148.
  10. Д.П., Л.Цюзань Лай. Контроль цифровых систем. ТШЭР, 1981, т. 69, № 10, с. 163−179.
  11. ГОСТ 19 919–74. Контроль автоматизированный технического состояния изделий авиационной техники. Термины и определения.
  12. Reddy S.M. Easily testable realization for logic functions.- IEEE Transactions on Computers, 1972, v. C-21, Ш11, p. 1183−1188.
  13. ГОСТ 23 563–79. Техническая диагностика. Контролепригодность объектов диагностирования. Правила обеспечения.
  14. Schertz D.R., Metze G. On the design of muliple fault diagnosable networks.- IEEE Transactions on Computers, 1971″ v. C-20, 111, p. 1361−1364.
  15. Palit A., Sen Gupta A., Basu M.S., Choudhury A.K. On design of fault diagnostic networks for combinational logic circuits.-Int. J. Electronics, 19 751 v.38, N21, p. 25−32.
  16. H.A., Люлысин A.E. Автоматизация тестового диагностирования дискретных устройств. Минск: Изд-во Б1У им. В. И. Ленина, 1983.- 144 с.
  17. Betancourt R. Derivation of minimum test sets for unate logical circuits.-IEEE Transactions on Computers, 1971″ v. C-20, HI11, p. 1264−1269.
  18. Richard J.P., Azema P. Detection of multiple faults in monotonic networks and the synthesis of easily testable circuits. Digest of 3 ISFTC, Palo Alto, 1973, p. 179.
  19. Reddy S.M. A design procedure for fault-loeatable switching circuits.-IEEE Transactions on Computers, 1972, v. C-21, N512, p. 1421−1426.
  20. Л.Я. Синтез легко диагностируемых комбинационных схем относительно одного класса константных неисправностей. Автоматика и вычислительная техника, 1983, № I, с. 36−40.
  21. Р.С., Майоров С. А., Чипулис В. П. Тестовая проверка бесповторных комбинационных схем. В сб.: Дискретный анализ. — М.: Наука, 1968, вып. 12, с. 3−21.
  22. Berger I., Kohavi Z. Fault diagnosis in combinational tree networks.- Digest of 5 ISFTC, Paris, 1975, p. 50−55.
  23. М.Ф. Диагноз кратных неисправностей древовидных схем произвольного базиса. Автоматика и телемеханика, 1973, «I, с. I73-I8I.
  24. Kohavi Z., Spires D.A. Detection of failures in combinational digital circuits.- Proceedings of the IEEE, 1971"v. 118, N85» p. 643−648.
  25. Kohavi I., Kohavi Z. Detection of multiple faults in combinational logic networks.- IEEE Transactions on Computers, v. C-21, № 6, 1972, p. 556−568.
  26. Kodandapani K.L. A note on easily testable realizations for logic functions.- IEEE Transactions on Computers, 1974, v. C-23, из, p. 145−154.
  27. Bennetts E.G., Scott R.V. Resent developments in the theory and practice of testable logic design.- Computer, 1976, № 6, p. 47−63.
  28. B.M. Синтез цифровых автоматов. M.: Физмат-гиз, 1962.- 476 с.
  29. В.В., Сапожников Вл.В. Об одном классе легко контролируемых комбинационных схем. Автоматика и телемеханика, 1979, № 10, с. I29-I3I,
  30. Ramamoorthy C.V., Mayeda W. Conqputer diagnosis using the blocking gate approach.- IEEE Transactions on Con^niters, 1971, v. C-20, № 311, p. 1294−1299*
  31. Ramamoorty C.V., Chang L.C. System segmentation for the parallel diagnosis of con^uters.- IEEE Transactions on Computers, 1971, v. C-20, № 3, p. 261−270.
  32. Krawczyk H. Algorytm wyznaczania blokowej struktury systemu о maksymalneg rozroznialnosci.- Pr. nauk. Inst, cybern. techn. IWr., 1976, N843, c. 55−57.
  33. Krawczyk H. Teoria grafow w zastosowaniach diagnos-tycznych.- Pr. nauk. Inst, cybern. techn. IWr., 1975, ns27, c. 37−47.
  34. O.B., Коне Л. Исследование диагностических моделей сложных дискретных устройств. В сб.: Системы и средства управления. Пермь, 1981, с. 156−159 (Рукопись деп. в ВИНИТИ 24 февр. 1982, Ш 833−82 ДЕЛ).
  35. Chuang Chin Sheng, Oh Se Jeimg. Testability enhacement in digital system design.- IEEE Inter con. Conf. Rec. New York, 1975, 11.3/1−11.3/7.
  36. А.П. 0 синтезе схем с минимальной трудоемкостью тестирования. Автоматика и телемеханика, 1981, J6 I, с. 145−153.
  37. А.П. Логические схемы и реальные ограничения: методы синтеза, оценки сложности. М.: Энергоиздат, 1982.184 с.
  38. Coy W. On the design of easily testable iterative systems of combinational cells.- ieee Transactions on Computers, 1979, 16, v. 28, p. 367−371.
  39. M.A., Девятков B.B., Пупырев Е. И. Логическое проектирование дискретных автоматов. М.: Наука, 1977.- 352 с.
  40. В.П. 0 синтезе контролепригодных автоматов. -В сб.: Дискретные преобразователи. Киев, 1976, с. I02-II3.
  41. А.Т. Формальный синтез и реализация автоматов на основе стандартных и однородных схем. Кибернетика, 1975, № 2, с. 21−30.
  42. Ю.В. Определение места заданного числа дополнительных контрольных точек. Автоматика и телемеханика, 1976, № 6, с. I47−151.
  43. Hayes J.P., Friedman A.D. Test point placement to sympify fault detection.- IEEE Transaction on Con^puters, 1974, v. C-23, N?7, p. 727−735.
  44. В.В. О выборе минимального числа контрольных точек при диагностике неисправностей в структурной схеме.-В сб.: Некоторые вопросы диагностики неисправностей в комбинационных схемах. Киев, 1975, с. 20−37.
  45. И.В. Условия контролируемости комбинационных схем относительно константных неисправностей. В сб.: Техническая диагностика: управление и информация. — Владивосток, 1973, вып. 4, с. 128−155.
  46. Richard J.P., Azema P., Ippolito I.С. Detection des pannes dans un reseau monotone. Synthese de circuits facilement testables.- Collogue International: Conception et Maintenance des Automatismes Logiques, Communications.- Toulouse-France, 1972.
  47. Richards D.L. Efficient exercising of switching elements in nets of identical getes.- J. of ACM, 1973, v.20, Nil, p. 88−111.
  48. A.M., Грунский И. О., Сперанский Д. В. Контроль и преобразование дискретных автоматов. Киев: Наук. думка, 1975.- 174 с.
  49. A.M., Твердохлебов В. А. Диагностика сложных систем. Киев: Наук. думка, 1973.- 128 с.
  50. Kohavi Z., Lavallee P. Design of sequential machines with fault detection capabilities, — IEEE Transactions on Electronic Computers, 1967, v. EC-16, №-4, p. 473−484.
  51. Г. И., Мызь A.H. Полностью диагностируемые последовательное тные автоматы. Вестник Харьковского политехнического института. Сер. Автоматика и приборостроение, 1977,128, вып. 4, с. 34−38.
  52. Г. И., Мызь А. Н. Синтез полностью диагностируемого последовательноетного автомата. Вестник Харьковского политехнического института. Сер. Автоматика и приборостроение, 1978, «136, вып. 5, с. 12−13.
  53. Й.С. Реализация автомата с кратчайшей диагностической последовательностью. Автоматика и телемеханика, 1973, J6 10, с. 173−175.
  54. Hayes J.P. On modifying logic networks to improve their diagnosabilityIEEE Transaction on Computers, v.23, № 1, 1974, p. 56−62.
  55. Pradhan Dbirao K. Sequential networks design using extra inputs for fault detection.-IEEE, 1983, v.32,NS3,p.3l9−323.
  56. Г. И., Дербунович Л. В. Синтез контролещшгодных дискретных устройств с элементами памяти. В кн.: Техническая диагностика, эксплуатация управляющих и вычислительных машин.-Киев: Наук. думка, 1980, с. 76−85.
  57. Л.Ф. Синтез автоматов с укороченной контрольной последовательностью. В кн.: Автоматизация проектирования ЭВМ. — Киев: Наук. думка, 1979, с. 74−79.
  58. Lyons К.Е. Vanderkulk W. The use of triple modylar redundance to improve computer reliability.-IBH J. Res. and
  59. Develop., 1962, v.6, № 2, p. 345−356.
  60. В.P., Кушнир M.H. 0 синтезе дискретных устройств с учетом удобства проверки их технического состояния. Автоматика и телемеханика, 1975, I 5, с. 134−140.
  61. Saluda Е.К., Reddy S.M. On minimally testable logic networks.- IEEE Transactions on Computers, 1974, v. C-23, N?5, p. 552−554.
  62. Bhattacharyya Asok. On a noval approach of fault detection in an easily testable sequential machine with extra inputs and extra output.- IEEE Transactions on Computers, 1983, v. 32, N23, P. 323−325.
  63. Saluja K.K. An enhancement of LSSD to reduce test pattern generation effort and incerace fault coverage.- ACM IEEE 19th Des. Autom. Conf. Рос., Las Vegas, Nev., June 14−16, 1982. New York, H.Y., 1982, p. 489−494.
  64. В.Ф. Один подход к построению встроенных средств тестового диагноза технического состояния комбинационных устройств. Автоматика и телемеханика, 1974, I 3, с.140−148.
  65. В.Ф. Обнаружение кратных неисправностей в древовидной логической сети с памятью. Автоматика и телемеханика, 1975, Ш 8, с. 143−149.
  66. В.Ф. Преобразование структурного автомата с памятью к пригодному для контроля виду. Автоматика и телемеханика, 1975, № 9, с. 189−197.
  67. Batni R.P., Kime C.R. A module-level testihg approach for combinational networks.- IEEE Transactions on Computers, 1976, v. C-25, Jfi6, p. 594−604.
  68. Bhavsar D.K., Heckelman R.W. Self-testing by polinomial division.- J. Digit Syst., 1982, v.6, N22−3, p. 139−16о.
  69. V/illiams M.J.Y., Angell J.В. Enhancing testability of large scale integrated circuits via test points and additional logic.- IEEE Transactions on Coputers, 1976, v. C-22, Ш1, p. 46−60.
  70. Eichelberger E.B., Williams T.W. A logic design structure for LSI testing.- Proc. 14th Design Automation Conf. (ACM/IEEE), 1977, p. 462−468.
  71. A logic design structure for LSI testebilityJ. Design-Automation Fault-Tolerant Comput., 1978, v.2,№ 2,p.165−178.
  72. .М., Мкртумян И. Б. Основы эксплуатации ЭВМ. -М.: Энергоиздат, 1983.- 376 с.
  73. Barzilai Leev, Coppersmith Don, Rosenberg Arnold L. Exhaustive generation of bit patterns with applications VLSI self-testing.- IEEE Transactions on Cou^uters, 1983, v.32, N22, p. 190−194.
  74. Bilton J.M. A survey of self-test and BITE program generation.- Euromicro. J., 1980, v. б, ЙЗ» P" 168−174.
  75. Oklobdziya V.G., Ercegovac M.D. Testability enhancement of VLSI using circuits structures.- Proc. IEEE Int. Cohf. Circuits and Con^ut. ICCC 82, New York, N.Y. 28 Sept.-10kt. 1982, Silver Spring, Md, 1982, p. 210−213.
  76. E.C., Ланге Э. Э., Лемберский И. Г. Проблемы синтеза конечных автоматов при их реализации на ПЛМ. В сб.: Микропроцессоры. — Рига: Зинатне, 1977, т. 2, с. 63−67.
  77. Timoc С.С., Favenneo J.M., Blanche C.L. A testable regular design.- Proc. IEEE Int. Conf. Circuits and Comput. ICCC 82, Hew York, K.Y. 28 Sept.- 10 Okt., 1982, Silver Spring, Md, 1982, p. 210−213.
  78. Gordon G., Nadig H. Hexadecimal signatures identify troublespots in microprocessor systems.- Electronics, 1977, p. 89−96.
  79. Rhodes-Burke R. Applying signature analysis to existing processor-based products.- Electronics, 1981, p. 127−133.
  80. Аппаратная диагностика неисправностей для модульных систем. Ин-т точ.мех. и вычисл.техн. АН СССР. Препр., 1982, & 6, 25 с.
  81. Preparata P., Metze G., Chien R. On the connection assignement of diagnosability system.- IEEE Transactions on Computers, 1967, v. EC-16,N212, p. 848−854.
  82. Barsi Ferruccio, Grandoni Fabrizio, Maestrini Piего. A theory of diagnosability of digital systems.- IEEE Transactions on Conqputers, 1976, v. 25, N26, p. 585−593.
  83. Ю.К. Самодиагностика систем из однотипных блоков. В сб.: Вычислительные системы. — Новосибирск, 1978, В 73, с. I07-I2I.
  84. Теория диагностируемости дискретных систем. -Экспресс-информация. Техническая кибернетика, 1976, Л 45, с. 7−12.
  85. Т.Н. Организация самодиагностирования вычислительных систем. В кн.: Техническая диагностика: Тез. докл. 5 Всесоюзного совещания, Суздаль, 1982.- М., 1982, с. 84−85.
  86. П.П. 0 диагностическом аспекте надежности. В кн.: Технические средства систем управления и вопросы их надежности. — М.: Наука, 1982, с. I3I-I38.
  87. М.А., Остиану В. М., Потехин А. И. Надежность дискретных систем. В кн.: Теория вероятностей. Математическая кибернетика 1969.- М.: ВИНИТИ, 1979.- 104 с.
  88. М.А., Остиану В. М. Современное состояние в области построения релейных устройств повышенной надежностик началу 1970 года. В кн.: Абстрактная и структурная теориярелейных устройств. М.: Наука, 1972, с. II3-I28.
  89. М.А., Остиану В. М. Современное состояние в области надежности дискретных устройств. В кн.: Надежность систем. — Киев: Наук. дата, 1973, с. I-I8.
  90. В.М. Обеспечение надежности дискретных устройств. В кн.: Проектирование устройств логического управления. — М.: Наука, 1984, с. 182−212.
  91. Т.Н. Обзор методов повышения надежности вычислительных систем. Вопросы кибернетики. — М., 1>978, № 43,с. 152−163.
  92. Основы технической диагностики: (Оптимизация алгоритмов диагностирования, аппаратурные средства)/ Под ред. П. П. Пархоменко. М.: Энергия, 1981.- 320 с.
  93. Е.С. О диагностике неисправностей в дискретных блочных объектах. Автоматика и телемеханика, 1969,1. J& 10, с. IS6-I67.
  94. Е.С. Построение дискретных объектов с диагностикой в процессе функционирования. Автоматика и телемеханика, 1970, В II, с. 153−160.
  95. Ю.И. Синтез схем встроенного контроля для комбинационных устройств. Автоматика и телемеханика, 1974, № 3, с. 132−139.
  96. Г. П., Согомонян Е. С. Синтез схем встроенного контроля для автоматов с памятью. Автоматика и телемеханика, 1971, № 9, с. 170−179.
  97. Г. П. Метод синтеза схем встроенного контроля для автоматов с памятью. Автоматика и телемеханика, 1973, В 2, с. I09-II6.
  98. В.В., Колесов Н. В. Об аппаратном контроле автоматов. Автоматика и телемеханика, 1973, № II, с. 120−126.
  99. В.В., Колесов Н. В., Щербаков Н. С. К воцросу о построении обобщенной модели аппаратурного контроля автоматов. В кн.: Проблемы надежности систем управления. — Киев: Наук. думка, 1973, с. I7I-I77.
  100. В.В., Колесов Н. В., Подкопаев Б. П. Алгебраическая модель аппаратного контроля автоматов. Автоматика и телемеханика, 1975, № 6, с. II8-I25.
  101. А.А., Рябуха Н. Д. Синтез контрольного автомата методом расширения входных наборов. Автоматика и вычислительная техника, 1978, $ I.
  102. А.П., Тоценко В. Г. Синтез автоматов оперативного контроля дискретных устройств с конечной памятью. -Автоматика и телемеханика, 1973, $ 10, с. 184−193.
  103. Е.К. Условия обеспечения функционального диагноза дискретных устройств с заданным множеством неисправностей. Автоматика и телемеханика, 1975, № 2, с. III-II9.
  104. Е.К. Обобщенная постановка задачи о проверке правильности функционирования конечного автомата. -Изв. АН СССР. Сер.: Техническая кибернетика, 1977, Л 2, с. I09-II5.
  105. Е.В., Согомонян Е, С, Самопроверяемые вычислительные устройства и системы (обзор). Автоматика и телемеханика, 1981, № II, с. 147−167.
  106. Carter W.C., Schneider P.R. Design of totally dynamically checked computers.- IFIP Proc. v.2, 1968, p. 878−883.
  107. Anderson D.A., Metze G. Design of totally self-checking check circuits for m-out-of-on codes.- IEEE Transactions on Computers, 1973″ v. C-22, Ш3, p. 263−269.
  108. Diaz М. Design of totally self-checking and fail safe sequential machines.- Int. Бупф. on Fault4Dolerant Computing Dig., Urbana, USA, June 1974, p. 3.19−3.74.
  109. ПО. Согомонян E.C. Построение одновыходных самопроверяемых схем контроля для комбинационных схем. Электронное моделирование, 1980, & 4, с. 26−32.
  110. В.Л. Метод построения самопроверяемых средств контроля цифровых устройств. В сб.: Совершенствование алгоритмов и математического обеспечения систем управления производством, — Киев: 1977, с. 14−20.
  111. Г. И., Иванова О. Ф. О самоконтроле микропроцессорных управляющих автоматов. В кн.: Методы автоматизации проектирования, программирования и моделирования. — Таганрог: ТРТИ, 1982, вып. З, с. 69−75.
  112. М.Д., Донн Е. С. Обеспечение тест-пригодности микро-ЭВМ на этапе разработки. Электроника, 1979, № 2, с. 33−42.
  113. Maki G.M. A self-checking microprocessor design.-J. Design Automat, and Fault-Tolerant Сотр., 1978, v.2,N?1,p.15−27.
  114. Crouzet Y., Landraut C. Design of self MOS-LSI circuits. Application to a four-bit microprocessor.- Int. Symp. on Fault-Tolerant Computing Dig., Madison, USA, June 1979, p. 189−192.
  115. A.M., Валуйский B.H., Остафин В.A. Структурно-временная избыточность в управляющих системах. -Киев: Вища школа, 1979.- 160 с.
  116. A.M., Твердохлебов В. А. О классификации иоценке методов технической диагностики. В сб.: Метода и системы технической диагностики, вып. I, Саратов, 1980, с. 3−17.
  117. Meyer J.P., Sunstrom R.J. On-line diagnosis of unrestricted faults.- IEEE Transactions on Computers, 1975> v. C-24, № 5, p. 468−482.
  118. Специализированные ЦВМ /Под ред. В. Б. Смолова. М.: Высш. школа, 1981.- 279 с.
  119. В.А. и др. Устройство для контроля распределителя импульсов. Положительное решение ВНИИШЭ по заявке
  120. В 3 614 121/24(103 345) от 27.09.84 г.
  121. В.В. Интерпретация операторных схем алгоритмов. Л., 1978.- 74 с.
  122. С.И. Синтез микропрограммных автоматов. -Л.: Энергия, 1974.- 216 с.
  123. В.А. Принципы организации эффективно-диагностируемых судовых вычислительных комплексов./ Сб. науч. тр. КТИРПХ МРХ СССР, 1983, вып. 104, с. 100−104.
  124. Н.Г., Носков В. П. Метод направленного разбиения электронных схем на блоки по функции связи графов и схем. Управляющие системы и машины, 1975, № 6, с. 120−125.
  125. С.И., Журавина А. Н., Килленберг X. Декомпозиция граф-схем алгоритмов. Автоматика и вычислительная техника, 1979, № I, с. 7−15.
  126. С.И., Журавина Л. Н., Песчанский В. А. Выбор разбиения при декомпозиции граф-схем алгоритмов. Автоматика и вычислительная техника, 1982, № 2, с. 27−35.
  127. В.А. Декомпозиционный подход к организации диагностирования микропроцессорных систем. В кн.: Микропроцессорные системы: Тез. докл. Всесоюзной конференции. — Челябинск, 1984, с. 126−127.
  128. В.Н., Барашенков В. В., Петрикин В. А. и др. Организация и проектирование БИС с встроенными средствами диагностики. Изв. ЛЭТИ, Науч.тр./ Ленингр.электротехн. ин-т им. В. И. Ульянова (Ленина), 1983, вып. 324, с. 52−56.
  129. Баранов С.И.: Автоматы на матрицах. В сб.: Оптимизация в проектировании дискретных устройств. — Л., 1976, с. 526.
  130. ГОСТ 23 563–79. Техническая диагностика. Контролепригодность объектов диагностирования. Правила обеспечения.
  131. ГОСТ 26.003−80. Система интерфейса для измерительных устройств с байт-последовательным, бит-параллельным обменом информацией.
  132. Н.И., Домарацкий А. Н., Домарацкий С. Н. и др. Интерфейс для программируемых приборов в системах автоматизации эксперимента. М.: Наука, 1981.- 262 с.
  133. К. Распределенные системы мини- и микро-ЭВМ. М.: Финансы и статистика, 1982.- 382 с.
  134. Д.С., Аллен М. С. Синергизм микропроцессора и стандарта 488−1975 ШЭР. ТИИЭР, 1978, т. 66, В 2, с. 63−77.
  135. В.Н., Барашенков В. В., Петрикин В. А. и др. БИС приборного интерфейса с встроенными средствами диагностирования. Электронная техника, сер.: «Управление качеством, стандартизация, метрология, испытания», 1983, вып. 3 (102), с. 52−56.
  136. В.А., Янковская И. Л. Декомпозиционный синтез эффективно-диагностируемых устройств управления. Изв. ЛЭТИ, Науч.тр./ Ленингр.электротехн. ин-т им. В. И. Ульянова (Ленина), 1984, вып. 343, с. 45−49.
Заполнить форму текущей работой

На отлично!