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

кандидата технических наук
Фаиз Мухаммед Сулайман
город
Санкт-Петербург
год
1993
специальность ВАК РФ
05.13.13
Автореферат по информатике, вычислительной технике и управлению на тему «Методы и средства тестового диагностирования машин потока данных»

Автореферат диссертации по теме "Методы и средства тестового диагностирования машин потока данных"

Г6 од

- 7 ['¡'СЛШТгШТЕРБУРГСШ ГОСУДАРСТВЕННЫЙ ЭЛЕКТРОТЕХНИЧЕСКИЙ УШВЕРиЯТЕТ

На правах рукописи

Фаиа Мухаммед Сулаиман

МЕТОДЫ И СРЕДСТВА ТЕОТОВОГОГО ДИАГНОСТИРОВАНИЯ МАШИН ПОТОКА. ДАННЫХ

Специальность 05.13.13 - Вычислительные машины,

комплексы, системы и сети

АВТОРЕФЕРАТ диссертации на соискание ученой' степени кандидата технических наук

Санкт-Петербург - 199$'

Работа выполнена-в С^кт-Т1етер0ургсгом государственном электротехническом университете*

Научный руководитель -

кандидат технических наук КАЛЕНДАРЕВ А. С.

Официальные оппоненты:

доктор технических наук профессор ЯКОВЛЕВ В. В. кандидат технических hbvk лдтгпгдо t» я

Ведущая организация - Санкт-Петербургский инженерно-строительный институт

Защита диссертации состоится " /5 " иььнЛ 1ддз р, в час. на заседании специализрованного совета К 063. 36.12 Санкт-Пэтербургского государственого . электротехнического университета по адресу: 197378, Санкт-Петербург, ул. Проф. Попова. 5.

С диссертацией можно ознакомиться в библиотеке университе Автореферат 'разослан " 2х> " U O.S. 1993 г.

Ученый секретарь специализированного совета

Балакин В.

- 1 -

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

Сложность и специфический особенности современных вы-числительнных систем, и в частности машин пото!са данных (ЦЦД) с .их нетрадиционными архитектурами, делает их достро-верное диагностирование трудноразрешимой задачей. Трудоемкость задачи тестового диагностирования заключается в большой структурной .и функциональной сложности таких объектов диагностирования (ОД) как' МЦЦ и в отсутствии, как прашло, полной информации о структур6 и особенностях функционирования МПД у специалистан&а технической диагностике.

• Большинство из разработанных- ранее методов построения проверяющих тестов (ИГ) и тестов поиска дефектов (ТЦЩ для функционально - сложных средств ВТ базировались на моделях вычисления ОД, таких как сети Петри, автоматные модели, схемы алгоритмов, теория графов и других.

Эти методы получили широкое развитие для машин с традиционными архитектурами. Для МПД основной моделью вычисления является схема потока данных (СЦЦ). С11Д получила развитие в решении задач моделирования и анализа надежности вычислительных систем, но не была исследована как диагностическая модель ШЭД.

- ? -

$ настоящей работе рассматриваются задачи разработки и исследования методов и средств тестового диагностирования МПД, основанных на использовании СОД как.диагностической модели.

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

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

- ъыиор формального математического аппаарата, построение мопрдой дефектов на уровне модели вычисления СПД;

- разработка метода тестового диагностирования МПД. включающего в себя

- анализ вариантов проявления неисправностей на СПД;

- исследование способов обнаружения неисправностей нг'. СОД;

- разработка алгоритмов построения ПТ и ТВД;

- оценка полноты й' производительности . построенных тестов;

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

Предметом иссляпования являются общие принципы организации диагностирования МПД , методы построения проверяющих тестов и тестов поиска дефэктов, проектирование и техническая реализация специализированных диагностических средств ориентированных на применение в МПД.

Метод исследования основывается на использовании теории графов .и множеств, теории СПД, а также методов технической диагностики.

' Научная новизна. В результате проведенных исследований получены сдедующие новые научные результаты:

- предложен и обоснован метод диагностирования МПД не уровне модели вычисления СПД;

- формализована и исследована задача построения диаг-

ностичеекой модели на СОД. проведена классификация моделей дефектов для определения условия полноты тестов на уровне модели вычисления СПД;- '

- установлены основные варианты проявления дефектов' в виде четырех типов неисправностей на СЦД (нарушение живучести - зависание, нарушение чистоты графа- мусор, изменение хода вычисления и искажение результата вычислений) и сформулированы условия их обнаружения на ПТ и ТПД ,

Практическая ценность работы заключается в следующем:

-предложены алгоритмы построения ЦТ и ТЦД для диагностируемых неисправностей.

- предложены алгоритмы функционирования и структура диагностического процессора (ДП) в МОД для реализации предложенных тестов.

- обоснована целесообразость применения в составе ДП специализированного диагностического средства - конвейерного сигнатурного анализатора (КСА).

Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на следующих конференциях и семинарах:

- 7-й Всесоюзной школе - семинаре "Распараллеливание обработки информации", г.Львов, 1989 г.;

- XI Всесоюзном совещании по проблемам управления -Ташкент, 1989. - С. 248 - 249.;

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

Публикации. По материалам диссертационной работы опубликовано 4 печатных работы, в том числе получено одно аварское свидетельство.

Внедрение результатов работы. Теоретические и практические результаты использовались в хоздоговорных НИР кафедры ВТ в 1989 - 90 гп

Структура и 'объем работы. Диссертация состоит из введения, четырех разделов, заключения и списка литературы, включающего 118 наименований. Основная часть работы изложена на 130 страницах машинописного текста. Диссертация содершт 44 рисунка, 3 таблицы.

СОДЕРЖАНИЕ РАБОТЫ

Ео введении обоснована актуальность темы, сформулиован цель- и основные задачи исследования.

В первом разделе рассматривается современное состоят развития методов и средств тестового диагностирования МЩ Наследуются основные принципы потоковых вычислений/осущесз вляется выбор модели вычислений и проводится анализ архитеь тур потоковых ЭВМ.

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

3 = (V и С, Е), ( V П С = 0 ) ,

где V - мноэдество операторных вершин. С - множество соедиь тельных вершин, 2 -- множество дуг. Операторные верш^ представляют функции; соединительные вершины оеуществлг хранение информации, дуги определяют структуру меюператс ных связей по данным. Б СЕД выделяются четыре типа оператс ных вершин: преобразователи, распознаватели, переключател! слияние.

Разметкой М графа В - (V и Е) назовется функция £ — > { с, 1, £,...}. При рас мет к считается, что д: е СЕ содержат М (е ) фишек. Захпгание ьер-шшы •»■ £ V приво, к появлению ксг.>-? разметки И, 1л --- -- Й. Бе-зшии •/ гажига»' при мчркирор-ке М. если ссОлгсгн^тся услов::е:

Шч) - 1

Уе £ },(у,Ю,

МСе) - 0 Уе С

