Автоматизация проектирования аппаратно-зависимых программных реализаций автоматных диаграмм тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Антипова, Екатерина Владимировна

• Антипова, Екатерина Владимировна
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Антипова, Екатерина Владимировна

Введение.

1 Анализ методов и средств автоматизации проектирования реализаций автоматных диаграмм.

1.1 Спецификации автоматных диаграмм.

1.2 Методы автоматного программирования.

1.3 Автоматическая генерация программ в средах автоматизации проектирования реализаций автоматных диаграмм.

1.4 Сравнительная характеристика средств автоматизации проектирования реализаций автоматных диаграмм.

Выводы по главе 1.

2 Разработка и исследование методов и моделей автоматизации проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

2.1 Разработка подхода к автоматизации проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

2.2 Разработка языков спецификаций.

2.3 Детализация модели процесса проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

2.4 Разработка механизмов автоматической генерации автоматных программ.

2.5 Разработка механизмов трансформации автоматных диаграмм в процессе автоматизированного проектирования аппаратно-зависимых программных реализаций.

2.6 Разработка протокола взаимодействия модели и платформы в процессе имитационного тестирования автоматных диаграмм.

Выводы по главе 2.

3 Разработка программной системы поддержки автоматизированного проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

3.1 Анализ требований.

3.2 Разработка структурно-функциональной архитектуры системы.

3.3 Проектирование подсистемы импорта и экспорта автоматных моделей

3.4 Проектирование подсистемы анализа диаграмм.

3.5 Проектирование подсистемы графической разработки автоматных моделей

3.6 Проектирование компонента визуального отображения элементов автоматных моделей.

3.7 Проектирование подсистемы определения целевой платформы.

3.8 Проектирование подсистемы трассировки автоматных моделей.

3.9 Проектирование подсистемы имитационного тестирования автоматных моделей

3.10 Проектирование подсистемы генерации автоматных программ из автоматных моделей.

3.11 Проектирование подсистемы определения встроенных функций.

3.12 Реализация системы проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

Выводы по главе 3.

4 Экспериментальное исследование системы автоматизированного проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

4.1 Планирование проектных экспериментов.

4.2 Реализация управления сверлильной машиной.

4.3 Реализация управления гидростанцией плавильной печи.

4.4 Реализация управления блока регуляции мощности.

4.5 Реализация управления микропроцессорным реле времени.

Выводы по главе 4.

Введение диссертации (часть автореферата) на тему «Автоматизация проектирования аппаратно-зависимых программных реализаций автоматных диаграмм»

Актуальность. При создании программного обеспечения встроенных систем широко применяются диаграммы состояний как определение алгоритма функционирования. Программно-аппаратное обеспечение строится с целью реализации этих диаграмм. В последние 15 лет активно развиваются средства проектирования, которые позволяют генерировать программы из диаграмм состояний. Этим занимаются Страбыкин А.Д. [49, 50], Зюбин В.Е. [52-57], Кузнецов Б.Щ58-63], Любченко В.С.[64-66], Чунихин О.Ю. [73-76], Шалыто A.A. и его ученики [77-123], Дж. Э. Хопкрофт, Р. Мотвани, Дж. Д. Ульман [21] и др. Результатом этих исследований являются методы, алгоритмы и средства реализации диаграмм, порождающие логическую часть программы управления.

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

Существует несколько классов средств разработки программного обеспечения встроенных систем. Часть из них подразумевают разработку на специфических визуальных языках (функциональные блоки, релейные схемы, схемы алгоритмов или визуальный ассемблер [225-271]) с генерацией исполняемого кода для конкретного микроконтроллера. Другие для описания алгоритма используют унифицированный язык моделирования UML ([190, 195200, 205, 216-224]). Унификация позволяет ускорить процесс разработки за счет сокращения времени обучения, организовать переход с одной системы на другую и т.д. Большинство из этих сред разработки генерирует программный код на языки высокого уровня или в ассемблер конкретного микроконтроллера. Для трансляции таких программ в машинный код конкретного микроконтроллера требуются промежуточные среды разработки.

Кроме того, из класса систем, поддерживающих разработку в нотации ЦМЬ и генерирующих программный код, можно выделить 2 подкласса: системы, генерирующие только описательную часть программы (по структурным диаграммам ЦМЬ) и системы, генерирующие только поведенческую часть (например, на основе диаграмм состояний или диаграмм деятельности). Очень малое количество средств разработки [212, 219, 223] поддерживают генерацию программного кода на основе комплекса диаграмм, содержащих описание структуры и поведения разрабатываемой системы. Но при работе с такими системами приходится отдельно разрабатывать принципиальную схему проектируемой встроенной системы и самостоятельно следить за порядком подключения различных устройств к микроконтроллеру.

Основным недостатком большинства средств разработки программного обеспечения для микроконтроллеров, предоставляющих графический интерфейс для задания алгоритмов в виде комплекса диаграмм ЦМЬ, является направленность на определенный класс микроконтроллеров. Недостатком других - слишком большая степень унификации, при этом программы получаются обобщенные, неспециализированные под конкретный микроконтроллер, и аппаратно-зависимую часть приходится дописывать вручную или отдельно производить настройку аппаратно-зависимых компонентов. Часто для генерации программного кода используется один предустановленный вариант структурно-функциональной организации порождаемого кода. Механизмы трансформации, как структурные, так и аппаратно-зависимые, отсутствуют. Большинство систем не поддерживает встроенное определение функций, что делает трассировку диаграммы состояний затруднительной. Поэтому исследования, направленные на автоматизацию проектирования аппаратно-зависимых программных реализаций автоматных диаграмм, учитывающих структурные, поведенческие и аппаратные особенности проектируемой системы, являются актуальными.

Область исследования - автоматизация проектирования систем логического управления.

Объект исследования - автоматизация проектирования автоматных диаграмм.

Предмет исследования диссертации - автоматизация проектирования аппаратно-зависимых программных реализаций.

Целью диссертационной работы является разработка моделей и средств автоматизации проектирования аппаратно-зависимых программных реализаций автоматных диаграмм, предназначенных для ускорения процесса разработки программного обеспечения встроенных систем за счет вовлечения аппаратно-зависимых проектных решений на ранних этапах разработки с целью получения наиболее эффективных реализаций.

Основные задачи исследования:

1. Разработать подход к процессу проектирования и базовую модель процесса проектирования аппаратно-программных реализаций автоматных диаграмм, предназначенную для описания и реализации статических, динамических и аппаратно-зависимых аспектов процессов управления.

2. Разработать и реализовать механизмы структурных и аппаратно-зависимых трансформаций автоматных диаграмм.

3. Разработать и реализовать алгоритмы автоматической генерации программ, учитывающие статические, динамические и аппаратно-зависимые аспекты процесса управления.

4. Разработать программную систему поддержки автоматизированного проектирования аппаратно-зависимых программных реализаций автоматных диаграмм.

Методы исследования. При решении поставленных задач использованы методы теории автоматов, теории графов, объектно-ориентированного программирования, модельно-ориентированного проектирования, теории компиляторов и языков программирования[36, 38].

Научная новизна. На защиту выносятся следующие научные результаты:

1. Разработанный подход к автоматизированному проектированию аппаратно-зависимых программных реализаций автоматных диаграмм позволяет получать программы на любом языке программирования для любой целевой платформы с учетом схемы подключения устройств (источников сигналов, средств отображения и объектов управления) и поддерживает активное прототипирование на различных этапах проектирования.

2. Дано определение автоматной модели как совокупности диаграммы классов, диаграмм состояний и диаграммы подключений, которые позволяют учесть все аспекты процесса управления: статические (для определения структуры программы), динамические (для разработки алгоритмов поведения программы) и аппаратно-зависимые, определяющие порядок взаимодействия программы с внешними устройствами и факторы реального времени.

