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

ХАРКІВСЬКИЙ ДЕРЖАВНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ РАД І О ЕЛ ЕКТРОН І К И

МОНЖАРЕНКО ІРИНА ВІТАЛІЇВНА

УДК 681.32:519.713

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

05.13.12 — системи автоматизації проектування

АВТОРЕФЕРАТ дисертації на здобуття наукового ступеня кандидата технічних наук

Харків 1998

Робота виконана в Харківському державному технічному університеті радіоелектроніки, Міністерство освіти України

Науковий керівник - доктор технічних наук, професор

Хаханов Володимир Іванович, Харківський державний технічний університет радіоелектроніки, професор

Офіційні опоненти: доктор технічних наук, професор

Загарий Генадій Іванович, Харківська державна академія залізничного транспорту, завідуючий кафедрою;

доктор технічних наук, професорТупкало Віталій Миколайович, науковий центр “Евробізнес Тренінг Консалт”, директор

Провідна установа: Харківський державний політехнічний університет, кафедра автоматіки і телемеханіки, Міністерство освіти України, м. Харків

Захист відбудеться 26 листопаду 1998 року в 14 годин на засіданні спеціалізованої вченої ради Д 64.052.02 при Харківському державному технічному університету радіоелектроніки за адресою:

310726, м. Харків, пр. Леніна, 14.

З дисертацією можна ознайомитись в бібліотеці Харківського державного технічного університету радіоелектроніки за адресою:

310726, м. Харків, пр. Леніна, 14.

Автореферат розісланий 22 жовтня 1998 року

Вчений секретар >—_

спеціалізованої вченої ради "Тіезкоровайний В.В.

ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Актуальність теми. Розвиток сучасних систем автоматизації проектування в області обчислювальної техніки визначається не тільки могутніми програмно-апаратурними засобами розробки, але і якісно новим п ідхдом до створення гетерогенних компонентів на кристалі по HW/SW-технологіях (системи: COSIMA. POLIS, RASSP). Нарівні з нарощуванням потужностей апаратурного забезпечення станцій автоматизованого проектування, постійного оновлення парку універсальних CAD-систем подальший розвиток знаходять і спеціалізовані програмні засоби (SOLAR, PTOLEMY, Speedsim/З), орієнтовані на розв’язання сервісних задач, пов’язаних з діагностичним обслуговуванням виробу, що розробляється. Провідні фірми-проектувальники (CADENCE, SINOPSYS, MENTOR GRAPHICS) і виробники (IBM, HP, INTEL, MOTOROLA) не мають розбіжностей з приводу розв’язання проблеми створення діагностичного забезпечення об’єкта насталії його проектування. Програмно-апаратурна надмірність, визначувана введенням у виріб средств, засобів тестування і відновлення працездатності, мінімально вимагає додаткових витрат у розмірі 25 %. Але споживачі практично завжди готові оплачувати послуги, що забезпечують якість та надійність обчислювальної техніки. Проте кошти автоматизації проектування ще далекі від досконалості у частині створення діагностичного забезпечення, що підтверджується невисокою глибиною діагностування дефектів (у несправної плати) при тестуванні сучасних цифрових виробів, що відмовили.

Задача підвищення глибини пошуку дефектів при мінімізації тимчасових і матеріальних витрат розглядається в комплексі проблем технічної діагностики, яка завдяки інтенсивному розвитку' займає провідне місце серед фундаментальних технічних наук. Цьому сприяють праці вчених: П.П.Пархоменко, А.М.Романкевич, В.П.Чипуліс, Д.В.Сгіеранський, Р.Й.ІІІейнауськас, Л.В.Дербунович, В.П.Калявін, І.Ф.Клісторін, Р.Й.У-бар, Ю.В.Малишенко, Скобцов Ю.А., С.Г.Шаршунов, А.Е.Таргамадзе, А.А.Гремальський, M.Breuer, A.Friedman, S.Thatte, J.Abraham, M.Abrarnovici, A.Parker, D.Agwaral, J.Hayes, Y.Levendel, P.Menon, S.Chappel, S.Szygenda, C.Robach, Y.Zorian, B.Courtois, T.Baker.

Враховуючи недосконалість засобів САПР при розв'язанні окремих задач, розробники створюють спеціалізовані програмні продукти, оріє-

нтовані на ефективне розв’язання окремих питань в доповнення до САО-системи, що використовується. Така постановка зумовлена доступністю форматів файлових структур систем проектування, що забезпечує їх відкритість і розширюваність.

