Введение к работе
Актуальность проблемы. Отечестізнньл и эарубелснкй опыт научно-технического прогресса пскаэььает, что автоматизация проектирования стала ва-гаюршее. составляющее комплексное автоматизации. Задачи, решаемые в различных отраслях про\а-тленности, требуют повышения организационной и технологической гибкости производства, внедрения автоматизированных систем в различные сферы производства, и в первую очередь в проектирование, управление оборудованием 'и технологическими процессами. .
Одним из важнейших направлений в комплексное автоматиза
ции является разработка систем логического управления, применя
емые в топливно-энергетических, машиностроительных, электронных
я других областях. Особенностью современных систем логического
управления является использование для их создания программируе
мых логических контроллеров, Поэтому подобнь'е системы стали на
зываться системами программно-логического управления, при про
ектировании систем программно-логического управления разрабаты
ваемся аппаратурная часть и программное обеспечение. Основные
затраты связаны с разработкой программного обеспечения. Прове
денный анализ требование показал, что подобные средства являют-
необходимкмн как на промышленных предприятиях, так и в научно -
исследовательских институтах. Таким обре ;оы, выбранное направ -
ление исследования настоящей работы связано с существующей пот
ребностью в разработке инструментальных средств, позволяющих
обеспечить автоматизированную разработку управляющих програш
для программируемых логических контроллеров. '
Цель работы и задачи исследования. Целью работы является исследование и разработка эпсективных методов и средств автоматизированного проектирования управляющих программ (УЛ) для программируемых логических контроллеров (iL)lK) и создание на этой основе системы автоматизированного проектирования УЛ для ЛЖ.
Для репвния поставленной цели были решзны следующие зада
чи: "
анализ методов и средств автоматизированного проектирования УЛ для ЛЖ;
обоснование и разработка структуры САПР УЛ;
обоснование и разработка математической модели структуры
- к -
объекта управления и структуры управляйте? программы;
разработка методики и алгоритмов автоматизированного синтеза Уіі;
разработка методики и средств Еэрификации Уіі;
разработка средств адаптации программной архитектуры инструментального комплекса;
разработка лингвистического, информационного и лрограмм-ного обеспечения инструментального комплекса.
Методы исследования. Для решения поставленных задач бь;ли использованы методы системного анализа, структурного программирования, теории автоматов, теории графов, теории'множеств.
Новые научные- результаты
-
Предложена новая структура САПР УіІ для iliui, отличающаяся наличием подсистемы верификациии, которая позволит при автоматизированном проектировании УіІ проверить её правильность и убедиться в работоспособности.
-
Разработана формализованная модель объекта управления, отличающаяся наличием пространства технологической величины и графа её движения. Предложен алгоритм перехода от гра'а движения технологической величины к графу работы управляющего устройства.
-
Лредложена методика синтеза управляющих программ, сводящаяся к разработке процедур перехода от алгоритма, представ-
'ляющего работу управляющего устройства, к программе управляючого автомата. іЛетодика отличается эффективностью, простотой и доступностью реализации.
4. Цредлогкена методика верификации управляющих программ,
использующая способ имитации совместной работы эмулятора уст
ройства управления и модели объекта управления. Алгоритм моде
лирования разработан по принципу особых состояния с учетом спе
цифики, характерной для систем программно-логического проекти -
рования.
Практическая ценность работы
Результатом практической- части работы является программно-инструментальный комплекс и методические сродстве, преднал-наченнье "для разработки дискретных систем логич-зского упрарле-
- З -ния станков и автоматических линия, функционирующих по цикловому принципу.
Разработанные средства позволяют описывать алгоритм работы технологического оборудования,' синтезировать алгоритм управления оборудованием и управляются программу. Описание алгоритма
работы технологического оборудования осуществляется на входном языке высокого уровня.
Наличие настраиваемого постпроцессора позволяет расширить функциональные возможности инструментального комплекса путем разработки дополнительных исполнительных модулей и заполнением нормативной базы постпроцессора.
ііредлокенная методика л созданные средства верид-мкации управляючих программ позволят убедиться в работоспособности и провести их первоначальную апробацию.
инструментальные средства посылают производительность труда программистов (разработчиков УІІ), улучшают характеристики ка-честьа 'Jd.
Реализация и внедрение результатов работы
Теоретические и практические результаты диссертационной работы использовались ь научно-исследовательской работе, выполнен -ной в НЛО "Центрлрограммсистем" в 196о-х9Э1 г.г. номер государственно)"? регистрации темы і?і0о!49с0. Разработанный программно-инструментальный комплекс был Енедрен в Ульяновском центре применения микроэлектроники, в ІігіБ CAiIP, и в $.орме программного продукта был сдан в ГосіАіі. Акт, подтверждающий внедрение, приведен в прилояе-наи к диссертации.
Апробация работы
Результаты диссертационной работы докладывались и обсуждались hs следующих конференциях и семинарах:
і. всесоюзная конференция "Новые технологии и робототехни-ческче комплексы при производстве авиационной техники", Харьков, Ї9УІ г.
і.. Ьсесоюзпьг* неучно-технпческий семинар "Проблемы создания программного обеспечения комплексное автоматизации", Тверь, 3SS7 г.
-
іігучно-технич=скнь семннгры Тії.! за период с іУІЮ по І95<. гг.
-
ііаучно-техннчесіше семинары ІІЛО "Центрпрограммсистєм" за период с іУо7 по іУв>і гг.
Публикации ло работе
ііо тема диссертации опубликовано Ь печатных работ (см.перечень публикаций в конце реферата).
Структура и объем работы