3. Разработана модель процесса автоматизированного проектирования аппаратно-зависимых программных реализаций автоматных диаграмм, отличающаяся от известных моделей и методов поддержкой двух видов трансформаций: трансформаций самих исходных диаграмм на основе использования расширенной нотации языка ЦМЬ с учетом проектных решений аппаратной части, трансформаций структурно-функциональной организации порождаемого исходного кода программ, а также рядом особенностей: а) процесс проектирования заключается в совместной разработке диаграмм классов для описания структуры проектируемой программной реализации автомата, диаграммы подключений для описания аппаратно-зависимых аспектов и диаграмм состояний для описания динамических аспектов проектируемой программно-аппаратной системы; б) процесс проектирования тесно связан с целевой платформой, присутствует автоматизированное управление ресурсами целевой платформы, а также предоставляется возможность выбора другой целевой платформы на ранней стадии проектирования; в) настройка аппаратно-зависимых компонентов происходит на стадии проектирования в процессе разработки диаграммы подключений, аппаратно-зависимые компоненты программы управления генерируются автоматически; г) в процессе проектирования активно используются программные модули, поведение которых описывается диаграммами состояний, которые обозначаются на диаграмме классов специальным стереотипом поведения; д) поддерживается определение программного кода встроенных подпрограмм, что позволяет проводить трассировку и отслеживать значения переменных и входов и выходов управляющего устройства; е) предоставляется выбор механизмов структурной и аппаратно-зависимой трансформации диаграмм состояний; ж) предоставляются встроенные средства определения целевого языка программирования, что дает возможность переопределить целевой язык генерации для работы в среде разработки конкретного кросс-средства; з) предоставляется выбор вариантов структурно-функциональной организации порождаемого кода на целевом языке программирования; и) предоставляется встроенная среда имитационной отладки; к) поддерживается трассировка на различных этапах проектирования с использованием имитаторов объектов ввода вывода и реальных устройств.

4. Разработана система языков спецификаций исходных данных и продуктов автоматической генерации аппаратно-зависимых программных реализаций автоматных диаграмм, а также система правил трансформации автоматных диаграмм, учитывающая изменения в проектных решениях аппаратной части создаваемой системы управления.

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

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

Практическое значение полученных результатов состоит в том, что созданные средства САПР повышают производительность труда проектировщика систем логического управления (на 30-35% в рамках проектных задач экспериментальной части диссертации). Использование разработанных средств

САПР в учебном процессе позволяет сократить время изучения основ теории автоматов и автоматного программирования в 2-3 раза.

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

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

Внедрение результатов работы. Результаты, полученные в диссертации, используются на практике в компании Тауруна (г. Ульяновск) при разработке программного обеспечения для микроконтроллеров и в учебном процессе УлГТУ.

Апробация диссертации. Основные положения диссертационного исследования докладывались на конференциях и семинарах: Interactive Systems and Technologies (Ульяновск, 2009, 2011), Всероссийская конференция с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации» (Ульяновск, 2009), Российская школа-семинар аспирантов, студентов и молодых ученых «Информатика, моделирование, автоматизация проектирования» (Ульяновск, 2009, 2010), Региональная конференция аспирантов и студентов «Информатика и вычислительная техника» (Ульяновск, 2009), 3-я Российская научно-техническая конференция аспирантов, студентов и молодых ученых «Информатика и вычислительная техника - 2011» (Ульяновск, 2011).

Публикации. По теме диссертации опубликовано 10 печатных работ, в том числе 2 статьи в изданиях из перечня ВАК.

Структура диссертации. Диссертационная работа изложена на 171 странице и состоит из введения, четырех глав, заключения и пяти приложений. Список литературы содержит 273 наименования. Работа иллюстрирована 63 рисунками и содержит 28 таблиц.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Антипова, Екатерина Владимировна

Выводы по главе 4

1. Разработанная подсистема САПР ЕВА позволяет разрабатывать комплекс диаграмм автоматной модели с учетом статических, динамических и аппаратно-зависимых аспектов процесса управления.

2. Встроенная система определения вычислительных функций позволяет полностью определить алгоритмы функционирования системы на этапе проектирования диаграммной модели.

3. Реализованная функция отладки автоматной модели позволяет обнаружить и исправить логические ошибки поведения программы управления на этапе проектирования, что уменьшает стоимость исправления ошибок.

4. Возможность выбора шаблона проектирования программно-аппаратной реализации автоматных диаграмм (способ отображения автоматной модели в программный код) позволяет получить реализацию, наиболее соответствующую требованиям - по объему программного кода, объему памяти, скорости работы или структурированности программного кода.

5. Результаты тестирования различных реализаций показали, что столь редко применяемый способ организации автоматных программ, как отображение множества актуальных состояний во множество меток перехода, показывает значительный прирост скорости работы программы относительно других (до 40% относительно технологии switch). Генерация в общий список переходов помогает получить более компактный и читаемый код (до 12% относительно технологии switch).

6. Применение трансформаций диаграмм состояний в некоторых случаях также дает заметный прирост скорости работы программы (до 60% при применении трансформации «Выделение возвратной части автомата в автоматный метод» и отображении в сегментированное множество переходов относительно реализации этим же способом из диаграммы состояний без трансформаций).

Заключение

1. Разработан подход к автоматизированному проектированию аппаратно-зависимых программных реализаций автоматных диаграмм, который позволяют автоматизировать трудоемкие и рутинные задачи разработки программного обеспечения систем логического управления в части, описываемой диаграммами состояний.

2. Разработанные средства специфицирования аппаратно-зависимых компонентов системы на основе диаграмм подключений позволяют автоматически генерировать спецификации для диаграмм состояний, связанные с аппаратно-зависимой частью системы, что избавляет разработчика от большого объема рутинной работы по определению взаимосвязи микроконтроллера и устройств.

3. Разработаны языки спецификаций автоматных моделей, которые позволяют эффективно разрабатывать модели для конкретного устройства, производить отладку модели на ранних стадиях проектирования и легко переходить от одной целевой платформы к другой.

4. Разработаны и реализованы механизмы структурных и аппаратно-зависимых преобразований автоматных моделей, которые позволяют находить наиболее эффективные решения задач проектирования.

5. Разработаны механизмы и средства визуальной трассировки автоматных диаграмм и интерпретации встроенных операций, позволяющие отладить систему на стадии проектирования и исправить ошибки реализации.

6. Разработаны и реализованы алгоритмы генерации программного кода из автоматных моделей, что позволяет получать максимально эффективные реализации автоматных диаграмм, сокращая время разработки микроконтроллерных систем управления на 30-35%.

Публикации

1. Antipova, E.V. Comparative research of state diagram translation methods / E.V. Antipova, V.N. Negoda. // Interactive Systems and Technologies: the Problems of Human-Computer Interaction. Volume III. — Collection of scientific papers.Ulyanovsk: U1STU, 2009. — 468 p. pp. 177.

2. Антипова, E.B. Использование перегрузки операторов для автоматного программирования / Е.В. Антипова, В.Н. Негода // Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. В.Н. Негоды. — Ульяновск : УлГТУ, 2009. — 284 с. С. 46.

3. Антипова, Е.В. Проект генератора исходного кода реализаций диаграмм состояний / Е.В. Антипова // Информатика и вычислительная техника : сборнк научных трудов / под науч. ред. П.И. Соснина. — Ульяновск : УлГТУ, 2009.—275 с. С. 10.

4. Антипова, Е.В. Разработка структуры модели генерации исходного кода на основе автоматных диаграмм / Е.В. Антипова // Всероссийская конференция с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации», 1-5 декабря 2009 г. Россия, Ульяновск : сборник научных трудов. В 4 т. Т. 3. — Ульяновск, 2009. — 419 с. С. 198.