где - мнолвстьо входных и вш одних семгштик зажигать соответственно.

Потоковая машина, виртуально реализующая <Л1Д, представляет собой набор асинхронно функционирующих процессорных элементов (ГО), объединенных коммутационной сетью. Каждый 115 содержит память, устройство управления и операционное устройство, содеряэдэе набор специализированных или однородных функциональных элементов. Примером таких функциональных эда-центов является АЛУ. коммутационная сеть, поддерживающая вваидадействие между ГО и-вшш&й средой, дажет бить организована как дерево, кольцо, бинарный куб и т.д.

В качестве основных.принципов классификации М1ТД выбраны тип реализуемых связей и тип организации ГО. Имштот даии-ни с прямой и пакетной организацией связей. Характерным двойством машлгг с прямой оргнаиаацией связей являетая мт факт, что коммутационная сеть передает (£иики в порядке их поступления. При пакетной обработке реализуемая программа представляется в виде наборов информационных пакетов, кото-рие. обрабатывается ■ либо одним, либо несколькими В статических МПД программа загружается в память ГО перед началом вычислений. Физический адрес кглшди определяется также ь статическом решив. Динамические А£ПД способна поддерживать параллельную обработку нескольких копка вершшш ОВД. Физический адрес команды вычисляется непосредственно в процессе сьгцюлгтш.

Анализ методов тестового диагностирования МПД показывает необходимость развития функционального подхода для потоковых стратегий вычислений. Хорошо зарекомендовавшие себя методы построения' тестов, построенные на поведенческих моделях, таких как Сети Петри, схемы алгоритмов и программ, требуют своего развитая для потоковых моделей вычислений. Цро-ведеяюз исследование модели вычислений СПД показывает аоз-шаяость ее использования в качестве диагностической модели.

- б -

Такие характерные особенности СПД как прямая интерпретация модели на структуру машины, наглядность и компактность описания, позволяет использовать СПД в качестве модели как Цля построения ПТ так и ТВД. Являясь одновременно языком формального представления исправной МПД и множества дефектных вариантов МПД , СПД позволяет моделировать как программные так и аппаратные средства машины.

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

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

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

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

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

БИС и СБИС, сложность структуры, наличие микропрограммного уровня управления, модульность структуры, параллельность вычислений, наличие М1М0 режимов вычисления, асинхронность работы машины, недетерминированность хода вычислительного ппл-чесса .

Как следствие недетерминированности, в динамических МВД появляются дополнительные сложности, связанные с тем, что вычислительный процесс протекает на недетерминированных ресурсах, то есть, практически невозможно повторить ход вычислительного процесса. Для корректного решения задач тестового диагностирования необходимо использовать механизмы закрепления вычислительных рэсурсов за решаемой задачей или тестом. Такие механизмы имеют большинство современных МИД,, поэтому данное ограничение не сужает существенно диагностируемый класс МВД.

Определение дефектов и их влияние на ход вычислений чв уровне модели вь!числений СПД позволяет определить осн'овнип классы дефектов. Для задайия модели дефектов расширим определение графа

Б - Б* 11 "С ,

где бте (Уу?, ЕуО - исправный правильно построенный граф, Б'-неисправный граф, вследствии наличия дефекта с1 в графе й«.

В' = (Г,Е V ) и (Уи, Е') и (V', Е') .

Под множествами У(Е') понимается два вида неисправностей: отсутствие вершины (дуги) из Ун ( Ек ) и/или появление лишних вершин (дуг).

Аналогично определяется разметка М = Ш и М\ Ш - разметка, которая приводит к исправному дереву достижимости разметок, М' - разметка, приводящая к неисправному дереву. Под М' понимается два вида неисправности: отсутствие какой-либо фишки, либо появление лишней фишки. При интерпретации СПД под М' понимается искажение данных, соответствующих некоторой фишке. Дефекты на СПД классифицируются на две группы: дефекты , влияющие' на ход вычислительного процесса и дефекты,влияющие на результат вычисления при интерпретации СПД. Дефекты первой группы нарушают условия корректности С1Щ

: .чистоту, живучесть, безопасность, детерминированность. Дефекты' второй группы связаны с искажением данных, . помеченных фишками. В свою очередь выделяются четыре основных типа дефектов, в зависимости от объекта искалшАш: искажение сияаи, вершин, правил зажигания и пакетов.

Каждый из перечисленных типов анализировался отдельно. При дефекте искажения связи исследовались дефекты типа обрыв, появление ливших дуг, обратных связей, перепутивание на входах и выходах вершин различных типов. Например, при дефекте типа появления лидаий дуги, выходная фии.-ш присутствует не на заданной дуге е , а на лишней дуге е' :

Уе„ С (V- . И ) V» £. V*, е. £ Ей ,

ЫСе„) - 1 Зе] С е] £Е', Щер - 1.