Таким чином, для кваліфікованого користувача САО-системи практично завжди існує можливість її вдосконалення і доробки.

Зв’язок роботи з науковими програмами, планами, темами. Реалізація результатів роботи здійснювалася відповідно до координаційних планів НАН України, Міністерства освіти:

1.13.5.6. “Розробити систему автоматизованого проектування діагностичного забезпечення мікропроцесорних радіоелектронних пристроїв”, координаційний план “Кібернетики” АН УССР і Мінвуза УРСР на 19861990 роки; “Програми науково-дослідних і організаційно-методичних робіт по інформаційно-методичному забезпеченню вищої освіти в умовах многоступенчатости”, наказ Мінвуза України №68 від 31 марти 1992 р.; Держбюджетних НДР: 234-1 “Програмно-інформаційне, методичне забезпечення підготовки бакалавра”, 453-1 “Дослідження і розробка перспективних способів проектування і діагностика електронних систем із застосуванням їх в учбовому процесі по комп’ютерній інженерії”.

Об’єкт дослідження цифрові модулі, що включають компоненти високого ступеня інтеграції, з довільною структурно-функціональною організацією.

Мета дисертаційної роботи проектування структурно-функціональних алгоритмів діагностування цифрових модулів для відновлення працездатності пристроїв обчислювальної техніки на стадіях виробництва та експлуатації.

Для досягнення поставленої мети в роботі вирішені задачі:

— створення об’єднаних моделей незалежних логічних структур в рамках єдиного кубічного покриття (КП) за допомогою розширеного алфавіту кубічного числення;

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

— проектування безумовних алгоритмів діагностування несправностей на основі використання багатозначних таблиць несправностей (БТН) і структури цифрового пристрою, що дозволяє на ЗО % зменшити область

з

дефектів, що підозрюються;

— проектування умовних аліорптмів контролю і пошуку дефектів, орієнтованих на виявлення макродефектт у функціональних та кометру іл ивнич едеме І і І ,|\ МіМОДПМІІ Зпорої HO і о дослідження і половинного розподілу області, ідо підозрюється;

“ розробки СІ руки ри тест’Oil ри годного цифрового пристрою і методів ііоіо безумовіїого діагностування іззаданоюдозволяючою здатністю на основі застосування БТН і введення апаратурної надмірності, що забезпечує незондове сканування істотних внутрішніх ліній.

При розв’язанні задач використані методи досліджень, засновані на математичних апаратах: булевої алгебри, теорії множин, кубічного числення, теорії автоматів і графів, технічної діагностики, логічного моделювання.

Наукову новнзігу визначають алгоритми безумовного і умовного діагностування, спроектовані на основі аналізу багатозначних таблиць несправностей і структурно-функціональних моделей цифрових об’єктів, шо підвищують глибину діагностування несправностей і зменшуючі вартість реалізації діагностичного експерименту, яка включає:

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

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

— алгоритм умовного діагностування макродефектов методом зворотного дослідження з використанням процедур структурного об’єднання і перекреслення;

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

— SL-алгоритм діагностування тсстопридатних цифрових структур на основі незондового сканування точок контролю.

У процесі розгляду згаданих вище питань отримані практичні результати, що мають значність, які виносяться на захист і вирішальні задачі:

— створення програмних засобів, реалізуючий алгоритми підготовки і проведення діагностичного експерименте з метою зменшення тимчасових і матеріальних витрат відновлення працездатності обчислювального пристрою на стадіях виробництва і експлуатації;

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

— впровадження алгоритмічних реалізацій на підприємствах і використання програмних засобів в учбовому процесі університетів.

Достовірність і обгрунтованість теоретичних результатів підтверджується впровадженням і експлуатацією програмних засобів моделювання несправносте» цифрових пристроїв, проектування умовних і безумовних алгоритмів пошуку дефектів, реалізацією модельних і натурних діагностичних експериментів над цифровими модулями, доказом ряду теорем.

Результати роботи у вигляді програмних засобів використовуються на підприємствах (AT “Харенергоремонт”, міжнародного консорціуму “Енергозбереження”, AT НДЇ РВ м.Харкова), а також в учбовому процесі ХТУРЕ, Харківського військового університету, Тернопільського державного університету.