5. Антипова, Е.В. Среда быстрого проектирования систем логического управления (на основе диаграммных моделей) /Е.В. Антипова // Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. В.Н. Негоды. — Ульяновск : УлГТУ, 2010. — 640 с. С. 3.

6. Антипова, Е.В. Формальная модель сквозных переходов UML /Е.В. Антипова // Информатика и вычислительная техника : сборник научных трудов / под ред. H.H. Войта. — Ульяновск : УлГТУ, 2011. — 656 с. С. 37.

7. Антипова, Е. В. Разработка протокола взаимодействия автоматной модели и целевой платформы в процессе имитационного тестирования автоматных диаграмм/ Е.В. Антипова, В.Н. Негода // Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. Н.Н. Войта. — Ульяновск: УлГТУ, 2011. — 416 с. С. 39.

8. Antipova, E.V. Using automatic methods for automata models development / E.V. Antipova, V.N. Negoda // Interactive Systems and Technologies: the Problems of Human-Computer Interaction. - Collection of scientific papers. — Ulyanovsk:UlSTU, 2011. — 435 p. pp. 104.

9. Антипова, Е.В. Автоматизация проектирования программно-аппаратных реализаций автоматных диаграмм систем управления / Е.В. Антипова, В.Н. Негода // Автоматизация процессов управления. — 2012. — №1(27). —С. 47.

10. Антипова, Е.В. Влияние способа преобразования автоматных диаграмм на параметры сгенерированного программного кода / Е.В. Антипова // Вестник Волжского университета им. В.Н. Татищева. Серия «Информатика». — 2012.—Вып. №2(19). —С. 111.

Список литературы диссертационного исследования кандидат технических наук Антипова, Екатерина Владимировна, 2012 год

1. Harel, D. Statecharts: a Visual Formalism for complex systems 11 Science of Computer Programming. — Vol. 8, 1987. —pp. 231-274.

2. Moore, E. F. Gedanken-experiments on Sequential Machines. / E. F. Moore // Automata Studies, Annals of Mathematical Studies. —№ 34, 1956. — pp. 129— 153.

3. Taub, A. H. (ed). John von Neumann: Collected Works, 1903-1957, 6 Vols. — Pergamon Press, Oxford (UK), 1961 -63.

4. Брауэр, В. Введение в теорию конечных автоматов: Пер. с нем. / В. Брауэр. — М.: Радио и связь, 1987. — 392 с. : ил.

5. Гилл, А. Введение в теорию конечных автоматов / А. Гилл. — М. Наука, 1966. — 272 с. : ил.

6. Глушков, В.М. Синтез цифровых автоматов / В.М. Глушков. — М.: Физматгиз, 1962. — 476 с. : ил.

7. Дейкстра, Э. Взаимодействие последовательных процессов : Пер. с англ. В.П. Кузнецова / Под ред. В.М. Курочкина. — М.: Мир, 1972.

8. Карпов, Ю.Г. Теория автоматов / Ю.Г. Карпов. — СПб.: Питер, 2003. — 208 с. : ил.

9. Кобринский, Н.Е. Введение в теорию конечных автоматов / Н.Е. Кобринский, Б.А. Трахтенброт. — М.: Физматгиз, 1962. — 404 с. : ил.

10. Лазарев, В.Г. Проектирование дискретных устройств автоматики. Учеб. пособие для вузов связи / В.Г. Лазарев, Н.П. Маркин, Ю.В. Лазарев. — М.: Радио и связь, 1985. — 168 с. : ил.

11. Лазарев, В.Г. Синтез управляющих автоматов. / В.Г. Лазарев, Е.И. Пийль— 3-е издание, перераб. и доп. — М.: Энергоатомиздат, 1989. — 328 с.

12. Миллер, Р. Теория переключательных схем. Т. I. Комбинационные схемы / Р. Миллер. — Пер. с англ. В.В. Воржевой, Е.С. Согомоняна. — М.: Наука, 1970.— 416 с.

13. Миллер, Р. Теория переключательных схем. Т. II. Последовательностные схемы и машины / Р. Миллер. — Пер. с англ. О.П. Кузнецова, Ю.Л. Томфельда. — М.: Наука, 1971. — 304 с.

14. Поспелов, Д.А. Вероятностные автоматы / Д.А. Поспелов. — М.: Энергия, 1970. — 88 с. : ил.

15. Савельев, А .Я. Прикладная теория цифровых автоматов: Учеб. для вузов по спец. ЭВМ / А.Я. Савельев. — М.: Высш. шк., 1987. — 272 с. : ил.

16. Трахтенброт, Б.А. Конечные автоматы. Поведение и синтез / Б.А. Трахтенброт, Я.М. Барздинь. — М.: Наука, 1970. — 400 е.: ил.

17. Холодилов, С. Недетерминированные конечные автоматы / С. Холодилов // RSDN Magazine. — №2, 2007. Электронный ресурс. — Режим доступа: http://www.rsdn.ru/article/alg/nka.xml

18. Шеннон, К.Э. Автоматы. Сборник статей под ред. К.Э Шеннона и Дж. Маккарти / К.Э. Шеннон. — Пер. с англ. A.A. Ляпунова. — М.: Издательство иностранной литературы, 1956. — 404 с.

19. Берж, К. Теория графов и ее применения : Пер с фр. A.A. Зыкова / К. Берж / Под ред. И.А. Вайнштейна. — М.: Издательство иностранной литературы, 1962. — 320 с.

20. Кристофидес, Н. Теория графов. Алгоритмический подход : Пер. с англ. Э.В. Вершкова, И.В. Коновальцева / Н. Кристофидес / Под ред. Т.П. Гаврилова. — М.: Мир, 1978. — 432 с.

21. Мелихов, А.Н. Ориентированные графы и конечные автоматы / А.Н. Мелихов. — М.: Наука, 1971. — 416 е.: ил.

22. Мелихов, А.Н. Применение графов для проектирования дискретных устройств / А.Н. Мелихов, J1.C. Бернштейн, В.М. Курейчик. — М.: Наука, 1974. — 304 с.

23. Оре, О. Графы и их применение : Пер. с англ. Л.И. Головиной / О. Оре / Под ред. И.М. Яглома. — М.: Мир, 1965. — 174 с.

24. Уилсон, Р. Введение в теорию графов : Пер. с англ. И.Г. Никитиной / Р. Уилсон / Под ред. Г.П. Гаврилова. — М.: Мир, 1977. — 208 с.

25. Бильгаева, Н.Ц. Теория алгоритмов, формальных языков, грамматик и автоматов: Учебное пособие / Н.Ц. Бильгаева. — Улан-Удэ: Изд-во ВСГТУ, 2000.— 51 с.

26. Гамма, Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Влассидес. — СПб.: Питер, 2001.

27. Гудман, С. Введение в разработку и анализ алгоритмов / С. Гудман, С. Хидетниеми.—М.: Мир, 1981. — 368 с.

28. Кознов, Д. В. Визуальное моделирование компонентного программного обеспечения : Дис. . канд. физ.-мат. Наук : 05.13.11 / Кознов Дмитрий Владимирович. — СПб., 2000.

29. Кубасов, С. В. Верификация автоматных программ в контексте синхронного программирования (в редакции кафедры технологийпрограммирования СПбГУ ИТМО): Дис. . канд. тех. наук : 05.13.11 / Кубасов Сергей Валерьевич. —Ярославль, 2008. — 122 с.

30. Логачев, O.A. Локальное обращение конечного автомата с помощью автоматов / O.A. Логачев, Г.В. Проскурин, В.В. Ященко // Дискретная математика. — 1995. — т.7 №2. — С. 19.

31. Марков, Е. Архитектура, управляемая моделью Электронный ресурс. / Е. Марков // Режим доступа: http://citforum.ru/gazeta/13/.

32. Непейвода, H.H. Стили и методы программирования / H.H. Непейвода.

