автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Функциональное диагностирование управлящей части ЭВМ по граф-схемам алгоритмов

ВВЕДЕНИЕ

РАЗДЕЛ I. МЕТОДЫ И СРЕДСТВА ФУНКЦИОНАЛЬНОГО

ДИАГНОСТИРОВАНИЯ УПРАВЛЯЮЩИХ БЛОКОВ ЭВМ

1.1. Управляющая часть ЭВМ, как объект функционального диагностирования

1.2. Принципы организации локальной системы функционального/диагностирования УБ ЭВМ

1.3. Анализ методов проектирования локальных систем функционального диагностирования УБ ЭВМ

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

Выводы по первому разделу

РАЗДЕЛ 2. МЕТОДЫ ПРЕОБРАЗОВАНИЯ ГСА

К КОНТРОЛЕПРИГОДНОМУ ВИДУ.

2.1. Назначение и принципы осуществления контролепригодных преобразований ГСА

2.2. Методы к -хроматического преобразования ГСА

2.3. Метод декомпозиционного преобразования ГСА

Выводы по второму разделу.

РАЗДЕЛ 3. МЕТОДИКА ПРОЕКТИРОВАНИЯ ЛОКАЛЬНЫХ СИСТЕМ

ФУНКЦИОНАЛЬНОГО ДИАГНОСТИРОВАНИЯ УПРАВЛЯЮЩИХ БЛОКОВ ПО ГРАФ-СХЕМАМ АЛГОРИТМОВ

3.1. Принципы создания и использования ЛСФД УБ

3.2. Проектирование ЛСФД линейных фрагментов ГСА

3.3. Проектирование ЛСФД последовательных ГСА

3.4. Проектирование ЛСФД параллельных ГСА

3.5. Проектирование высоконадежных ЛСФД 4 типа

Выводы по третьему разделу

РАЗДЕЛ 4. ПРИМЕНЕНИЕ ЛСФД ДЛЯ ДИАГНОСТИРОВАНИЯ

МИКРО-ЭВМ

4.1. Принципы использования ЛСФД УБ в качестве встроенных средств функционального диагностирования микро-ЭВМ

4.2. Разработка и реализация ЛСФД на микропрограммных уровнях управления микро-ЭВМ, созданных на базе

МП К588 и К

4.3. Разработка и реализация ЛСФД на программном уровне управления микро-ЭВМ, созданной на базе

МП КР

4.4. Разработка и реализация системы функционального диагностирования системного уровня управления

4.5. Рекомендации по использованию ЛСФД УБ

Выводы по четвертому разделу

ЗА КЛЮЧ Е НИ Е.

ЛИ Т ЕР А Т УРА

ПРИ Л01ЕНИ Е.

В основных положениях экономического и социального развития СССР на I98I-I985 годы и на период до 1990 года указывается на необходимость "повысить технический уровень вычислительной техники", осуществлять дальнейшее развитие и внедрение средств вычислительной техники, в частности, "встроенных систем автоматического управления с использованием микропроцессоров и микроЭВМ".

Одним из важных требований к современным средствам вычислительной техники (ВТ) и, особенно, к управляющим вычислительным системам является обеспечение их высокой надежности. Развитие элементной базы ведет к созданию все более функционально-насыщенных интегральных схем (БИС, СБИС), которые, как объект диагностирования, обладают существенной спецификой, в результате чего существовавшие методы и способы диагностирования оказались малоэффективными, а порой и совсем непригодными.

Один из перспективных путей решения данной проблемы заключается в использовании встроенных средств диагностирования, что требует осуществления их проектирования с самых ранних стадий разработки вычислительных систем, а, особенно, БИС и СБИС. Опыт использования современных средств ВТ показал необходимость осуществления их функционального диагностирования, предназначенного для оперативного обнаружения ошибок с использованием схем встроенного контроля (СВК) [1-4] .

Использование СВК и, особенно, самопроверяемых СВК, позволяет повысить достоверность функционирования средств ВТ и снизить затраты на их эксплуатацию, что ведет к повышению эффективности их использования. Актуальной является проблема обеспечения при помощи СВК необходимой достоверности функционирования микропроцессоров и микро-ЭВМ (особенно,управляющих), что обусловлено недостаточной исследованностью методов решения проблемы, и, как следствие, отсутствие СВК (за редким исключением) в существующих отечественных микропроцессорных комплектах (МГОС) ЕЭ .

При проектировании средств функционального диагностирования ЭВМ целесообразно использовать ее представление в виде композиции двух частей - операционной и управляющей [б] • Для каждой части существуют свои методы диагностирования, учитывающие их специфику. Разработка и исследование методов и средств функционального диагностирования управляющей части ЭВМ, включающей в себя несколько уровней управления, реализуемых управляющими блоками, ведутся уже значительное время.

