Введение к работе
„',...1 Актуальность радіти, Одной из пачнсйітих проблем,которые газнішаят при проектировании систем управления, является проблема синтеза упрааляг/цего устройства с одно времени: гми средства.ш тестирования. Поэтому ва;кно обеспечить контроль работоспособности системи ещё на ранних стадиях её проектирования. Модель конечного автомата и методп декомпозиционного синтеза устройства широко используются для целей проектирования и контроля систем управления. Тесты, построенные на основе контрольных экспериментов с автоматами, учитывают иш^ориаига об объекте на разных уровнях абстракции, обеспечивают високую достоверность результатов проверки и уменьшают размерность ропаетх задач. Поэтому актуальним я ал лоте я задачі приложения' теории экспериментов с автоматами для построения тестов в процессе декомпозиционного синтеза дискретной управлявших устройств (ДУУ).
Цель работы. Целью работы является разработка мето
дов построения проверяюще, тестов для дискретных управляющих уст
ройств, построенных посредством декомпозиционного синтеза микрепро-
грачмннх автомаг,"ч и реализоЕЛ.чнгас в базисе прогряліпіруємих логиче
ских устройств. ;
И о т о д к исследования. В работе используются методы «з 'разделов дискретной математики и общей алгебри,а именно: методы теории булевых функций,структурной и алгебраической теории автоматов, теории градов.
Научная новизна работы состоит в следующем:
проведен анализ свойств микропрограммных автоматов, реализованных в базисе программируемых логических устройств,и влияния неисправностей на их поведение;
предложен метод построения проверяющего теста для микропрограммного автомата и сети микропрограммных автоматов без зиходов,реали-зоп.-іннчх на Гиг.!;
НТК4.".;! ГС".:.!.-.-.,;,;: с ."К Г
n)/KU!a:,XH їлй'Гсд; іністр^ціт'-'.г ;;'";:'.i-f.c.\ь:іі"..; no:^:1,01 мп-'чиюо'геи для некогоріп; специальны:; клйсесш tt і"'.- -''юя;
предложен метод нрпобразоіззнпл произвольного конечного автол?ата D «-лломат, облогіалл'і:: коротко!": контрольной последовательность;;}.
її р а і: т к ч є с ко и з її a ч є н » є р а б о ї ы определяется тем, что
разработаны алгоритмы построения проверяющих тестов для ІЯІА и сети ЫПА без . выходов, реализованное на прогрпммируемьк логических мат -рицах;
предложены метод и алгоритмы построения тестов для автоматных сетей, компонентами когорьк являются автоматы Ыура или Миля. Тест является композицией контрольны: последовательностей компонент сети;
разработаны алгоритмы синтеза легко тестируемых автоматних сетей:
предложена методика построения проЕЭрякких тестов Для ДУУ, ре -ялизовашдк в виде сети микропрограмма: автоматов без еьгходов. Методика использована при построении тестов, обиарукиза'оцих одиночные неисправности в ШК и константные неисправности на линиях соединения оленейто?;
перо'глт-.-шные метод:-! нашли приложение в аш'онатпзироврпнои сие
тепло дрко":!03'.н "ионного синтеза ДУУ «, шедренноіі б практику про-
енТИрОКРЧП'Ь
В и е д в.е :: і: с і- є з у г. ь у а т о к. Реоультчт-ч дис/ергачкочН' рлйотн Епедрепк т: і;:к;ен'>р;!у;.> практику з институте электроники и ілк'ке-лителькол те :н;и-;: г. Гиги, г; Таллиннской ИУД Зет, 1Ш0 БГії, в констру--кіог.ском блр іьіС "\j ;e;;'ii,o:ip;-f'op'' г, Хары:очч.
_ S -
Результати работа используются при ведишги практических и лабораторних работ в Таллшшском .техническом университете, фактическая цеішость работа подтверждена актами о внедрении.
Публикации и апробации р а 5 о т u . Зсего по данной тематике опубліковано II печатных работ, в циссертационной работе использовано 9, перечень которых приведен в <онце автореферата.
Результаты работа докладывались на порвой Международной сонференции. молодих учбнях "Проблеми проектирования і! применения декретных систем в управлении" (Минск, 1977г.);
- IV,V и VII Всесоюзных совещаниях по технической диагностике
і отказоустойчивости (Черкассы 1979г., Суздаль 1983 г., Саратов
:990 г.);
постоянно действующем семинара в КШПШ(Донецк, 1984г.);
всесоюзном совещании по отказоустойчивости и надб>"юста Ленинград, 1986 г.)
- постоянно действующем семинаре "Теория автоматов и е5
приложения" ( Рига, 1986 г.);
научно - технической конференции "Пути повышения ффективносги использования вычислительной техники" (Таллинн, ЭБЭг.);, ,..
Международной конференции по отказоустойчивым ычислителышм системам (Варна, 1990г.);
- постоянно действующем семинаре 'Теория проектирования
декретных устройств " в ТТУ (Таллинн, 1991 г.).
Структура работы. Диссертация состоит, из «яти лав, введения, заключения, списка цитированной литературы к риложения. Во введении проьодится обзор задач, решаемых в данной
- в -
работе и обсуждается практическое применение предлагаемых решений. Первая глава является вспомогательной, в которой введены основные понятия и определения. Во второй главе проводится анализ поведения автоматных сетей, реализованных на ПШ, и предлагается метод построения проверяющего теста. В третьей главе рассматриваете? метод построения проверяющего теста для сети автоматов в виде композиции контрольных последовательностей её компонент. I четвёртой главе исследуются свойства классов автоматов, имемциз короткие контрольные последовательности. В пятой главе предлагаются методы преобразования конечных автоматов в автоматы этого класса. В заключении сформулированы основные результаты, приведенные і раооте. В приложении приведены акты о внедрении. Работа содержи: 180 страниц машинописного текста.