33. М.: ИНТУИТ. РУ. «Интернет-Университет Информационных Технологий», 2005, —320 с.

34. Новиков, М. Паттерн проектирования State. Примеры реализации / М. Новиков // RSDN-Magazine. — 2005. — №4.

35. Новиков, Ф.А. Визуальное конструирование программ / Ф.А. Новиков // Информационно-управляющие системы. — 2005. — №6. — С. 9.

36. Норенков, И. П. Подходы к проектированию автоматизированных систем / И.П. Норенков // Информационные технологии. — 1998.— №2. — С. 2.

37. Норенков, И.П. Автоматизированное проектирование / И.П. Норенков.

38. М.: Изд-во МГТУ им. Н.Э. Баумана, 2002.

39. Русак, А. В. Разработка алгоритмов управления и ориёнтации мобильных роботов : Автореферат . канд. тех. наук : 05.13.01 / Русак Алена Викторовна. — СПб., 2007. — 16 с.

40. Салмре, И. Программирование мобильных устройств на платформе .Net Compact Framework / И. Салмре. — M.: Вильяме, 2006.

41. Фаулер, М. Рефакторинг. Улучшение существующего кода / М. Фаулер. — СПб.: Символ, 2003.

42. Анисимов, А.Е. Автоматное программирование. Часть 1 / А.Е. Анисимов // Потенциал. — 2008,— №3. — С. 27.

43. Анисимов, А.Е. Автоматное программирование. Часть 2 / А.Е. Анисимов // Потенциал. — 2008.— №4. — С. 42.

44. Богаченко, Н.Ф. Применение теоретико-автоматных моделей в криптографии / Н.Ф. Богаченко // Математические структуры и моделирование.2007. — вып. 17. — С. 112.

45. Вавилов, К.В. Программирование за. 1 (одну) минуту / К.В. Вавилов // Компьютер Price. — 2002. — № 31. — С. 288.

46. Волкова, Е. Д. Анализ и трансформации исполняемых UML моделей / Е.Д. Волкова, А.Д. Страбыкин // Труды Института системного программирования. — М.: ИСП РАН, 2006. — С. 171.

47. Волкова, Е. Д. Методы композиции и декомпозиции исполняемых UML моделей / Е.Д. Волкова, А.Д. Страбыкин // Труды Института системного программирования. — М.: ИСП РАН, 2006. — С. 7.

48. Горшкова, Е.А. Использование диаграмм состояний и переходов для моделирования гипертекста / Е.А. Горшкова, Б.А Новиков // Программирование. — 2004. — №1, — С. 64.

49. Зюбин, В.Е. Программирование информационно-управляющих систем на основе конечных автоматов: Учеб.-метод, пособие / В.Е. Зюбин.— Новосибирск, 2006. — 96 с.

50. Зюбин, В.Е. Программирование ПЖ: стандарт МЭК 61131-3 и возможные альтернативы / В.Е. Зюбин // "Промышленные АСУ и контроллеры". — 2005. — №11. с. 31.

51. Зюбин, В.Е. Проектирование алгоритмов работы микроконтроллеров /

52. B.Е. Зюбин // Приборы и системы управления. — 1998. — №1. — С. 18.

53. Зюбин, В.Е. Средство программирования алгоритмов работы микроконтроллеров СПАРМ / В.Е. Зюбин // Распределенная обработка информации: Тр. / Пятый международный семинар. — Новосибирск, 1995. —1. C. 86.

54. Зюбин, В.Е. Язык «Рефлекс» диалект Си для программируемых логических контроллеров / В.Е. Зюбин // Труды шестой международной научно-практической конференции "Средства и системы автоматизации " CSAF'06. — Томск: ТУСУР, 2005.

55. Кузнецов, Б.П. Последовательно-событийные автоматы / Б.П. Кузнецов // Приборы и системы. Управление, контроль, диагностика. — 2001.5. — С.15.

56. Кузнецов, Б.П. Психология автоматного программирования / Б.П. Кузнецов // BYTE / Россия. — 2000. — №11. — С. 22.

57. Кузнецов, Б.П. Распределенные конечные автоматы / Б.П. Кузнецов // Приборы и системы. Управление, Контроль, Диагностика. — 2000. — № 2. — С. 9.

58. Кузнецов, Б.П. Система программирования контроллеров / Б.П. Кузнецов // Программист. — 2002. — № 3.— С. 17.

59. Кузнецов, Б.П. Стандартная реализация управляющих программ / Б.П. Кузнецов // Судостроительная промышленность. Сер. Системы автоматизации проектирования, производства и управления. — 1986. — вып. 1. — С.51.

60. Кузнецов, Б.П. Структура и сложность модулей циклических программ / Б.П. Кузнецов // Автоматика и телемеханика. — 1999. — № 2. — С. 151.

61. Любченко, B.C. Новые песни о главном (римейк для программистов) / B.C. Любченко // Мир ПК. —1998. — № 6. — С. 114.

62. Любченко, B.C. Новые песни о главном II / B.C. Любченко // Мир ПК.1998,— №07. — С. 112.

63. Любченко, B.C. Фантазия или программирование? / B.C. Любченко // Мир ПК. — 1997,— № 10. —С. 116.

64. Николаенко, A. Static Finite State Machine. Кодогенерация времени компиляции / А. Николаенко // RSDN Magazine. — 2005. — №3.

65. Рахимбердиев, А. Реализация систем, управляемых событиями. Использование конечных автоматов / А. Рахимбердиев, А. Ксенофонтов, Е. Адаменков, Д. Антонов, Р. Степанов // RSDN Magazine.— 2005. — №5.

66. Сацкий, С. Дизайн шаблона конечного автомата на С++ / С. Сацкий // RSDN Magazine. — 2003. — №1.

67. Черномырдин, А. Автоматное программирование для микроконтроллеров. Часть I / А. Черномырдин // Радиолюбитель.— 2005. — № 8, —С. 45.

68. Черномырдин, А. Автоматное программирование для микроконтроллеров. Часть II / А. Черномырдин // Радиолюбитель. — 2005. — № 9. — С. 44.

69. Черномырдин, А. Автоматное программирование для микроконтроллеров. Часть III / А. Черномырдин //Радиолюбитель. — 2005. — № 10, —С. 43.

70. Чунихин, О.Ю. «Zebra» — система автоматизации основанных на RUP процессов создания больших систем / О.Ю. Чунихин // Математические модели в информатике. — 2002. — Новосибирск, Вып. 169: Вычислительные системы.1. С. 84.

71. Чунихин, О.Ю. Автоматизация процессов разработки на основе Rational Unified Process / О.Ю. Чунихин // Математические модели в информатике. — 2002.— Новосибирск, Вып. 169: Вычислительные системы. — С. 54.

72. Чунихин, О.Ю. Формальная модель машин состояний UML / О.Ю. Чунихин // Сиб. журн. индустр. математики. — 2003. — №1(17). — С. 152.

73. Чунихин, О.Ю. Транслятор UML-спецификаций в исполняемый код / О.Ю. Чунихин // Сиб. журн. индустр. математики. — 2004. — №2(18). Том VII.1. С. 133.

74. Беляев, A.B. Компьютерная игра «Космонавт». Проектирование и реализация / А. В. Беляев, Д. И. Суясов, А. А. Шалыто // Компьютерные инструменты в образовании. — 2004. — № 4. — С. 75.

75. Гуров, B.C. Автоматическое завершение ввода условий в диаграммах состояний / В. С. Гуров, М. А. Мазин, А. А. Шалыто // Информационно-управляющие системы. — 2008. — №1. — С. 24.

76. Гуров, B.C. UML. SWITCH-технология. Eclipse / В. С. Гуров, М.А. Мазин, A.C. Нарвский, A.A. Шалыто // Информационно-управляющие системы.2004,— №6.— С. 12.