Випробування результатів досліджень здійснювалося на: 4th int. Works ofWorkshop Mixed Design of Integrated Circuits and System”, 1997, Poznan, Poland; Зй міжнародної конференції “Теорія і практика передачі, прийому і обробки інформації”, 1997, Туапсе; міжнародної конференції по технічній діагностиці, 1997, Івано-Франківська; міжнародної конференції “Функціонально-орієнтоватобчислювальні системи”, 1993, Алушта; школі-семінарі “Мікропроцессорние системи зв’язку і керування на залізничному транспорті”, 1993, Алушта; восьмої міжнародної школі-семінарі “Перспективні системи керування на залізничному, промисловому і міському транспорті”, 1995, Алушта; міждержавному науково-технічному семінарі “Надійність, відмовостійкість і продуктивність інформаційних систем”, 1993, Туапсе; науково-технічних конференціях професорсько-викладацького складу ХТУРЕ (1995-1998).

Публікації. Результати наукових досліджень відображені в 13 друкованих наукових працях, в тому числі 1 монографія.

Структура і об’єм роботи. Дисертація містить 191 сторінку, 24 малюнки, 8 таблиць, об’єднаних в структуру, що включає: вступ, 5 розділів, 25 підрозділів, висновки, список використаних джерел з 132 найменувань, 3 додатки.

Вступ містить обгрунтувашїм актуальності проблеми, що вирішується, формулювання мети і об'єкта задач дослідження, сукупність наукових р-,'пульта і ів, що виносяться на захист, відомості про їх випробування і практичну реалізацію.

Перший розділ являє; собою аналіз розвитку основних наукових напрямівтехнічноїдіагностики. пов’язаних з створенням моделей цифрових обьектов; моделюванням несправностей і справної поведінки; проектуванням алгоритмів діагностування і проведенням діагностичного експерименте. З трьох основних форм опису дискретних об'єктов: аналітичної, графічної, табличної перевага віддана до останньої, яка зручна для сприйняття інформації людиною, технологична для машинного логічного аналізу, оскільки містить явні рішення задач прямої і зворотної імплікації. Єдиний недолік таблиць - розмірність усувається введенням надмірності у алфавіт опису станів змінних. Характеристики засобів моделювання несправностей і справної поведінки визначаються формою опису моделі дискретного об'єкта. Для отримання швидкодіючої системи використовуються компілятивні (аналітичні) моделі-програми, процес складання яких не піддається формалізації. Застосування інтер-претатквних таблиць істотно зменшує швидкодію аналізу вхідних перевіряючих послідовностей, тому на користь доцільності проектування алгоритмів інтерпретативного моделювання повинні представлятися вагомі аргументи. Засоби організації і проведення діагностичного експе-римента для пасивних цифрових пристроїв (ЦП), як правило, суміщають безумовні і умовні (зондові) алгоритми пошуку дефектів з обчисленням чергової точки контролю на основі аналізу результатів попередніх перевірок. При цьому глибина пошуку дефектів, число зондировань і швидкодія є суперечливими показниками системи діагностування. Частковий дозвіл згаданої суперечності можлив при внесенні надмірності в діагностичне забезпечення цифрового виробу, якій може служити; граф функціонально-гальванічних зв’язків, таблиця несправностей, постмо-делювання результатів елементарних перевірок, логічний або фізичний розрив глобальних зворотних зв’язків.

Другий розділ містить елементи вдосконалення математичного апарату кубічного числення, як результату еволюції трьох гілок проектування діагностичної інформації (Д І): табличних способів представлення функцій

примітивів, алгоритмів генераціїтестів, методів моделювання несправностей і справної поведінки синхронних цифрових автоматів. Кожний із згаданих компонентів має тенденцію до розширення алфавіту опису станів автоматних змінних в двох сусідніх тактах. Для алгоритмів моделювання — підвищення адекватності аналізу логічних станів, технологичность обробки КП на основі процедури об'єднання перекреслювань, використання кубічного покриття як модель несправностей при оцінки якості тестів.

Концепція моделі ЦП визначається функціями переходів, виходів узагальненого модельного (УМ-) автомата \У=<Х, У, 2ї", %,>, де X, У, X — множини вхідних, вихідних, внутрішніх змінних: 2(0=ПХ(і-1),Х(і),У(і-1),2(і-1)];У(і)=8[Х(М),Х(0,2(М),У(і-1)], орієнтованого на розширення простору кодування станів з метою компактного запису таблиці переходів-виходів ЦП на форматі змінних [Х(ї-1), ¥(1-1)] у вигляді кубічного покриття:

С = {С„ С2, С;, ..., Ст},