Дефекты искажения вершин, функция, реализуемая вершиной СПД. отражает реализации кода операции (КОШ в ыал»ше-

( У,, ... , У.) ~ Г ( X,, , х^

где Г' ф Г, Г£.? - доходная функция верешш,Г ---> Г, ■Г* -дефектная функция вершшы, Р - множество всех сдаствую-езех функций (КОД). Дефекты первой тика искажав? верили/ и фориируиг. ложный,. но сущйствундйй в системе кшшд ШЩ КОП ( Г' £. Ю. При этой рассматривается различна варианты иска-вгния в аависншстн от изшиениа сешнтшш тша данных, фи ьтором "типе дефектов (Г*<£ П формируется несуществующий ШП.

Дефекты искажения правил ааждо-ашш. Одшш из проявлений искажения является ложное зажигание щи отсутствие необходимого зажигания вераеиш.

Рассматривается два варианта сотого ^рыштшалшя:

- срабатывание осудастшшетса при негоговыж входных данных:

Vе-' V- , &0. Ы (е,,) - О;

- срабатывания осуществляется вря шшщш выходяай фиши

у вершины:

Уе.б. ¿/V.,, М), М(е„) = 1 и 1е- £ V», М ), М (е-) = 1 .

При этом 'возникают варианты неверной работы указателя готовности, в том числе постоянное присутствие или отсутствие готовности.

