Введение к работе
- З -
Актуальность работы. Интенсивное развитие современного производства базируется на широком применении средств вычисли-гельной техники и создании на ее основе крупных систем, к которым относятся и системы автоматизированного проектирования (САПР). Как подчеркивается в Общегосударственной программе информатизации России, особую важность имеет информатизация и автоматизация производственных процессов на всех стадиях инновационного цикла : исследовании, проеіг. нровании, технологической подготовки производства и реализации продукции.
Архитектура распределенной САПР представляет собой совокупность подсистем различного функционального назначения, функционирующих на комплексе технических средств, как правило, на базе локальной вычислительной сети. Полное использование возможностей сетей ЭВМ в САПР сдерживается трудностями разработки и внедрения коммуникационной обслуживающей подсистемы, что привело к тому, что ватраты на устранение функциональных отклонений в программном обеспечении САПР могут достигать более половины общего времени и стоимости его разработки.
В этих условиях особое значение приобретает решение проблемы разработки качественного коммуникационного программного обеспечения для САПР. В настоящее время существует ряд методов разработки качественного коммуникационного программного обеспечения, предназначенных для проектирования, отладки и тестирования программных комплексов, выполняющихся в сети ЭВМ. Анализ этих подходов повволил выявить присущие им ограничения, которые не позволяют их эффективное использование в САПР. Существующие методы ориентированы иди на всесторонний анализ простых коммуникаций, или обладают значительной трудоемкостью и сложностью, которая не оправдывается при проектировании коммуникационной подсистемы САПР.
В связи о вышеизложенным, актуальными являются вопрос повышения адаптируемооти и времени существования САПР за ачы снижения ватрат на проектирование и модификацию коммуникационного программного обеспечения САПР.
Целью диссертационной работы являетоя разработка методических, ыатематичеоких и программных оредств автоматизирован-
- 4 -ной отладки ..оммуникациошгаго программного обьопАчения ОАШ обеспечивающях повышение качества и снижение ватрат на раэрг ботку протоколов вычислительных сетей САПР и учитывающих спещ фические особенности распределенных САПР, и внедрение их практику для разработок конкретных коммуникационных подсистем.
Основные- методы исследований Для теоретического обосновг
ния поставленных задач использован аппарат теории обшей адгеС
ры, теории отношений; теории программных алгебр, теории экспет
тных систем. .
Научная новивна
К основным научным результатам, полученным лично авторої представленным в диссертационной работе и вынесенным на ващиті относятся: :
- структурная модель протоколов коммуникационного прог
раммного обеспечения. Она включает базовую коммуникацию о але
ментарной структурой и способы построения сложных коммуникации
- продукционная модель НПО САПР и методика ее получения і
структурной модели КПО методом логической характериаации;
методика включения в продукционную, модель частично or редеденных влементг і КПО; . '
методика диагностирования КПО, повволяющап локализовал ошибки в КПО на основе продукционной модели КПО и варвгистрирс веной отладочной информации.
Практическая ценность ревультатов диссертационной рабої ваключается в следующем.
Предложенная архитектура, методики, алгоритмы послулаи основой для разработки программного комплекса системы автоматі вированиой отладки КПО САПР, который обеспечивает вовможнооти:
сокращэния числа вздач, решаемых проектировщиком в хо; разработки САПР;
упрощения процедуры проектирования и внедрония КПО, Р8! лизукдого протоколы вычислительной сотк САПР, что приводит сокрацэни» времени проектировании, ввода в експлуатації» и адш тации системы.
Геадиаащгя и внедрение ревультатов работы. Теоретические практичесіжо результаты данной диссертационной работы бы. внедрены при соэдании распределенной системы информационно) обслуживания САПР технологической подготовки производства в ні
учно-исследовательском институте вакуумной техники им. С. А. Шк-пзтского, а'такяэ.при совдании комплексной системы автоматизации технологически подготовки производства в НПО "Утес".
Апробация работы.
Основные результаты работы докладывались и обсуждались на
Всесоюзной научно-практическом семинаре "Гибкие
автоматизированные производства, их проектирование, технология
и внедрение" (г. !.>скза, 1986г.},Всесоюзном научно-техническом
семінаре "Шііфомиїшатюрпио элементы и устройства
робототехннческих и вычислительных систем" (г.Москва, 1986 г.). Всесоюзной научно-технической конференции "Создание автоматизированных рабочих мест' управленческого персонала па мини- и ' микро-ЭВМ". (г.Томск, 1986 г.), Научно-практической конференции "Оиотемы автоматизированного проектирования в машино- и приборостроении" (г. Кишинев, 1986 г.), 4-той Всесоюзной школе-оеиинаре молодых ученых и опециаяистов по вопросам проектирования и внедрения в народное хозяйство автоматизированных систем управления и обработки информации" (г. Юрмала, 1887 г.), 'Пколе "Программное обеспечение гибких производственных оистем*' (г.Калинин, 1S87 г.).
Публикации. Основые положениядиссертации отражены в десяти опубликованных печатных работах.
структура и объем работы. Диссертационная работа состоит ив введения, четырех разделов, заключения, изложенных на 140 страницах озновного текста, риоунков и таблиц, списка использованных источников ив 84 наименования, и приложений.