де с;= {сц, сі2,с^,..., сіп}, сй= {0, і, х, гі, х={о,і}.

Для запису таблиці переходів-виходів У М-структури застосовується двофреймовьій формат автоматних змінних пристрої, який використовує двотактний алфавіт кубічного числення:

А = {А°={С,Т,К={С,Т}},А1={{0,1,Х,2},Х={0,1}}1Ах={д=00, Е=01, Н=10,1=11, 0={<3,Н}, І={Е,І}, А={<2,Е}, В={ВД, 8={0,І}, Р={Е,Н}, С={Е,Н,І}, Р={0,Н,і}, Ь={(2,ЕЛ У={0,Е,Н}, ¥={0,Е,Н,1}, и».

Процедура векторного об’єднання векторних перекреслювань

Ш

Я = Ки(СіПЕ^0), (1)

І=1

(де Я до виконання процедури очищується: Уі(К;і=0); Е — вектор початкових умов) є основою для розв’язання задач аналізу (прямої і зворотної імпликації) в кубічному численні, яке представляє апарат формування і перетворення векторного геометричного булевого простору з метрикою, що задається відстанню по Хеммінгу між двома векторами С, С-, рівним числу пустих перекреслювань

Цс г4=і п Ці ~ 3 виконанням умов:

1) б(Сі,Сі)=0, якщо і тільки якщо С;,=С^

2) <І(СІ,СІ)=<І(СІ,СІ);

3) сі(Сі,Сі)+с1(Сі,Сг) > (1(Сі,Сг), для будь-яких {СрС^С^єС;

4) сКС^Ср > 0.

Процедура (1) використовується при моделюванні справної поведінки і несправностей ІІП, аналізі багатозначних таблиць несправностей в алгоритмах безумовного діагностуванні дефектів, визначенні несправної області в цифровому об’єкті при зондовому пошуку дефектів.

Теорема. Використання символа порожньої безлічі Т в доповнення до алфавиту {0,1, X} опису КП для визначення координат покриття не суперечить процедурі об’єднання перекреслювань.

Висновок і. Символ 2 в кубі С, визначає неістотність вхідної С^х і/або вихідної СУ координати при формуванні відношення вхідних і вихідних змінних.

Висновок 2. Символ Ъ може бути використаний для запису системи незалежних функцій: [У, =^(Х1); У2=в(Х2);...; У^СХр;...; Ук=і(Хк)], [(УіД= 1, к; ^)(Х| пХ(=0)], на об’єднаній безлічі істотних змінних: (Х,,Х2,...,Хр...,Хк, У,,У2,... ,Ур...,Ук)в форматі однієї таблиці. При цьому потужність об’єднаного КП визначається вираженням

сагс!а У = (в+ЕЦ) х где і=1,8.

Таким чином мультипликативна оцінка розмірності покриття сагсіт У = (б+ЕЦ) х Пт^ структурно незалежних функцій завдяки Ъ стає аддитивний.

Порівняльний аналіз обсягів КП функціонально складних цифрових і мікропроцесорних структур без та при використанні символа Ъ представлений нарис. 1.

Тут же представлені уточнені процедури прямої імпликації для моделювання несправностей і справної поведінки цифрових модулів із

Рис. 1. Аналіз обсягів КП цифрових структур

застосуванням графової моделі цифрової структури, яка також задається у вигляді кубічного покриття. Це дає можливість використати раніше розроблені процедури аналізу і мінімізації кубічних покриттів для моделювання графових структур.

Третій розділ містить алгоритми проектування процедур діагностування дискретних об'єктів, що використовують структуру функціонально гальванічних зв’язків еквіпотенціальних ліній. Вони засновуються на аналізі багатозначних таблиць несправностей, координати якої задані в алфавіті {0,1 ,Х=={0,1},и=(25}, яки являються результатом роботи засобів моделювання одиночных константних несправністей (ОКН). Мова йде про алгоритми моделювання несправностей одиночного константного типу О на тесті Т при заданій моделі справної поведінки Р, які вирішують задачу, вигляду:

Р-(Р,Т.О) і р>т=и(8(Т,Р)п8СГ,Р,Ц))=0.

Для цього запропонований матричний алгоритм аналізу дефектів, що використовує теорему. Несправність Су лінії прімітівного елементу (ПЕ), визначуваний координатою куба покриття С(е С перевіряється двійковим вектором моделювання Е, якщо при його перетині з кубом С( виконуються умови:

зи (СіЛЕГ0) & Зг (С\пЕ=0) => (Ц=Ци Су) & (Ог=Оги С\), де0 = (01,62,..., Бр..., От)— вектор несправностей, що перевіряються, Сує{0,1,Х}. Суіг— координата, що спостерігається, (і, г = 1, ш).

Моделювання кратних дефектів для ПЕ засновується на аналізі структури ЦП, якапредставленау виглядіматрицідосяжності-суміжності. Для кожної діагональної координати Мц, відміченої символом праворуч від неї будується вектор-рядок М;, в якому значення Му= якщолініяі є наступною для змінної і. Зліва від Мй аналогічно відмічається координата М1Й, якщо змінна § служить входом для елемента з виходом і. Матриця М = ||Му!) формується після ранжування ліній і елементів, що є необхідним атрибутом препроцесора. Лінії, відмічені символом “ - ” праворуч від Мі;, являють собою безліч наступників, зліва найближчих попередників, що є входами для ПЕ з номером і, зверху повна безліч попередників, знизу повна безліч найближчих наступників або виходи ПЕ, які мають входи з номером і. У процесі моделювання замість символа заносяться {0,1,и}, які відповідають ідентифікаторам ОКН, що перевіряються.

БТН, отримані внаслідок моделювання несправностей, використову-югься для їх структурного аналізу, де безлічі одиночних О’ і кратних констант них дефектів О" обчислюються по виразах:

Олі=! = ( П Оіі) \ ( и Оу);

І3 Уі(Му=І) Уі(Міі=0)

0"._1к = ( и Ои)\( и Оіі).

Iі УІ(МІІ=1) Уі(Міі=0)

Алгоритм аналізу БТН із застосуванням структури об'єкта обліку, шо моделюється впливу фактичного стану вихідних ліній, що спостерігаються, отриманих внаслідок виконання діагностичного експерименте, в середньому на 30% зменшує кількість дефектів, що підозрюються, що ілюструється рис. 2. Процедура орієнтована на пошук одиночних і

25і

20

15^

10

5

0 4--------------------

БТ17 СЧБ ПАС ПОС ТП12 ЭС-63 СП48Є БМК1И КД-НЗ

Мзлуль БП7 СЧБ ПАС ПОС ТП12 ЭС-63 СП486 БМК1И КД-НЗ

Фліки аналіз БГН 9 11 23 23 16 21 19 24 23

Сгрукг.аналіз БГН 5 8 1 23 12 16 14 16 14

Рис? 2. Аналіз базового и структурного діагностування

кратних константних дефектів в цифрових пристроях довільної структурної і функціональної складності з прийнятними обсягами початкової діагностичної інформації для схем, що містять до 500 ліній і 256 входо-виходів.

Розділ 4 представлений алгоритмами умовного діагностування, які при наявності апаратурної надмірності можуть бути перетворені в безумовні, з допустимою дозволяючою здатністю. Інтерес представляють передусім шігоритми: 1) зворотного дослідження, 2) половинного розподілу, 3) БЬ-тестуваиня. Перший заснований на застосуванні сигнатурного аналізу,

коли за результатом поточної перевірки формується чергова точка контролю:

Два логічних виходи перевірки задають альтернативні шляхи пошуку дефекту або визначення технічного стану об’єкта:

де Б= О0 и О; Б+ и 0~ = О; 0+ п =0, О0 — справний технічний стан; О область існування дефектів; 0+ (О') — область несправностей визначуваний перевіркою Р+ (Р~). Діагностична модель пристрою представлена графом функціонально-гальванічних зв’язків контактів мікросхем і цифрового пристрою в = {ЦєЬ, Рк(гєР}, де Ьу — (дуга) гальванічне відношення одного потенціалу між контактами різних конструктивов або примітивів; Р1г — (дуга або дуги Рккк-го ПЕ) функціональні відносини між вхідний і та вихідний г змінної. Для побудови алгоритму діагностування необхідні: повний перевіряючий тест відносно одиночних константних несправностей Т, еталонні сигнатури 8ЗТ всіх зовнішніх контактів мікросхем і тіпового елементу зміни (ТЕЗ), граф функціонально-гальванічних зв’язків Р° цифрового модуля:\У = {в, Т, 8зт}. З метою наближення моделей несправностей до реальних введені типи станів об’єкта:О={О0, Б,, 02,03, Ц;}, справний стан: Б0с= (§(Т,Р) п§*(Т,Р,Оі) = 8(Т,Р)); О, —відсутність гальванічного зв’язку між контактами різних мікросхем: 0І<=[5ЗТ(ЬІ) = 8ЗКС(ЕІ)&8ЗТ(ЕІ)^8ЗКС(ЬІ)]; - несправність на виході к-елемента або всередині нього: В2<= {\'Ч[8зт(Рк[) = 8ЗКС(Рк,)]& & Зг[БзТ (Ркг) ф 5ЗКс(Ркг)]}; Б3 — відсутність зв’язку між входом і шиною

константи =0, *1:03<= ^(И, =1}) = 831сс({з0, *1}) & 8ЗТ(Ц = И, ні})*

ф 8ЗКС(Ц)]; Б4 — несправність зовнішнього вхідного контакту ОДО:

^„(Ц) * в^О,) & 8зт(Ц) * 8зкс(ьр].

Для зменшення числа зондировань на початковому етапі діагностування виконується стуктурний аналіз схеми відносно елементарних перевірок зовнішніх виходів: У припущенні наявності в схемі одиночного

макродефекта, що характерно для об’єкта в період експлуатації, наявність несправності обмежується областю що отримується перетином

и

підсхем G ідо відносяться ло тих виходів, що спостерігаються L-Y, на яких зафіксовані негативні перевірки:

G° - Vj {nGj <- [S„ (L Y) * S^L Y)]}, 0=1,m) де П ■- підграф функціонально-гальванічних зв’язків, які є попередниками для лінії L Y; m - число зовнішніх виходів схеми. З області, що

гі .

шлозрісч і ься G потрібно виключати лінії (підграф»), які мають логічні шляхи до виходів схеми, що спостерігаються з позитивним результатом випробування:

G = Gn\Vj {uG; <= [S3T (LjY) = S3KC(L Y)]}, 0=1,m).

При допущенні наявності кратних дефектів в схемі область існування несправностей рівна об’єднанню підсхем, що відносяться до несправних виходів, за винятком об’єднання підсхем, логічно пов’язаних з справними виходами:

G = Vj {uGj- с= [S3T (LY) * S3KC(LjY)]}\Vj {uGj. «= [S3T(LY) = S3ICC(LSY)]}.