77. Гуров, B.C. ICQ и автоматы / B.C. Гуров, А. Нарвский, A.A. Шалыто // Технология клиент-сервер. — 2004. — № 3. — С. 3.

78. Гуров, В. Исполняемый UML из России / В. Гуров, А. Нарвский, А. Шалыто // PC Week/RE. — 2005. — № 26. — С. 18.

79. Гуров B.C. Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация) : Дис. . канд. тех. наук : 05.13.11 / Гуров Вадим Сергеевич. — СПб., 2008. — 149 с.

80. Гуров, B.C. UML. SWITCH-технология. Eclipse / B.C. Гуров, М.А. Мазин, A.C. Нарвский, А. А. Шалыто // Информационно-управляющие системы. — 2004,— № 6. — С. 12.

81. Гуров, B.C. UniMod программный пакет для разработки объектно-ориентированных приложений на основе автоматного подхода / B.C. Гуров, М.А.Мазин, A.A. Шалыто // Труды XI Всероссийской научно-методической конференции "Телематика-2004". — 2004. — Т.1.

82. Казаков, М.А. Методы построения визуализаторов дискретной математики на основе автоматного подхода : Дис. . канд. тех. наук : 05.13.06 / Казаков Матвей Алексеевич. — СПб., 2010. — 178 с.

83. Казаков, М.А. Использование автоматного программирования для реализации визуализаторов / М.А. Казаков, А. А. Шалыто // Компьютерные инструменты в образовании. — 2004. — № 2. — С. 19.

84. Казаков, М.А. Разработка логики визуализаторов алгоритмов на основе конечных автоматов / М.А. Казаков, Г.А. Корнеев, A.A. Шалыто // Телекоммуникации и информатизация образования. — 2003. — № 6. — С. 27.

85. Канжелев, С.Ю. Автоматическая генерация автоматного кода / С.Ю. Канжелев, А. А. Шалыто // Информационно-управляющие системы. — 2006. — №6, — С. 35.

86. Князев, Е.Г. Автоматизированная классификация изменений исходного кода на основе кластеризации метрик в процессе разработки программного обеспечения : Дис. Канд. тех. наук : 05.13.11 / Князев Евгений Геннадьевич. — СПб., 2009. — 126 с.

87. Корнеев, Г.А. Обход деревьев на основе автоматного подхода / Г. А. Корнеев, Н. Н. Шамгунов, А. А. Шалыто // Компьютерные инструменты в образовании. — 2004. — № 3. — С. 32.

88. Корнеев, Г.А. Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода : Дис. . канд. тех. наук : 05.13.12 / Корнеев Георгий Александрович. — СПб., 2006. — 181 с.

89. Лобанов, П. Г. Использование генетических алгоритмов для генерации конечных автоматов : Дис. . канд. тех. наук : 05.13.11 / Лобанов Павел Геннадьевич. — СПб., 2008. — 114 с.

90. Лобанов, П. Подсчет длин слов в строке на основе автоматного подхода / П. Лобанов, А. Шалыто // Мир ПК. — 2005. — №7. — С. 66.

91. Маврин, П.Ю. Формальная семантика диаграмм состояний, удобная для практического применения / П.Ю. Маврин, Г.А. Корнеев, A.A. Шалыто // Software Engineering Conference (Russia) SEC(R). — 2006. — С. 43.

92. Мазин, М.А. Автоматное программирование для среды языково-ориентированного программирования : Дис. . канд. тех. наук : 05.13.11 / Мазин Максим Александрович — СПб., 2010. — 136 с.

93. Мазин, М.А. Анимация. Flash-технология. Автоматы / М.А. Мазин, A.A. Шалыто // Информатика. — 2006. — №11(516). — С. 36.

94. Наумов, Л. А. Искусство программирования лифта. Объектно-ориентированное программирование с явным выделением состояний / Л. А. Наумов, А. А. Шалыто // Информационно-управляющие системы. — 2003. — №6. —С. 38.

95. Степанов, О.Г. Методы реализации автоматных объектно-ориентированных программ : Дис. . канд. тех. наук : 05.13.11 / Степанов Олег Георгиевич. — СПб., 2009. — 153 с.

96. Туккель, Н.И. Программирование с явным выделением состояний / Н.И. Туккель, A.A. Шалыто // Мир ПК. — 2001. — №9. — С. 132.

97. Шалыто, A.A. Автоматное проектирование программ. Алгоритмизация и программирования задач логического управления / А. Шалыто // Известия академии наук. Теория и системы управления. — 2000. — № 6. — С.63.

98. Шалыто, A.A. Алгоритмизация и программирование задач логического управления / A.A. Шалыто. — СПБ: СПбГУ ИТМОД998.

99. Шалыто, А. SWITCH-технология — автоматный подход к созданию программного обеспечения "реактивных" систем / А. Шалыто, Н. Туккель // Программирование. — 2001. — № 5. — С. 45.

100. Шалыто, А. Программирования с явным выделением состояний / А. Шалыто, Н. Туккель//Мир ПК, —2001,—№8, №9. —С. 116, с. 132.

101. Шалыто, A.A. Switch-технология. Алгоритмизация и программирование задач логического управления / А. Шалыто. — СПб.: Наука, 1998. —628 с.

102. Шалыто, A.A. Алгоритмизация и программирование для систем логического управления и "реактивных" систем / А.А, Шалыто // Автоматика и телемеханика. — 2001. — №1. — С.З.

103. Шалыто, A.A. Программная реализация управляющих автоматов / A.A. Шалыто //Судостроительная промышленность. Серия «Автоматика и телемеханика». — 1991. — Вып. 13. — С.41

104. Шалыто, A.A. Технология автоматного программирования / A.A. Шалыто // Мир ПК. — 2003. — №10. — С. 74.

105. Шалыто, A.A. SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем / A.A. Шалыто, Н.И. Туккель // Программирование. — 2001. — №5. — С.45.

106. Шалыто, A.A. Автоматы и танки / A.A. Шалыто, Н.И. Туккель // BYTE/Россия. — 2003. — №2. — С. 69.

107. Шалыто, A.A. От тьюрингова программирования к автоматному / A.A. Шалыто, Н.И. Туккель // Мир ПК. — 2002. — №2. — С. 144.

108. Шалыто, A.A. Преобразование итеративных алгоритмов в автоматные / A.A. Шалыто, Н.И. Туккель // Программирование. — 2002. — № 5, —С. 12.

109. Шалыто, A.A. Реализация автоматов при программировании событийных систем / A.A. Шалыто, Н.И. Туккель // Программист. — 2002. — №4. — С.74.

110. Шалыто, A.A. Задача о ходе коня / A.A. Шалыто, Н.И. Туккель, Н. Шамгунов // Мир ПК. — 2003. — №1с. 152.

111. Шалыто, A.A. Ханойские башни и автоматы / A.A. Шалыто, Н.И. Туккель, Н. Шамгунов // Программист. — 2002. — №8. — С.82.

112. Шалыто, A.A. Реализация рекурсивных алгоритмов на основе автоматного подхода / A.A. Шалыто, Н.И. Туккель, H.H. Шамгунов // Телекоммуникации и информатизация образования. — 2002. — № 5.

113. Шамгунов, Н. Н. Разработка методов проектирования и реализации поведения программных системы на основе автоматного подхода: Дис. . канд. тех. наук: 05.13.13 / Шамгунов Никита Назимович. — СПб., 2004. — 195 с.

114. Шамгунов, Н. Н. State Machine — новый паттерн объектно-ориентированного проектирования / Н. Н. Шамгунов, Г. А. Корнеев, А. А. Шалыто // «Информационно-управляющие системы». — 2004. — № 5. — С. 13.

