Введение к работе
Актуальность темы. Необходимость сокращения сроков проектирования и повышения эффективности эксплуатации распределённых микропроцессорных систем управления определяет актуальность решения научно-технической проблеми создания комплекса средств автоматизации отладки программного обеспечения и повышения отказоустойчивости микропроцессорных систем управления. Данная диссертационная работа выполнена в Томском производственном объединении "Контур" в рамках задания 04.01.01 "Программы работ на 1986-1990 гг. по решению научно-технической проблемы 0.16.10", утверждённой постановлением ГКНТ СССР от 30.10.85 г. № 555.
Цель работы. Исследование и разработка моделей и алгоритмов системы автоматизированной отладки программного обеспечения, диагностирования и восстановления аппаратной части распределённых микропроцессорных систем управления (РМЇІСУ)..
Методы исследовании. В основу исследовании положены элементы системного анализа, методы теории многоуровневых иерархических систем, теории множеств, теории графов, математической логики.
Научная новизна. В работе впервые предложены: модель сопряжения и взаимодействия имитируемых и реально-функционирующих элементов РШСУ; новый способ представления в ЭВМ графовых моделей; необходимые и достаточные условия существования гамлльтоно-ва контура в графе и рекурсивные алгоритмы решения некоторых /VP-полньк задач; новые структуры к алгоритмы саиодиагностируемих и самовосетанавливаемък устройств и систем.
Практическая ценность работы. Предложенные новые имитационные модели и точные алгоритм решения задач комплексной отладка Приграммпиги ибеснечення и аппаратных средств РІЙІСУ расширяют
возможности использования микропроцессорной техники.
Разработанные на основе предложенных моделей микро-злектрон-ные структуры программируются набором регистровых констант, что обеспечивает их самодиагшетируемость и самовосстанавливаемость, повышает универсальность и эффективность применения.
Внедрение результатов работы. Разработанный комплекс программно-аппаратных средств, предназначенных для контроля и диагностирования аппаратной части и отладки программного обеспечения микропроцессорных УЧПУ, внедрён на Томском производственном объединении "Контур1' с общим реальным экономическим эффектом 340 тысяч рублей в год. Результаты работы внедрены в Киевском объединении "Элекгронмаш" и в Бердянском производственном объединении по жаткам.
Апробация работы. Основные положения работы докладывались и обсуждались на ХП научно-методическом семинаре "Автоматизация проектирования в энергетике и электронике" (г.Иваново, 1988 г.), на зональном семинаре "Микропроцессоры в системах контроля и управления" (г.Пенза, 1985 г.), на научно-техническом семинаре "Опыт и проблемы создания и эксплуатации систем ЧПУ металлорежущими станками" (г.Томск, 1989 г.), на научно-практической конференции "Автоматизация" (г.Томск, 1988 г.), на научно-технической конференции "Использование вычислительной техники и САПР в научно-исследовательских и опытных работах" (г.Владимир, 1989 г.), на всесоюзной конференции "Автоматизация проектирования ЭВМ" (г.Киев, 1977 г.), на научно-техническом семинаре "Интеллектуальные САПР СБИС" (г.Ереван, 1988 г.), на региональной научно-технической конференции "Автоматизированные методы проектирования и производства модулей радиоэлектронной аппаратуры (РЭА) на печатных платах" (г.Новосибирск, 1989 г.).
- О -
Публикации: по материалам диссертации опубликовано 18 работ, в том числе V авторских свидетельств на изобретения.
Автор защищает: модели и алгоритмы системы автоматизированной отладки программного обеспечения, диагностирования и восстановления аппаратной части распределённых микропроцессорных систем управления.