Управляющая часть ЭВМ представляет собой совокупность взаимосвязанных управляющих блоков (УБ), реализующих заданные алгоритмы управления, функциональное диагностирование каждого из которых целесообразно осуществлять с использованием отдельной СВК. Задача организации оперативного обнаружения ошибок в управляющей части ЭВМ в такой постановке сводится к исследованию и разработке методов и средств функционального диагностирования отдельных УБ.

Все методы функционального диагностирования УБ, в зависимости от используемого подхода, можно разделить на две части. Первый подход заключается в ориентации при диагностировании на структуру УБ (структурный подход) [7-13] , а второй - на реализацию алгоритма управления во время его выполнения, то есть функций, выполняемых УБ (функциональный подход) [lI,I4-4Cj . Более перспективным является второй подход, позволяющий учесть специфику современных средств ВТ, как объекта диагностирования, обусловливающую необходимость начать создание средств функционального диагностирования УБ на этапе алгоритмического проектирования с использованием алгоритмической модели, в качестве которой в диссертации применяются граф-схемы алгоритма (ГСА) управления, интерпретация которых отражает специфику рассматриваемого уровня управления.

При проектировании средств функционального диагностирования УБ стремятся к тому, чтобы они позволяли обнаруживать появление ошибки с максимальной вероятностью при минимальной вводимой избыточности и за минимальное время обнаружения. Один из перспективных классов методов функционального диагностирования УБ, наиболее удовлетворяющих выдвинутым критериям, идея которого появилась в 60-х годах [19] и получила дальнейшее развитие в ряде работ [20,21,27,28] , основан на присвоении каждому выходному управляющему слову определенной метки, которая сравнивается с некоторой эталонной контрольной меткой, вырабатываемой СВК.

В настоящее время этот подход не получил широкого распространения, в основном из-за недостаточной проработанности, что обусловливает сложность его реализации, требующей учета особенностей диагностируемого УБ и приведения его алгоритма управления к контролепригодному виду. Специфика микро-ЭВМ, как объекта функционального диагностирования, одна из особенностей которой заключается в сложности диагностирования ее операционной части в отличие от управляющей [23,32] , обусловила повышенный интерес к методам и средствам функционального диагностирования ее управляющей части и, в частности, к рассматриваемому методу.

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

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

Достижение указанной цели предполагает решение следующих основных задач:

- исследование и разработка методов функционального диагностирования управляющей части ЭВМ, как совокупности алгоритмов управления и управляющих блоков, по граф-схемам алгоритмов управления;

- исследование принципов разработки и использования локальных систем функционального диагностирования (ЛСФД) УБ, реализующих предложенные методы диагностирования и состоящих из самопроверяемых СВК и УБ, осуществляющего выполнение контролепри-годного алгоритма управления;

- разработка необходимых методов преобразований ГСА к конт-ролепригодному виду, а также процедур их выполнений;

- разработка методики проектирования ЛСФД УБ, позволяющей реализовать рассматриваемые методы функционального диагностирования;

- разработка ряда ЛСФД УБ для конкретных микро-ЭВМ и исследование области их наиболее эффективного использования, а также выработка рекомендаций по их реализации и применению.

Методы исследования. Проведенные исследования базируются на разработке преобразований ГСА, с целью придания им свойств контролепригодности с использованием теории алгоритмов, теории графов, математической логики и на разработке методов проектирования ЛСФД УБ с применением теории конечных автоматов и методов технической диагностики.

Содержание диссертационной работы распределено по разделам следующим образом,

В первом разделе проведен анализ методов и средств функционального диагностирования УБ ЭВМ, с учетом перспективности их использования в качестве самопроверяемых встроенных средств современных вычислительных систем, в частности, микро-ЭВМ, Проведен анализ методов проектирования ЛСФД УБ. Сформулированы основные задачи, решаемые в диссертации.

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

В третьем разделе выделены 3 класса УБ, для функционального диагностирования которых предложены 4 типа ЛСФД, в основу которых положены 4 метода функционального диагностирования УБ. Разработаны методики проектирования всех 4 типов ЛСФД. В этом разделе основное внимание уделено методам проектирования самопроверяемых СВК.

В четвертом разделе рассматривается использование предложенных методов функционального диагностирования и методики проектирования ЛСФД УБ применительно к конкретным микро-ЭВМ. Проведен анализ параметров разработанных ЛСФД и даны рекомендации по области их использования и реализации.

В заключении изложены основные выводы и результаты, из которых на защиту выносятся:

1. Методы функционального диагностирования управляющей части ЭВМ, как совокупности алгоритмов управления и управляющих блоков, основанные на преобразовании исходной ГСА к контролепригод-ной ГСА„. л.

2. Методы преобразования исходного ориентированного связного графа в к -хроматический граф и в граф, декомпозируемый на m изоморфных подграфов одного типа, на основании которых разработаны процедуры выполнения преобразования ГСА к контролепригод-ным ГСА„. л.

3. Методика проектирования ЛСФД УБ, реализующих предложенные методы функционального диагностирования и их практическая реализация.

Выводы по четвертому разделу

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

2. С использованием методики проектирования, описанной в 3-м разделе, разработаны ЛСФД микропрограммного уровня управления микро-ЭВМ, созданных на базе МП К588 и К589, а также программного уровня управления микро-ЭВМ, созданной на базе МП КР580,

3. С использованием методики проектирования, описанной в 3-м разделе, разработана распределенная система функционального диагностирования системного уровня управляющей микро-ЭВМ, встроенной в контрольно-измерительную систему, использующую интерфейс с бит-параллельным, байт-последовательным обменом информации.

4. Проведен анализ параметров разработанных ЛСФД всех типов всех трех уровней управления и даны рекомендации по их использованию.

5. Использование ЛСФД позволяет повысить достоверность функционирования микро-ЭВМ и сократить время ее восстановления за счет оперативного обнаружения ошибок, что упрощает поиск дефекта, а также создает благоприятные условия для коррекции сбоев и продолжения вычислительного процесса.

ЗАКЛЮЧЕНИЕ

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

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

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

3. Предложены и разработаны методы функционального диагностирования управляющей части ЭВМ, как совокупности алгоритмов управления и управляющих блоков, основанные на преобразовании исходных граф-схем алгоритмов управления к контролепригодным ГСАК.

Предложены и разработаны методы преобразования исходного ориентированного связного графа в К -хроматический граф и в граф, декомпозируемый на пг изоморфных подграфов одного типа. Предложенные методы положены в основу контролепригодных преобразований ГСА.

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

6. Предложена и разработана методика проектирования локальных систем функционального диагностирования УБ, состоящих из самопроверяемой схемы встроенного контроля и УБ, реализующего алгоритм управления, преобразованный к контролепригодному виду. Методика позволяет реализовать рассматриваемые методы функционального диагностирования. На одно из схемных решений СВК получено положительное решение о выдаче А.с.

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

8. Разработаны ЛСФД микропрограммного уровня управления микро-ЭВМ, созданных на базе МП К588 и К589; программного уровня управления микро-ЭВМ, созданной на базе МП КР580; системного уровня управления микро-ЭВМ, входящей в контрольно-измерительную систему, использующую интерфейс с бит-параллельным, байт-последовательным обменом информации. Применение ЛСФД позволяет повысить достоверность функционирования микро-ЭВМ и сократить время ее восстановления за счет оперативного обнаружения ошибок, что упрощает поиск дефекта, а также создает благоприятные условия для коррекции сбоев и продолжения вычислительного процесса.

Указанные особенности разработанных методов и предложенная методика их реализации способствовали их использованию на практике. Теоретические и практические результаты диссертации были использованы в двух хоздоговорных НИР с ГСКТБ СПМ ЛПО "ЭЛЕКТРОН-ПРИБОР" и при выполнении договора о научно-техническом содружестве с Челябинским заводом "Теплоприбор" при разработке:

- самопроверяемых средств функционального диагностирования управляющей микро-ЭВМ в системе, использующей интерфейс с байт-последовательным, бит-параллельным обменом информации;

- самопроверяемых встроенных средств функционального диагностирования БИС интерфейса, с байт-последовательным, бит-параллельным обменом информации;

- самопроверяемых встроенных средств функционального диагностирования микро-ЭВМ, встроенной в прибор для измерения температуры.

Помимо перечисленного, результаты диссертационных исследований нашли свое применение при разработке лабораторного практикума по курсу "Контроль и диагностика ЭВМ" для студентов специальности 0608.

По материалам диссертации опубликовано 12 печатных работ и получено положительное решение ВНИИГПЭ о выдаче авторского свидетельства. Основные результаты диссертационной работы докладывались и обсуждались на:

- У Всесоюзном совещании "Проектирование систем диагностики" (г.Ростов-на-Дону, 1982 г.);

- II Всесоюзном совещании "Методы и программы решения оптимизационных задач на графах и сетях" (г.Улан-Удэ, 1982 г.);

- республиканском совещании "Контроль и надежность вычислительных устройств и систем" (г.Винница, 1982 г.);

- областном совещании "Микропроцессорные системы и их применение" (г.Пенза, 1983 г.);

- "УШ Всесоюзном симпозиуме по проблеме избыточности в информационных системах" (г.Ленинград, 1983 г.);

- областном совещании "Средства диагностирования и отладки микропроцессорных систем" (г.Ленинград, 1984 г.);

- семинаре "Техническая диагностика и эксплуатация вычислительных и управляющих систем" (г.Киев, 1984 г.);

- Всесоюзном совещании "Специализированные микропроцессорные системы"(г.Челябинск, 1984 г.);

- научно-технических конференциях профессорско-преподавательского состава ЛЭТИ им.В.И.Ульянова (Ленина), 1983, 1984 гг.

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

Дальнейшее исследование желательно проводить в следующих направлениях:

- автоматизация выполнения этапов предложенной методики и, в первую очередь, предложенных глобальных преобразований ГСА;

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

- поиск способов реализации разработанных методов функционального диагностирования, учитывающих особенности рассматриваемых УБ; разработка методов функционального диагностирования системных уровней микро-ЭВМ.

1. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики. - М,: Энергоиздат, 1981. - 319 с.

2. Пржиялковский В.В., Ломов Ю.С. Технические и программные средства единой системы ЭВМ (ЕС ЭВМ-2). М.: Статистика, 1980. -232 с.

3. Дроздов Е.А., Комарницкий В.А., Пятибратов А.П. Электронные вычислительные машины единой серии. М.: Машиностроение, 1981. - 648 с.

4. Электронная вычислительная машина М4030 (Пособие пользователю) /Под ред. К.Г. Самофалова, А.Г. Назарчука. Киев: Техника,1980.-247 с.

5. Микропроцессорные комплекты интегральных схем: состав и структура: Справочник /Под ред. А.А. Васенкова, В.А. Шахнова. -М.: Радио и связь, 1982. 192 с.

6. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. Киев: Наукова думка, 1978. - 320 с.

7. Дрозд А.В. Аппаратный контроль управляющих схем, реализованных на элементах повышенной степени интеграции. В кн.: Вычислительная техника, Тез.докл. Респуб.конф. - Каунас: КПИ,1981, с.49-50.

8. Красавцев В.А., Калужский А.Д. Система контроля микро-ЭВМ, построенной на базе БИС К580ИК80 УСиМ, 1981, № 5, с.62-67.

9. Тюрин А.В. О построении самоконтролирующегося микропрограммного автомата специального вида. В кн.: Современные проблемы управления. - М.: Наука, 1974, с.129-134.

10. Валис А.А., Бартушаускас С.П., Белаускас В.В. Некоторые вопросы организации контроля процессора малой ЭВМ. В кн.: Логическое управление. - М.: Атомиздат, 1981, № 3, с.54-57.

11. Боллард Д. Проектирование сверхнадежных микропроцессорных систем. Электроника, 1979, т.52, № I, с.73-80.

12. Горожин А.Д. Синтез полностью самопроверяемых синхронных автоматов с использованием полиномиальных форм. Автоматика и телемеханика, 1982, № I, с.141-150.

13. SrlcLkar 3., Hayes 3. Se^ testing l6t $UoeoL nu-crocxrnifuiers- COMP&ON Sprung GonvpuJt- Soc. Irvb. Conf., Sort FrarvcLsco, CaUf, Ib-Z- N-V., p. Ъ№-Ъ46.

14. Балакин B.H., Барашенков В.В. Метод контроля правильности реализации алгоритма. Изв. ЛЭТИ науч.тр. /Ленинградский электро-техн. ин-т им. В.И. Ульянова(Ленина), 1968, вып.78, с.79-86.

15. Балакин В.Н., Барашенков В.В. Контроль правильности реализации алгоритма при заданной последовательности наборов логических условий. В кн.: Вычислительная техника. - Л.: Энергия, 1970, вып.1, с.40-47.

16. Балакин В.Н., Барашенков В.В. Метод построения самоконтролируемых микропрограммных автоматов. В кн.: Вычислительная техника, Л.: Энергия, 1972, вып.2, с.131-136.

17. Балакин В.Н., Барашенков В.В., Смолов В.В. Об алгоритмическом контроле микропрограммных систем. В кн.: Надежность систем и средств управления. Тез.докл. 1У Всевоюз. межвуз. конф. -Л., 1975, ч.1, c.II3-II5.

18. Балакин В.Н., Барашенков В.В. Контролирующие и диагностирующие процедуры на схемах алгоритмов. Изв. ЛЭТИ науч.тр. /Ленинградский электротехн. ин-т им. В.И. Ульянова(Ленина),1972, вып.102, с.64-69.

19. Клямко Э.И. Схемный и тестовый контроль автоматических цифровых вычислительных машин. М.: Советское радио, 1963. -192 с.

20. Путинцев Н.Д. Аппаратный контроль управляющих цифровых вычислительных машин. М.: Советское радио, 1966. - 424 с.

21. А.с. 598080 (СССР). Устройство для контроля последовательности микрокоманд /В.А. Гуляев, В.А. Иванов, А.В. Палагин, П.М. Сиваченко. Опубл. в Б.И., 1978, № 10.

22. Колосков В.А., Денисова Г.П., Типикин А.П. Алгоритмический контроль в управляющих устройствах с перезапуском программ.- Известия вузов СССР. Приборостроение, 1979, № 5, с.48-53.

23. Балакин В.Н., Барашенков В.В., Усачев Ю.Е. Проектирование системы самодиагностирования управляющей микропроцессорной системы. УСиМ, 1984, № 2, с.39-43.

24. Барашенков В.В., Балакин В.Н., Усачев Ю.Е. Проектирование самопроверяемых секционных микропроцессорных систем. В кн.:

25. УШ Симпозиум по проблеме избыточности в информационных системах. Тез.докл. Всесоюз. симпоз. Л.: ЛИАП, 1983, ч.4, с.74-77.

26. Усачев Ю.Е. Функциональное диагностирование микропроцессора. Л.: ЛЭТИ, 1983, 21 с. Рук. деп. в ВИНИТИ 23.12.83,6991-83 деп.

27. Усачев Ю.Е,, Балакин В.Н. Встроенные аппаратные средства контроля микропроцессорных систем. В кн.: Микропроцессоры и их применение. Тез. докл. обл.сем. - Пенза: ПДНТП, 1983, с.40-41.

28. Папернов А.А. Логические основы ЦВТ. М.: Сов.радио,1972.- 326 с.

29. Специализированные ЦВМ /Под ред. В.Б. Смолова. М.: Высшая школа, 1981. - 279 с.

30. Тимонькин Г.Н., Харченко B.C. Графологические схемы алгоритмов и их использование в задачах контроля управляющих автоматов. Автоматика и вычислительная техника, 1984, № I, с.77-82.

31. Transaction* on, Computers, V.C49, Wo, Mfc, р.<Ж5- Wo.

32. La D.O. Wafcbcboj processors aricL Structural Lrvt^rli^cKecktn^ IEEE TranwtoiS on, Computer*, v. С-И > «84, n. ?, |>.

33. Nantyoo M. Desuarv of concarrenii^ testatt nucro-pr^ramrrwcl control orals. SIS MICRO Newslett ? v.-ib,шг> Ht> p-W-^O.

34. Sakamoto МссЬлъаК. Structuring cUstrLMed proj-ram£ wrth, control fault oUtectuw beet • Notes Comfut*

35. Set., v.m> тг, рг5г,-г,ад.

36. Naiu^oo M., McCla&k^ В.Э. Watchclo^ processors and capaMW ckeckuij PTCS Amva-Int. fynp. Paatt - Tyrant CorrvputSartbcu Montca, Calcf, U-Z4, Ш, DCa.Pap , N.N-, p. Iks- Ш

37. МагсЫ, P., CoortoCS ft. Orv detect^ the \uircU#№feluni cLCiraptCibQ- proarants in, microprocessors-PTCl $ Anna-чХГипФ- Fbkt-Waiti Comput,Santa MorvCca ^Ca^Dune гг-г*,

38. Гурьянова JI.С., Балакин В.Н. О функциональном диагностировании микропрограммных систем. Изв. ЛЭТИ науч. тр. /Ленинград, электротехн. ин-т им. В.И. Ульянова(Ленина), 1977, вып.217,с.29-34.

39. Гурьянова Л.С. О функциональном диагнозе микропрограммных систем. Изв. ЛЭТИ науч.тр. /Ленинград, электротехн. ин-т им. В.И. Ульянова(Ленина), 1978, вып.231, с.100-106.

40. Ушакова Г.Н. Аппаратный контроль и надежность специализированных ЭВМ. М.: Сов.радио, 1969. - 312 с.

41. Малые ЭВМ и их применение /Под ред. Б.И. Наумова. М.: Статистика, 1980. - 231 с.

42. Микро-ЭВМ "Электроника С5" и их применение /Под ред. В.М. Пролейко. М.: Сов.радио, 1980. - 160 с.

43. Экхауз Р., Моррис Л. Мини-ЭВМ: организация и программирование. М.: Финансы и статистика, 1983. - 359 с.

44. Балакин В.Н., Барашенков В.В., Усачев Ю.Е. Синтез устройства диагностирования по схемам алгоритмов управления. Автоматика и телемеханика, 1984, № 6, с. 138-145.

45. ГОСТ 20911-75. Техническая диагностика. Основные термины и определения.

46. ГОСТ 19919-74. Контроль автоматизированный технического состояния изделий авиационной техники. Термины и определения.

47. Методические указания по проектированию контролепригод-ных устройств и систем /АН УССР. Ин-т проблем моделирования в энергетике: сост. Гуляев В.А. Киев: Наукова думка, 1981. -32 с.

48. Слабаков Е.В., Согомонян Е.С. Самопроверяемые вычислительные устройства и системы (обзор). Автоматика и телемеханика, 1981, № II, с.147-167.

49. Сапожников В.В., Сапожников Вл.В. Дискретные автоматыс обнаружением отказов. Л.: Энергоатомиздат. Ленингр.отд-ние, 1984. - 112 с.

50. Данилов В .В., Жиробок А.Н. Аппаратный контроль асинхронных автоматов на основе разбиений со свойством подстановки. -Автоматика и телемеханика, 1979, № 7, с.130-136.

51. Щербаков Н.С., Подкопаев В.П. Структурная теория аппаратного контроля цифровых автоматов. -М.: Машиностроение, 1982. -191 с.

52. А.с. 446060 (СССР). Устройство управления вычислительной машины /И.О.Автомян, Е.Ф.Березкин. Опубл. в Б.И., 1974, № 37.

53. Лаврентьев B.C. Исследование и разработка средств контроля и диагностики устройств переработки дискретной информации: Автореф.дис. канд.техн.наук. Киев, 1978. - 20 с.

54. А,с. 809183 (СССР). Устройство для микропрограммного управления с контролем /В.С.Харченко, В.Б.Самарский, С.Н.Ткачен-ко, Г.И.Тимонькин, И.П.Барбаш. Опубл. в Б.И., 1981, № 8.

55. А.с. 913378 (СССР). Микропрограммное управляющее устройство с контролем /Г.И.Тимонькин, В.С.Харченко, И.Е.Кондратьев, Ю.А.Матвиенко, С.Н.Ткаченко. Опубл. в Б.И., 1982, № 10.

56. А.с. 920727 (СССР). Микропрограммное устройство управления с контролем /В.С.Харченко, Ю.А.Матвиенко, С.Н.Ткаченко, Г.И.Тимонькин. Опубл. в Б.И., 1982, № 14.

57. А.с. 943728 (СССР). Микропрограммное устройство управления /В.С.Харченко, А.П.Плахтеев, Г.И.Тимонькин, С.Н.Ткаченко.-Опубл. в Б.И., 1982, № 26.

58. А.с. 807289 (СССР). Микропрограммное устройство управления с контролем переходов /В.А.Колосков, Г.П.Денисова, А.П.Типикин. Опубл. в Б.И., 1981, № 7.

59. А.с. 559238 (СССР). Устройство управления с контролем /В.З. Абрамов, В.Э. Вершков, В.В. Карасев, Н.С. Парфенов. -Опубл. в Б.И., 1977, № 19.

60. Барбаш И.П., Ларин А.А., Тимонькин Г.Н., Харненко B.C. Использование микропрограммного подхода для решения задач контроля и диагностики. В кн.: Вопросы технической диагностики -Ростов н/Д: Рост. инж.-строит, ин-т, 1978, с.15-21.

61. Ткачев М.П., Ткаченко С.Н., Харченко B.C. Принципы самоконтроля микропрограммных управляющих устройств. В кн.: Вопросы теории и построения АСУ. - М.: Энергоиздат, 1981, вып.5,с.78-82.

62. Тимонькин Г.Н., Харченко B.C. Оптимизация и контроль алгоритмов управления с учетом распределения сдвигов операторов.

63. В кн.: Вопросы теории и построения АСУ. М.: Энергоиздат, 1981, вып.5, с.83-87.

64. Харченко B.C. О синтезе самодиагностируемых микропрограммных автоматов. В кн.: Вопросы технической диагностики. -Ростов н/Д: Рост. инж.-строит, ин-т, 1982, с.46-50.

65. Тимонькин Г.Н. Использование принципа расширяющихся областей для диагностирования управляющих автоматов. В кн.: Вопросы технической диагностики. Ростов н/Д: Рост. инж.-строит, ин-т, 1982, с.50-56.

66. Колосков В.А., Денисова Г.П., Типикин А.П. Анализ алгоритмических методов повышения помехоустойчивости логических управляющих устройств. Гибридные вычислительные машины и комплексы, 1980, вып.З, с.68-74.

67. Ларин А.А., Тимонькин Г.Н., Харченко B.C., Благодарный Н.П. Принципы построения самоконтролируемых управляющих систем на микропрограммных модулях. В кн.: Вопросы технической диагностики. - Ростов н/Д: Рост. инж.-строит, ин-т, 1983, с.69-73.

68. Coartote В. 0|г-(опе orteniecl Jimatiotuul iedCa^ of control section^ of Chiegretecl CPUS- ^EUROMICRO Syrap. MtcropflxeSS» aricL MtcnDprojjram,, Parll, Ш, p. Vl\ ZM.

69. Балакин B.H., Терентьева И.В., Усачев Ю.Е. Построение системы диагностирования управляющих блоков по операторным схемам алгоритмов. В кн.: Вопросы технической диагностики. -Ростов н/Д: Рост, инж.-строит. ин-т, 1983, с.107-112.

70. А.с. 598079 (СССР). Устройство для контроля блока микропрограммного управления /О.Е. Бабушкин, Е.А. Братальский, В.М. Златников, Б.Л. Золотаревский. Опубл. в Б.И., 1978, № 40.72. (LKan^ H.N.,;Dorr R-C-, Sen,ese TKe cUsup o{n5, рл&9-500.

71. Усачев Ю.Е. Проектирование средств функционального диагностирования микропроцессора по операторным схемам алгоритмов -В кн.: Микропроцессорные системы. Тез. Всесоюз. конф. Челябинск: ЧПИ, 1984, с.125.

72. Анцупов С.В., Карпова Н.Н., Усачев Ю.Е. Самопроверяемые микропроцессорные системы с встроенными средствами функционального диагностирования. В кн.: Микропроцессорные системы. Тез. Всесоюз. конф. - Челябинск: ЧПИ, 1984, с.ПО.

73. Романкевич A.M., Валуйский В.Н., Остафин В.А. Структурно-временная избыточность в управляющих схемах. Киев: Вища школа, 1979. - 159 с.

74. Той В.Н. Проектирование отказоустойчивых местных процессоров для системы электронной коммутации. ТИИЭР, 1978,т.66, № 10, с.26-49.

75. Гуляев В.А. Контроль ЭВМ. Киев: Наукова думка, 1977. -167 с.

76. Гуляев В.А. Организация систем диагностирования вычислительных машин. Киев: Наукова думка, 1979. - 116 с.

77. Калужнин Л.А. Об алгоритмизации математических задач. -В кн.: Проблемы кибернетики. М.: Физматгиз, 1959, вып.2,с.51-67.

78. Методы параллельного микропрограммирования /Под ред. О.Л. Бандман Новосибирск: Наука, 1981. - 180 с.

79. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. -М.: Энергия, 1978. 408 с.

80. Исьянов В.М. О логических системах алгоритмов второго рода. В кн.: Синтез дискретных автоматов и управляющих устройств. -М.: Наука, 1968, с.26-32.

81. Янов Ю.И. О логических схемах алгоритмов. В кн.: Проблемы кибернетики, - М.: Физматгиз, 1958, вып.1, с.75-127.

82. Зыков А.А. Теория конечных графов. Новосибирск: Наука, 1969, т.1. - 543 с.

83. Котов В.Е. Введение в теорию схем программ. Новосибирск: Наука, Сиб.отд-ние, 1978. - 257 с.

84. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. - 536 с.

85. Cockayne E^,Thmasort A-S. Orders Colouring oj Grapfts.-^oarrval oj Com^Lvvaton.cul Шеог^, Ser. 4982, > рЖ-мг,

86. Ершов А.П. Введение в теоретическое программирование. -М.: Наука, 1977. 288 с.

87. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980. - 478 с.

88. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981. - Збб с.

89. Щербань А.Б. Разработка и исследование базового метода выделения изоморфных подграфов для использования в автоматизированной системе конструкторского проектирования: Автореф. дис. . канд. техн. наук. Пенза, 1979. - 16 с.

90. Погребной В.К. О декомпозиции графовых моделей схем вычислительных устройств на классы изоморфных подграфов. В кн.: Исследование операций. Тез.докл. Всесоюз. конф. - Горький, 1978, с.57-58.

91. Arbdrz&j CMairi a/L^oriikrrvS Jor su^^aplv isomorphism*pro&ierrvs Lecfc, Notes. Comput. ScC, £,|>.£90- Ьог

92. CWt^ P.R-, Gxaivam R.b. Re&ervt reScUfe tru cjraph, deem-positCortS -Lorvdon, Matk Soc-Lect. Note , н&ор-^Н&ъ.

93. Cfoemj 3 K- ,Huart^ T-S. A su&jrupk C$ornx>rplu6m, а^огоУмп/ Lian^ г^оУ^.-РаЙти RecognitioKU р.2мЧ -3?9.99. 2>^s>io |V\acteJ. Jke su^raplv CsomorphXsfrv problem, for ouierpixwier Tfieor Compufc. Set,*'?, р-Э^-Э'?.

94. Методы и программы решения оптимизационных задач на графах и сетях. Тез. докл. II Всесоюз. совещ. Новосибирск: Изд-во ВЦ АН СССР, 1982, чЛ, 4.2. - 412 с.

95. PraJtKer R.E. £ЫХегь S>.G. ;Decomj>oaW of flowchart kKemaia- -JHe Computer Sorrui/l , viljfi, N2>,

96. Усачев Ю.Е. Декомпозиционные преобразования ГСА. Л.: ЛЭТИ, 1983, 7 с. Рук.деп. в ВИНИТИ 23.12.83, № 6990-83 деп.

97. Преснухин Л.Н., Нестеров П.В. Цифровые вычислительные машины. М.: Высшая школа, 1981. - 511 с.

98. Барбаш И.П., Тимонькин Г.Н., Харченко B.C. Модели отказов микропрограммных устройств автоматических систем контроля и управления. В кн.: Вопросы технической диагностики - Ростов н/Д: Рост. инзк.-строит, ин-т, 1978, с.38-44.

99. TbaiieS.V1.?A^rahxmt Э-А- A m^tWoioQu for fuActioriai level testing of microprocessor • ~ Proceeding 8™ InfaiiatConaA, Coivfawnce Paju/tt TUsrant <bnbf>ijdbriff,TouAou££7197f,p.go-g5.

100. Слабаков E.B. Организация и методы построения структур самопроверяемых узлов и блоков ЦВМ: Автореф. дис. . канд.техн. наук. М., 1982. - 18 с.

101. Гобземис А.Ю., Кизуб В.А. О построении сетевых диагностических моделей. Автоматика и вычислительная техника, 1983,2, с.73-78.

102. Карцев М.А., Брик В.А. Вычислительные системы и синхронная арифметика. М.: Радио и связь, 1981. - 360 с.

103. GondLzio M.^uclkowsku 1 Th£ (kscrtffcCon, and WLjuooiwri rne--tiwd of as^ndinoriouS coopenaixon, Mweetv imcroprogranvmecl wruJUr Ppo^.of Third Orv nwoconri|puber and nw-oproces&or application -BiwlApesk:OMIKK 7ECHN0INP0RM, V.a^Wi,p. $95-90*.

104. ПО, Журавлев Ю.П., Котелюк JI.А., Циклинский Н.И. Надежность и контроль ЭВМ. М.: Сов.радио, 1978. - 416 с.

105. Мамзелев И.А., Русаков М.Ю., Часовников Е.Д., Николаен-ко Е.Д. Отказоустойчивые вычислительные системы. Зарубежная радиоэлектроника, 1983, № II, с.3-29.

106. Гуляев В.А. Техническая диагностика управляющих систем. -Киев: Наукова думка, 1983. 208 с.

107. Хвощ С.Т., Суров С.В., Васильев А.Н. Принципы организации самодиагностирующихся микропроцессорных инжекционных БИС. -Изв. ЛЭТИ науч.тр. /Ленингр. электротехн. ин-т им. В.И. Ульянова (Ленина), 1983, вып.324, с.56-61.

108. Балашов Е.П., Пузанков Д.В. Микропроцессоры и микропроцессорные системы /Под ред. В.Б. Смолова. М.: Радио и связь, 1981. - 328 с.

109. Григорьев В.Л. Программное обеспечение микропроцессорных систем. М.: Энергоатомиздат, 1983. - 208 с.

110. Алексенко А.Г., Галицин А.А., Иванников А.Д. Проектирование радиоэлектронной аппаратуры на микропроцессорах: Программирование, типовые решения, методы отладки. М.: Радио и связь, 1984. - 272 с.

111. ГОСТ 26.003-80. Система интерфейса для измерительных устройств с байт-последовательным, бит-параллельным обменом информации.

112. Вашкевич Н.П., Пучков В.Г. Средства разработки и отладки микропроцессорных систем. Пенза: ППИ, 1982. - 82 с.

113. Березенко А.И., Корягин Л.Н., Назарьян А.Р. Микропроцессорные комплекты повышенного быстродействия. М.: Радио и связь, 1981. - 168 с.

114. Науман Г., Майлинг В., Щербина А. Стандартные интерфейсы для измерительной техники. М.: Мир, 1982. - 304 с.

115. Гореликов Н.И., Домарадский А.Н. и др. Интерфейс для программируемых приборов в системах автоматизации эксперимента. М.: Наука, 1981. - 262 с.122.chrte aou^ GPIP-TO -SERIAL INTERPACE World,v. 88 ,mi>

116. Дайпер Дж., Гросси Р. БИС для сопряжения приборов со стандартным интерфейсом IEEE-488. Электроника, т.52, 1979, № 9, с.63-71.

117. Балакин В.Н., Барашенков В.В., Капустин В.В., Петрикин В.А., Усачёв Ю.Е. БИС интерфейса с встроенными средствами диагностирования. Электронная техника, серия "Управление качеством, стандартизация, метрология, испытания", 1983, вып.3(102), с.52-56.