115. Шамгунов, Н. Н. State Machine — расширение языка Java для эффективной реализации автоматов / Н. Н. Шамгунов, Г. А. Корнеев, А. А. Шалыто // Информационно-управляющие системы». — 2005. — № 1. — С. 16.

116. Шопырин, Д.Г. Методы объектно-ориентированного проектирования и реализации программного обеспечения реактивных систем: Дис. . канд. тех. наук: 05.13.13 / Шопырин Данил Геннадьевич.— СПб., 2005,— 174 с.

117. Шопырин, Д. Объектно-ориентированный подход к автоматному программированию / Д. Шопырин, А. Шалыто // Информационно-управляющие системы. — 2003. — №5. — С. 29.

118. Шопырин, Д.Г. Синхронное программирование/ Д.Г. Шопырин, A.A. Шалыто // Информационно-управляющие системы. — 2004. — №3. — С. 35.

119. Rafiquzraman, М. Fundamentals of digital logic and microcomputer design / M. Rafiquzzamm-5th ed.— New Jersey: John Wiley & Sons, Inc., Hoboken. — 820 p.

120. Антонов, А.П. Язык описания цифровых устройств AlteraHDL. Практический курс / А.П. Антонов. — М.: ИП РадиоСофт, 2001. — 224 е.: ил.

121. Баранов, В.Н. Применение микроконтроллеров AVR: схемы, алгоритмы, программы / В.Н. Баранов. — М.: Издательский дом «Додэка-ХХ1», 2004. — 288 е.: ил.

122. Белов, A.B. Конструирование устройств на микроконтроллерах / A.B. Белов. — СПб. : Наука и техника, 2005. — 256 е.: ил.

123. Белов, A.B. Микроконтроллеры AVR в радиолюбительской практике / A.B. Белов. — СПб.: Наука и Техника, 2007. — 352с. : ил.

124. Белов, A.B. Самоучитель по микропроцессорной технике / A.B. Белов. — СПб.: Наука и Техника, 2003. — 224 е.: ил.

125. Белов, A.B. Создаем устройства на микроконтроллерах / A.B. Белов. — СПб.: Наука и Техника, 2007. — 304 е.: ил.

126. Бибило, П.Н. Основы языка VHDL / П.Н. Бибило. — М.: СОЛОН-Р, 2002. — 224 с. : ил.

127. Брага, Н. Создание роботов в домашних условиях / Брага Ньютон; пер. с англ. Е.А. Добролежина. — М.: НТ Пресс, 2007, — 368 е.: ил.

128. Бродин, В.Б. Системы на микроконтроллерах и БИС программируемой логики / В.Б. Бродин, A.B. Калинин. — М.: Издательство ЭКОМ, 2002. — 400 е.: ил.

129. Вальпа, О.Д. Полезные схемы с применением микроконтроллеров и ПЛИС (+CD) / О.Д. Вальпа. — М.: Издательский дом «Додэка-ХХ1», 2006. — 416 с.: ил.

130. Вильяме, Д. Программируемый робот, управляемый с КПК / Д. Вильяме; пер. с англ. А.Ю. Карцева. — М.: НТ Пресс, 2006. — 224 с. : ил.

131. Гёлль, П. Как превратить персональный компьютер в универсальный программатор: Пер. с франц. / П. Гёлль. — М.: ДМК, 2000. — 168 е.: ил.

132. Гёлль, П. Электронные устройства с программируемыми компонентами: Пер. с фр. / П. Гёлль. — М.: ДМК Пресс, 2001. — 176 с. : ил.

133. Гололобов, В.Н. «Умный дом» своими руками / В.Н. Гололобов. — М.: НТ Пресс, 2007. — 416 е.: ил.

134. Голубцов, М.С. Микроконтроллеры AVR: от простого к сложному / М.С. Голубцов. — М.: СОЛОН-Пресс, 2004. — 288с.

135. Гребнев, В.В. Микроконтроллеры семейства AVR фирмы Atmel / B.B. Гребнев. — М.: ИП РадиоСофт, 2002. — 176 е.: ил.

136. Григорьев, В. Л. Программирование однокристальных микропроцессоров / В.Л. Григорьев. — М.: Энергоатомиздат, 1987. — 288 с.

137. Дьяков, И.А. Моделирование цифровых и микропроцессорных системы. Язык VHDL: Учеб. Пособие / И.А. Дьяков. — Тамбов: Изд-во Тамб. гос. техн. ун-та, 2001. — 68 с.

138. Евстифеев, A.B. Микроконтроллеры AVR семейств Tiny и Mega фирмы «ATMEL» / A.B. Евстифеев. — М.: Издательский дом «Додэка-ХХ1», 2004.— 560 с.

139. Евстифеев, A.B. Микроконтроллеры AVR семейства Classic фирмы ATMEL / A.B. Евстифеев. — 3-е изд., стер. — М.: Издательский дом «Додэка-XXI», 2006.—288 с. : ил.

140. Евстифеев, A.B. Микроконтроллеры AVR семейства Mega. Руководство пользователя / A.B. Евстифеев. — М.: Издательский дом «Додэка-XXI», 2007. — 592 с. : ил.

141. Заец, Н.И. Радиолюбительские конструкции на PIC-микроконтроллерах. Книга 3 / Н.И. Заец. — М.: СОЛОН-Пресс, 2006. — 240 с.

142. Заец, Н.И. Радиолюбительские конструкции на PIC-микроконтроллерах. С алгоритмами работы программ и подробными комментариями к исходным текстам. Книга 2 / Н.И. Заец. — М.: СОЛОН-Пресс, 2005. — 192 е.: ил.

143. Заец, Н.И. Радиолюбительские конструкции на PIC-микроконтроллерах. С алгоритмами работы программ и подробными комментариями к исходным текстам / Н.И. Заец.— М.: СОЛОН-Пресс, 2003. — 368 е.: ил.

144. Заец, Н.И. Электронные самоделки. Для быта, отдыха и здоровья / Н.И. Заец. — М.: СОЛОН-Пресс, 2005. — 304 е.: ил.

145. Зотов, В.Ю. Проектирование встраиваемых микропроцессорных систем на основе ПЛИС фирмы XILINX / В.Ю. Зотов. — М.: Горячая линия-Телеком, 2006. — 520 с. : ил.

146. Иванов, Ю.И. Микропроцессорные устройства систем управления: Учебное пособие / Ю.И. Иванов, В .Я. Югай. — Таганрог: Изд-во ТРТУ, 2005.133 с.

147. Каган, Б.М. Основы проектирования микропроцессорных устройств автоматики / Б.М. Каган, В.В. Сташин. — М.: Энергоатомиздат, 1987. — 304 с.

148. Калабеков, Б.А. Микропроцессоры и их применение в системах передачи и обработки сигналов: Учеб. пособие для вузов / Б.А. Калабеков. — М.: Радио и связь, 1988. — 368 е.: ил.

149. Каспер, Э. Программирования на языке Ассемблера для микроконтроллеров семейтсва i8051 / Э. Каспер. — М.: Горячая линия-Телеком, 2003. — 191 с. : ил.

150. Кёниг, А. Полное руководство по PIC-микроконтроллерам PIC18, PIC 1 OF, rfPIC. / Пер. с нем. В.И. Кириченко, Ю.А. Шпак / А. и М. Кёниг. — К.: МК-Пресс, 2007. — 255 с.

151. Козаченко. В.Ф. Практическое руководство по применению 16-разрядных микроконтроллеров Intel MCS-196/296 во встроенных системах управления / В.Ф. Козаченко. — М.: ЭКОМ, 1997. — 500 с. : ил.

152. Корнеев, В.В. Современные микропроцессоры / В.В. Корнеев, A.B. Киселев. — 3-е изд., перераб и доп. — СПб.: БВХ-Петербург, 2003. — 448 с.