Искажение пакетов описывается формулой:

М), М'(е-) - 1, С М'З -----> О',

где СМ'] -значение М'(е ), Б'- область дефектных данных.

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

Рассмотрены и определены условия обнаружения всех перечисленных типов неисправностей. Условием обнаружения неисправности типа нарушение живучести является котроль времени выполнения потоковой программы. Сигнал, вырабатываемый таймером, является диагностическим признаком зависания.

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

Для обнаружения неисправности типа искажение хода вычисления, необходимо контролировать трассу вычислений. Способы контроля трасс■ основаны на сравнении эталонной трассы, заданной как последовательность срабатываемых вершин, с текущей, контролируемой трасссой.

- 10 -

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

В третьем разделе рассматриваются вопросы разработки метода тестового диагностирования. Мэтод состоит из следукг ших этацов:

- нахождение признаков исправности , построение эталонных матриц СПД;

- построение матриц неисправностей;

- формирование диагностических признаков-,

- построение тестовой последовательности на основе СЩД.

Еа первом этапе строятся признаки исправности: определяются последовательности и матрицы зажигания вершин, активизируемых дуг, фишек и сигналов сравнения.

Матрицы неисправностей определяются как модификации соответствующих матриц под действием неисправностей, рассмотренных в разделе 2.

Например, исправная последовательность зажигания вершин: и последовательность этих же вершин с неисправностью типа' изменение хода вычисления ' 'Представляется а виде;