Середня оцінка відносного зменшення числа зондировань для встановлення діагнозу з використанням структурного аналізу для 9 оброблених модулів складає q— сагс!(АОПб)/саг<і(АОПс)=2,75.

Алгоритм половинного розподілу більш ефективний для послідовно-орієнтованих структур, на відміну від попереднього, що тяжіє до обробки паралельних. У його основі аналіз матриці досяжності з метою вибору чергової контрольної точки, що мінімізує функцію:

f = МАХ|; [MIN (А,, В,)],

де А, = card(Mj)|j п; В,= сагб(М-;)^=1М^-рядок матриці досяжності M=||Mjjl|, який визначає вектори одиничних координат, що ідентифікують зв’язок (функціонально-гальванічну) точки контролю і, відповідної номеру стовбчика, з вершиною підграфу, визначуваний діагональною

координатою М;і; М~ — стовбчик матриці досяжності М=|ІЦу!І-

SL(Scan Line)-алгорттидіапіостувашія для тестопридатної структури з використанням БТН і графа функціонально-гальванічних зв’язків еквипотенційних ліній. Апаратурна надмірність визначається наявністю мультіплексора, який має число інформаційних входів, рівного card(Xy)=(q-l)p, де р, q — число конструктивов, виходів, що спостерігаються. Кількість адресних входів, які є зовнішніми лініями схеми, що виходять на роз’єм одинаково card (Xs)= log2(q-1 )p. Крім того, схема має вихід Zs для сканування стану внутрішніх ліній. Тестопридатність

структури забезпечує технологичність генерування тестів, яка зводиться до побудови перевіряючих послідовностей для окремих функціональних елементів без необхідності транспортування перевіряючих здібностей на зовнішні функціональні виходи цифрового модуля. ГІри цьому проблема доставки тесту-сегмента до входів функціонального елемента залишається актуальною і вирішується відомими засобами. Враховуючи, що кількість елементів одинаково рц, довжина тесту в гіршому випадку визначається сумою довжин тесту-сегментів для кожного функціонального елемента:

сагсІ(Т) = ІсагсКТр, і=1,я; і=1,р.

Основні пункти БЬ-алгаритму представлені нижче.

1. Завдання по керуючих входах Хб режиму перевірки чергового функціонального модуля і=1, ч; і=1, р.

2. Подача на функціональні входи (X,,.Хц) тесту-сегментаТір, і=1, Я, з метою перевірки несправностей заданого класу.

3. Визначення експериментальної реакції елемента ^ по виходу 7^ і її порівняння з еталонними значеннями з подальшим формуванням матриці експериментальної перевірки:

® тг (Рц) = уг(р,.) [г =і,п(рірі,

де г — параметр тесту-вектора, п(Ру) — довжина тесту-сегмента для перевірки примітива п(Ру), Тг(Рц) і — еталонні і експериментальні

реакції на виході елемента (Ру), Уг(Ру) — вектор стовпець матриці експериментальної перевірки для виходу примітива Р~.

4. Виконання пунктів 1-3 реалізовується для всіх примітивів цифрового модуля, після чого здійснюється структурний аналіз БТН по отриманій матриці еспериментальної перевірки V з метою визначення безлічі одиночних або кратних константних несправностей, локалізованих в межах кожного конструктивного елемента.

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

Розділ 5 описує інструментарій системи діагностичного обслуговування цифрових модулів, що включає програмні засоби проектування моделей дискретних об'єктов і їх компонентів, моделювання несправностей і справної поведінки, побудови алгоритмів пошуку дефектів.

131-1 N. 1 і ШоСчб.ІИВОС ІІ І.ОНІ ГІ1І ироок'іуіііінпя: орієніапія на рішення прикінчи ІІХ задач діагностичного обслуговування цифрових об'єктеп на етапі ї\ сі ворення: висока іечно.юі ичність розроблених алгоритмів, безперервна модифікація і поповнення операційних і керуючих засобів. Існуюча версія програмного забе шечення становить 3000 рядків мов асемблера і Паскаль, об'єднаних в 17 програмних модулів. Операційна середа М5 005 і \VIND0WS. Необхідні ресурси сіаняартні.

ВИСНОВКИ

Результатом дисертаційной роботи потрібно вважати розв'язання задачі зменшення тимчасових і матеріальних витрат діагностування несправностей цифрових модулів з дозволяючою здатністю до функціонального елемента або конструктива завдяки розробці і застосуванню алгоритмів умовного і безумовного діагностування на основі побудови багаюзначнихтаблиць несправностей, використання струтсгури взаємопов’язаних компонентів схеми, введення надмірності.

Для досягнення резудькпу в процесі роботи над дисертацією були вирішені наукові і практичні задачі:

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

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

— проектування безумовних алгоритмів діагностування несправностей на основі використання БТН і структури цифрового пристрою, що дозволяє на ЗО % зменшити обдасть дефектів, що підозрюються;

- проектування умовних алгоритмів контролю і пошуку дефектів, орієнтованих на виявлення макродефекчів в функціональних і конструктивних елементах методами зворотного дослідження і половинного розподілу області, що підозрюється;

— розробки структури тестоприда гного цифрового пристрою і методів його безумовного діагностування із заданою дозволяючою здатністю на основі застосування БТН і «ведення апаратурної надмірності, що забезпечує незондове сканування істотних внугріїлніх ліній;

- створення програмних засобів, реалізуючий згадані алгоритми підготовки і проведення діагностичного експеримента з метою зменшен-

ня тимчасових і матеріальних витрат відновлення працездатності обчислювального пристрою на стадіях виробництва і експлуатації;

— веріфикація алгоритмів і моделей, впровадження практичних результатів, методики і програмні засоби в учбовий і технологічний процес з метою автоматизації проектування компонентівдіагностичного забезпечення цифрових модулів.

СПИСОК ОПУБЛІКОВАНИХ ПРАЦЬ ЗА ТЕМОЮ ДИСЕРТАЦІЇ

1. Контроль и диагностика вычислительных устройств и систем / Хаханов В.И., Кривуля Г.Ф., Рысованый А.Н., Монжаренко И.В./ Пол ред. В.И. Хаханова/ Харьков: ХВУ, 1997.— 304 с.

2. Хаханов В.И., Монжаренко И.В., Бедратый Р.А. Проектирование оптимизированных алгоритмов диагностирования устройств вычислительной техники // Радиоэлектроника и информатика,— 1997.— № 1.— С. 88-91.

3. Хаханов В.И., Монжаренко И.В., Бережная М.А. Диагностирование одиночных и кратных неисправностей в цифровых устройствах// АСУ и приборы автоматики.— X.: ХТУРЭ.— 1997,— Вып. 104,— С. 17-28.

4. Хаханов В.И., Ханько В.В., Бедратый Р.В., Монжаренко И.В. Структурный анализ многозначных таблиц неисправностей для диагностирования цифровых устройств// АСУ и приборы автоматики,— X.: ХТУРЭ - 1998 - Вып. 107 - С. 12-17.

5. Хаханов В.И., Кривуля Г.Ф., Монжаренко И.В. Кубическое исчисление для анализа автоматов// Информатика, кибернетика и вычислительная техника.— Донецк: ДонГУ, 1997,—Вып. 1.—С. 159-164.

6. Хаханов В.И., Монжаренко И.В., Бережная М.А. Двухтактное кубическое исчисление. II. Анализ моделей цифровых устройств//АСУ и приборы автоматики.— X.: ХТУРЭ.— 1997.— Вып. 106.— С. 93-105.

7. Hahanov V., Krivoulja G., Monzharenko I. Two-Frames Cubical Calculus for Modeling and Simulation of Digital Circuits. 4-m int. Works of Workshop "Mixed Design of Integrated Circuitsand System". Poznan, Poland. 12-14 June 1997. P. 195-199.

8. Хаханов В.И., Монжаренко И.В., Коваленко С.Н. Применение таблиц неисправностей для диагностирования вычислительных устройств. Тез. докл. 3 междунар. конф. "Теория и практика передачи, приема и обработки информации". 16-18 сент,— 1997.— ХТУРЭ Харьков

- Туапсе. С. 336-337.

9. Хаханов В.И., Кривуля Г.Ф., Монжаренко И.В. Структурный

анали з многозначных таблиц неисправностей для диагностирования цифровых устройств. Тез. докл. междунар. конф.— 1997,— Ивано-Франковск.- С.76-77.

10. ХахановВ.И.. Монжаренко И.В., МаксимоваН.Г. Зондовоедиагно-стирование и аначиз таблицы исправного поведения. Тез. докл. междуна-родн. научн. -техн. конф. "Функционально-ориентированныевычислительные системы".- Киев, Харьков, Алушта,— X.: ХПИ,—1993 — С.33-34.

11. Хаханов В.14., Монжаренко И.В. Диагностирование неисправностей по реакциям выходов объекта.—Тез. докл. школы-семинара,-Алушта - 1993 - Х.:ХИИТ.-1993 - С. 39-40.

12. Хаханов В.И., Монжаренко И.В. Ковалев Е.В. Система компьютерного моделирования цифровых и МП-структур. Материалы 8-й Международной школы семинара "Перспективные системы управления на железнодорожном, промышленном и городском транспорте.—Алушта-1995,- X: ХарГАЖТ.—1995,— С. 26.

13. Хаханов В.И., Бендиков А.В., Монжаренко И.В. Диагностирование технического состояния обьекта по реакциям его выходов. Тез. докл. межгосуд. научн.—техн. семинара "Надежность, отказоустойчивость и производительность информационных систем".— Туапсе,— Краснодар: НТО РЭС.-1993.-С.38.

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

АНОТАЦІЯ

Монжаренко Т.В. Структурно-функціональні алгоритми проектування процедур діагностування цифрових модулів. Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук по спеціальності 05.13.12 — системи автоматизації проектування. — Харківський державний технічний університет радіоелектроніки, Харків, 1998.

Дисертація присвячена питанням проектування алгоритмів аналізу цифрових структур для побудови безумовних і умовних процедур діагностування. Для мінімізації матеріальних і тимчасових витрат відновлення працездатності цифрових об’єктів спільно використовуються алгоритми безумовного і умовного діагностування несправностей. Базовою інформацією є багатозначні таблиці несправностей, структура об’єкта діагностування, еталонні сигнатури. Запропоновані алгоритми

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

Ключові слова: автоматизоване проектування, логічне моделювання, алгоритм діагностування, цифровий модуль.

Монжаренко И.В. Структурно-функциональные алгоритмы проектирования процедур диагностирования цифровых модулей.— Рукопись.

Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.12 — системы автоматизации проектирования.— Харьковский государственный технический университет радиоэлектроники, Харьков, 1998.

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

Ключевые слова: автоматизированное проектирование, логическое моделирование, алгоритм диагностирования, цифровой модуль.

Monzharenko I.V. Structurally-functional designing algorithms for diagnosing procedures of digital units. — Manuscript.

Dissertation on competition learned candidate degree of technical sciences on speciality 05.13.12 - designing automation system.— Kharkov state technical radio electronics university, Kharkov, 1998.

Dissertation sacred to analysis algorithms designing questions of digital structures for construction of absolute and conditional procedures of diagnosing. For minimization of fmantial and temporal expenditures of capacity reneval of digital objects jointly use algorithms of absolute and conditional diagnosing of disrepairs. As initial information serve ambiguons disrepairs tables, diagnosing object structure, standard signature. The Offered algorithms realized in appearance of program designing funds of ambiguons disrepairs tables, conditional and absolute procedures of diagnosing of constant disrepairs and macrofaults.

Key words: automated designing, logical design, diagnosing algorithm, digital units.

АННОТАЦИЯ

ABSTRACT