153. Коффрон, Дж. Технические средства микропроцессорных систем: Практический курс. Пер. с англ. / Дж. Коффрон. — М.: Мир, 1983. — 344 с.

154. Максфилд, К. Проектирование на ПЛИС. Курс молодого бойца / К. Максфилд. — М.: Издательский дом «Додэка-ХХ1», 2007. — 408 е.: ил.

155. Мартин, Т. Микроконтроллеры ARM7. Семейство LPC2000 компании Philips. Вводный курс / Пер. с англ. / Т. Мартин — М.: Издательский дом «Додэка-ХХ1», 2006. — 240 е.: ил.

156. Микушин, A.B. Занимательно о микроконтроллерах / A.B. Микушин. — СПб.: БХВ-Петербург, 2006. — 432 е.: ил.

157. Мортон, Дж. Микроконтроллеры AVR. Вводный курс. / Пер. с англ. / Дж. Мортон. — М.: Издательский дом «Додэка-ХХ1», 2006. — 272 е.: ил.

158. Николайчук, О. х51-совместимые микроконтроллеры фирмы Cygnal / О. Николайчук. — М.: ООО «ИД СКИМЕН», 2002. — 472 е., ил.

159. Николайчук, О. И.Системы малой автоматизации / О. И. Николайчук

160. М.: СОЛОН-Пресс, 2003. — 256 с.

161. Петров, И. В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования / Под ред. проф, В. П. Дьяконова / И. В. Петров. — М.: СОЛОН-Пресс, 2004. — 256 с : ил.

162. Петров, И.В. Отладка прикладных ПЛК программ в CoDeSys (часть 3) / И.В. Петров, Р. Вагнер. // Промышленные АСУ и контроллеры. — 2006. — №4.

163. Поляков, А.К. Языки VHDL и Verilog в проектировании цифровой аппаратуры / А.К. Поляков. — М.: СОЛОН-Пресс, 2003. — 320 с. : ил.

164. Предко, М. 123 эксперимента по робототехнике / М. Предко: пер. с англ. В.П.Попова. — М. : НТ Пресс. — 2007. — 544с. : ил.

165. Предко, М. Руководство по микроконтроллерам. Том I / М. Предко.

166. М.: Постмаркет, 2001. — 416 с.

167. Предко, М. Руководство по микроконтроллерам. Том II / М. Предко.

168. М.: Постмаркет, 2001. — 488 с.

169. Предко, М. Справочник по PIC-микроконтроллерам. Пер. с англ. / М. Предко. — М.: ДМК Пресс, 2002, ООО «Издательский до «Додэка-ХХ1», 2002.512 е.: ил.

170. Редькин, П.П. Прецизионные системы сбора данных семейства MSC12xx фирмы Texas Instruments: архитектура, программирование, разработка приложений. (+CD) / П.П. Редькин. — М.: Издательский дом «Додэка-ХХ1», 2006. — 608 е.: ил.

171. Сазонов, A.A. Микропроцессорное управление технологическим оборудованием микроэлектроники: Учеб. Пособие / A.A. Сазонов, Р.В. Корнилов, Н.П. Кохан и др.; Под ред. A.A. Сазонова. — М.: Радио и связь, 1988. —264 е.: ил.

172. Семенов, Б.Ю. Микроконтроллеры MSP430: первое знакомство / Б.Ю. Семенов. — М.: СОЛОН-Пресс, 2006. — 128 е.: ил.

173. Сергиенко, A.M. VHDL для проектирования вычислительных устройств / A.M. Сергиенко. — К.: ЧП «Корнейчук», ООО «ТИД «ДС», 2003.208 с.

174. Сташин, В.В. Проектирование цифровых устройств на однокристальных микроконтроллерах / В.В. Сташин, A.B. Урусов, О Ф. Мологонцева. — М.: Энергоатомиздат, 1990. — 224 с.

175. Суворова, Е.А. Проектирование цифровых систем на VHDL / Е.А. Суворова, Ю.Е. Шейнин. — СПб.: БХВ-Петербург, 2003. — 576 е.: ил.

176. Тавернье, К. PIC-микроконтроллеры. Практика применения: Пер. с фр. / К. Тавернье. — М.: ДМК Пресс, 2004. — 272 е.: ил.

177. Трамперт, В. AVR-RISC микроконтроллеры. : Пер. с нем. / В. Трамперт. — К.: «МК-Пресс», 2006. — 464 е., ил.

178. Трамперт, В. Измерение, управление и регулирование с помощью AVR-микроконтроллеров.: Пер. с нем. / В. Трамперт. — К.: «МК-Пресс», 2006.208 е., ил.

179. Ульрих, В.А. Микроконтроллеры PIC16X7XX. Изд. 2-е, перераб и доп. / В.А. Ульрих. — СПб.: Наука и Техника, 2002. — 320 с. : ил.

180. Фрунзе, A.B. Микроконтроллеры? Это же просто! Т.1. / A.B. Фрунзе.

181. М.: ООО «ИД СКИМЕН», 2002. — 336 е.: ил.

182. Фрунзе, A.B. Микроконтроллеры? Это же просто! Т.2. / A.B. Фрунзе.

183. М.: ООО «ИД СКИМЕН», 2003. — 224 е.: ил.

184. Холленд, Р. Микропроцессоры и операционные системы: Краткое справочное пособие: Пер. с англ. В.Л. Григорьева. / Р. Холленд. — М.: Энергоатомиздат, 1991. — 192 е.: ил.

185. Шагурин, И.И. Современные микроконтроллеры и микропроцессоры Motorola: Справочник / И.И. Шагурин. — М.: Горячая линия-Телеком, 2004. — 952 с. : ил.

186. Швец, В.А. Одноплатные микроконтроллеры. Проектирование и применение / В.А. Швец, В.В. Шестакова, Н.В. Бурцева, Т.В. Мелешко. — К.: «МК-Пресс», 2005. — 304 е.: ил.

187. Шпак, Ю.А. Программирование на языке для AVR и PIC микроконтроллеров / Сост. Ю.А. Шпак. — К.: МК-Пресс, 2006. — 400 с. : ил.

188. Яценков, B.C. Микроконтроллеры Microchip rfPIC со встроенным маломощным радиопередатчиком / B.C. Яценков. — М.: Горячая линия-Телеком, 2006. — 344 с.

189. Яценков, B.C. Микроконтроллеры Microchip. Практическое руководство / B.C. Яценков. — М.: Горячая линия-Телеком, 2002. — 296 с. : ил.

190. OMG Unified Modeling Language (OMG UML), Superstructure Electronic resource. — Режим доступа: http://www.omg.Org/spec/UML/2.3/Superstructure.

191. Programming with STEP 7 V5.0, Release 02, 1999, Siemens AG. Электронный ресурс. — Режим доступа: http://automation.siemens.com.

192. Working with STEP 7 V5.0, Release 02, 1999, Siemens AG. Электронный ресурс. — Режим доступа: http://automation.siemens.com.

193. Казеннов, Г. Система схемотехнического проектирования AVOCAD. Проектирование аналогово-цифровых схем на кристалле. / Г. Казеннов, С. Кокин, С. Макаров, В. Перминов, Д. Перминов // Электроника: Наука, Технология, Бизнес. — 2004. — №5. — С. 72.

194. Леоненков, А.В. Нотация и семантика языка UML Электронный ресурс. — Режим доступа: http://www.intuit.ru/department/pl/umlbasics/

195. Acceleo. Электронный ресурс. — Режим доступа: http://www.acceleo.org/pages/home/en

196. ARIS. Электронный ресурс. — Режим доступа: http://www.ids-scheer.com/en/ARIS/ARISSoftware/3730.html

197. Astade. Электронный ресурс. — Режим доступа: http://astade.tigris.org/

198. ATLAS Transformation Language. Электронный ресурс. — Режим доступа: http://www.ее 1 ipse.org/m2m/atl/