(У - { V, , .... , VI , + 1 , ... , V« >;

</'- IV, ..... V;., , V] , , ... , V-}, 1

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

В работе рассматривается построение тестов выделенных

¡еисправностей: зависание программ (живучесть)-, появление лусора, изменение хода вычислениями результат вшислений. Доследовались вопросы построение ПТ и ТПД. Построение тестот ведется по диагностическим признакам.

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

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

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

Б результате выполнения тестов на алгоритмически уровне - уровне СПД, можно определить неисправность ШД с глубиной до дефектной' вершины (функции) или связи. Для уточнения места дефекта вплоть до ТЭЗа, необходимо построить ' микропрограммные тесты. Полученные результаты моделирования свидетельствуют о достоверности и полноте построенных тестов.

■ В четвергом разделе рассматриваются вопросы организации и функционирования №Д с СВК. СВК реализуются как ДП и средствами, встроенными в ПЭ." В работе предлагается обобщен-

ная структура МОД с ДП - ми. ДП могут жестко закрепляться ва конкретными Ш заранее иди осуществлять закрепление динамически', по ходу решения задачи пользователя в зависимости от полезной нагрузки ГО. В первом случае Необходимые тестпрог-рамш храняться полностью в основной памяти машины и извлекаются при включении режимов тестирования- Во втором случае, тесты храняться в памяти без адресов назначения, которые формируются программно в ДП, в зависимости от полученной информации о свободных от нагрузки ГО системы. Выбор числа ДГ определяется как компромисс мевду необходимыми программно -аппаратных затрат и эффективностью диагностирования.

В работе рассмотрен алгоритм,функционирования ДП. В рентах тестирования, из основной памяти МПД, тесты загружается в локальную память диагностируемых ГО. Управление пересылкой и процессом тестирования осуществляется ДП- Результат выполнения теста в виде последовательностей диагностических' признаков зависания, сигнатур, сигналов сравнения, поступает в ДП для дальнейшего анализа, постановки диагноза и определения типа неисправностей. В случае обнаружвния е ходе теста одного или нескольких дефектных ГО, ДП модифицирует текущую тее?программу, исключая неисправные ГО для продолжения тестирования. Одновременно неисправные ГО могут тестироваться на микропрограммном уровне тестами иэ локальной памяти микропрограмм ДП, для дальнейшей локализации неисправностей вплоть ло ТЭЗа.

ШШ режим позволяет совмещать во времени тестовые проверки с решением основных задач.' Обнаружив свободный и исправный ресурс, ДП может подключить его к рабочим ресурсам, заменяя подозреваемый на наличие неисправности загруженный задачей ГО, что обеспечивает возможность построения отказа-устойчивых архитектур.

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

- 13 -

ОСНОВНЫЕ ВЫВОДЫ И РЕЗУЛЬТАТЫ РАБОТЫ

В диссертационной работе получены следующие основные научные и практические результаты:

1. Предложен и обоснован метод диагностирования МЦЦ, отличающийся уровнем представления модели вычисления СПД;.

2. Впервые формализована и исследована задача построения диагностической модели на СПД. Проведена классификация моделей дефектов для определения условия полноты тестов.

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

4. Предложены алгоритмы построения ПТ и ТПД для диагностируемых неисправностей.

5. Предложены алгоритмы функционирования и структура ДП в МПД для реализации предложенных тестов.

'б. Обоснована целесообразость применения в составе ДП специализированного диагностического средства - КСА.

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

1. Тестовое диагностирование машин потока данных/ Фаиз М. С., Календарев А. С. // Распараллеливание обработки информации; тез. докл., Львов, 9-14 октября, 1989. - С. 166-167.

2. Сигнатурный анализ в конвейерных вычислительных системах/Календарев А. С., Фаиз М. С., Матвеев И. Ю. //Автоматика и вычислительная техника. - 1989. - N 2. - С. 79 - 83.

3. Многофункциональный конвейер с встроенными средствами тестового диагностирования/ Фаиз М. С., Календарев А. С.. Григорькин А. Я. // Электронное моделирование. - 1990 - N1

С. 41 - 44. •

4. Логическое управление тестированием асинхронных вычислительных систем с не-- фон - Неймановским управлением / Календарев А. С. , Липецкая Е Д. , Матвеев И. Ю. , Фаиз М. С. // тез. докл. XI Всесоюзного совещания по проблемам управления

- 14 -

- Ташкент, 1969. - С. 248 - 249.

5: Мзде ли дефектов на схацах потоков данных / ВодяХ( А. Я . Иванов С. Е-, Календарей А. С., Матвеев И. Ю., «ада Ы. С Леиингр. элекетрогехн, ин-т. - л. Л99&. - 46 с. - Деп. I? ВИНИТИ 28.09.90 , N Б182 В90.

а. л-ч;. 1621034 СССР, МКИ 8 Об V 11/00. Устройство дла веления У М- ,р. Фай? А., с. Календарев, и. ш ^твеев4 ¡^В- Ег аанкор СССР - » 4428923/24; ааям.~Н3.0&Лв88| Оп*бл. I6.QI.9I, Еел. »2.-6 с

Пер. к печ. 18.03.93. Формат 60 х 84 1/16 Шч. л. 1,01 7ч, к изд. д.. 1,0, Тиран 100 окз. Зак. £ Бесплатно.

Ротагцшнр С.-П6. ГдТУ 19737&, С{1ьст-11этербург. ул.Проф. Лоповд»б.