199. Borland Together. Электронный ресурс. — Режим доступа: http://www.borland.com/together/index.html

200. BOUML. Электронный ресурс. — Режим доступа: http://bouml.free.fr/

201. Embedded Coder Электронный ресурс. — Режим доступа: http://www.mathworks.com/products/embedded-coder/

202. Enterprise Architect. Электронный ресурс. — Режим доступа: http://www.sparxsystems.com.au

203. Gaphor. Электронный ресурс. — Режим доступа: http://gaphor.sourceforge.net/

204. Gentleware Poseidon. Электронный ресурс. — Режим доступа: http:// www. gentle ware .com/products. htm 1.

205. IBM Rational Rose. Электронный ресурс. — Режим доступа: http://ibm.com/software/awdtools/developer/rose/

206. Finite State Machine (FSM). Электронный ресурс. — Режим доступа: http://finsm.sourceforge.net/

207. MagicDraw. Электронный ресурс. — Режим доступа: http://magicdraw.com/

208. MATLAB Coder. Электронный ресурс. — Режим доступа: http://www.mathworks.com/products/matlab-coder/

209. Microsoft Visio. Электронный ресурс. — Режим доступа: http://visiotoolbox.com/

210. ModelMaker Tools. Электронный ресурс. — Режим доступа: http://www.modelmakertools.com/

211. NetBeans. Электронный ресурс. — Режим доступа: http://www.netbeans.org

212. Rhapsody Modeler. Электронный ресурс. — Режим доступа: http://www.ilogix.com/sublevel.aspx?id=l 756

213. Simulink. Электронный ресурс. — Режим доступа: http://www.mathworks.com/products/simulink/

214. SmartDraw. Электронный ресурс. — Режим доступа: http :// www. smartdraw. com/

215. Software Ideas Modeler. Электронный ресурс. — Режим доступа: http ://software ideas. net/

216. StarUML. Электронный ресурс. — Режим доступа: http ://staruml. sourceforge .net/en/

217. Stateflow Электронный ресурс. — Режим доступа: http://www.mathworks.com/products/stateflow/

218. The State Machine Compiler. Электронный ресурс. — Режим доступа: http://smc.sourceforge.net/

219. Telelogic Rhapsody. Электронный ресурс. — Режим доступа: http://www.ilogix.com/

220. UML Studio. Электронный ресурс. — Режим доступа: http://www.pragsoft.com/products.html

221. Visual Paradigm for UML. Электронный ресурс. — Режим доступа: http://visual-paradigm.com/

222. Инструментальное средство MetaAuto. Электронный ресурс. — Режим доступа: http://is.ifmo.ru/projects/metaauto/

223. Инструментальное средство UniMod. Электронный ресурс. — Режим доступа: http://unimod.sourceforge.net

224. Конвертор Visio2Switch. Электронный ресурс. — Режим доступа: http://is.ifmo.ru/progeny/visio2switch/

225. Algorithm Builder. Электронный ресурс. — Режим доступа: http://algrom.net/

226. Vacon NCI 131-3 Engineering. Электронный ресурс. — Режим доступа: http://www.vacom.com

227. RSLOGIX 500 Starter. Электронный ресурс. — Режим доступа: http://www.rockwellautomation.com

228. System Q. Электронный ресурс. — Режим доступа: http://www.mitsubishi-automation.ru/

229. XG5000. Электронный ресурс. — Режим доступа: http://www.lgis.com/

230. Micro TRACE MODE. Электронный ресурс. — Режим доступа: http://www.icpdas.com

231. Menta. Электронный ресурс. — Режим доступа: http://www.schneider-electric.com

232. PG5. Электронный ресурс. — Режим доступа: http://www.saia-pcd.com

233. Proficy Machine Edition (ME). Электронный ресурс. — Режим доступа: http://www.ge-ip.com

234. WinPLC7. Электронный ресурс. — Режим доступа: http://www.vipa.com

235. SMLogix. Электронный ресурс. — Режим доступа: http://segnetics.com

236. КОНТРАСТ. Электронный ресурс. — Режим доступа: http://volmag.ru/

237. LEONA. Электронный ресурс. — Режим доступа: http://volmag.ru/

238. QUICK II. Электронный ресурс. — Режим доступа: http://www.comat.ch

239. Festo Software Tools FST 4.10. Электронный ресурс. — Режим доступа: http://www.festo.com

240. AL-PCS/WIN. Электронный ресурс. — Режим доступа: http://www.mitsubishi-automation.ru/

241. Sysmac Studio. Электронный ресурс. — Режим доступа: http://www.omron-ap.com

242. СХ- One Integrated Tool Package. Электронный ресурс. — Режим доступа: http://www.omron-ap.com

243. Drive PLC Developer Studio. Электронный ресурс. — Режим доступа: http://www.lenze.com

244. MicPlus. Электронный ресурс. — Режим доступа: http://www.insat.ru

245. Интегрированная среда разработки (ИСР) КРУГОЛ. Электронный ресурс. — Режим доступа: http://www.krug2000.ru

246. Isagraf. Электронный ресурс. — Режим доступа: http://www.isagraf.com

247. Codesys. Электронный ресурс. — Режим доступа: http://www.3s-software.com

248. Multiprog. Электронный ресурс. — Режим доступа: http://www.kw-software.com/

249. MasterPLC. Электронный ресурс. — Режим доступа: Designer http://www.masterplc.ru

250. TwidoSoft. Электронный ресурс. — Режим доступа: http://www.schneider-electric.ru

251. PC Worx. Электронный ресурс. — Режим доступа: http://www.phoenixcontact.com

252. PC Worx Express. Электронный ресурс. — Режим доступа: http://www.phoenixcontact.com

253. GM Win 4. Электронный ресурс. — Режим доступа: http :// www. anadigi. со. za

254. Visilogic. Электронный ресурс. — Режим доступа: http://www.unitronics.com

255. SimlnTech. Электронный ресурс. — Режим доступа: http://3v-services.com

256. KLogic. Электронный ресурс. — Режим доступа: http://www.kaskad-asu.com

257. OpenPCS 2010. Электронный ресурс. — Режим доступа: http ://www. infoteam. de

258. SUCOsoft S340. Электронный ресурс. — Режим доступа: http://www.moeller.net

259. NAIS CONTROL. Электронный ресурс. — Режим доступа: http://www.nais-e.com/

260. Symphony. Электронный ресурс. — Режим доступа: http://www.selectron.ch

261. Concept. Электронный ресурс. — Режим доступа: http://www2.schneider-electric.com

262. Excel Computer Aided Regulation Engineering. Электронный ресурс. — Режим доступа: http://www.honeywell-ec.ru

263. ConField. Электронный ресурс. — Режим доступа: http://www.ineum-ems.ru

264. ISPSoft 1.0. Электронный ресурс. — Режим доступа: http://www.delta-electronics.info

265. B&R Automation Studio. Электронный ресурс. — Режим доступа: http://www.br-automation.com

266. Интегрированная среда разработки программ «РелКон». Электронный ресурс. — Режим доступа: http://www.kontel.ru/

267. Easy Tools. Электронный ресурс. — Режим доступа: http://www.carel.com

268. TelePACE. Электронный ресурс. — Режим доступа: http://www.controlmicrosystems.com

269. CONT-Designer. Электронный ресурс. — Режим доступа: http://www.emicon.ru

270. LOGOISoft Comfort. Электронный ресурс. — Режим доступа: http://www.automation.siemens.com

271. Realizer. Электронный ресурс. — Режим доступа: http://www.actum.com

272. Siemens Step7. Электронный ресурс. — Режим доступа: http://www.siemens.com

273. S7-HiGraph для S7-300/400. Электронный ресурс. — Режим доступа: http://www.automation.siemens.com192