МАТЕМАТИЧНЕ ТА ЛІНГВІСТИЧНЕ ЗАБЕЗПЕЧЕННЯ АВТОМАТИЗАЦІЇ НАПИСАННЯ ПРОГРАМ ВОСЬМИРОЗРЯДНИХ МІКРОКОНТРОЛЕРІВ : Математичность ТА ЛІНГВІСТІЧНЕ ЗАБЕЗПЕЧЕННЯ АВТОМАТІЗАЦІЇ НАПИСАННЯ ПРОГРАМ ВОСЬМІРОЗРЯДНІХ МІКРОКОНТРОЛЕРІВ

Краткое описание

Міністерство освіти і науки, молоді та спорту України
Запорізький національний технічний університет

На правах рукопису

Малий Олександр Юрійович

УДК 519.685

МАТЕМАТИЧНЕ ТА ЛІНГВІСТИЧНЕ ЗАБЕЗПЕЧЕННЯ АВТОМАТИЗАЦІЇ НАПИСАННЯ ПРОГРАМ ВОСЬМИРОЗРЯДНИХ МІКРОКОНТРОЛЕРІВ

05.13.12 Системи автоматизації проектувальних робіт

Дисертація на здобуття наукового ступеня кандидата
технічних наук

Науковий керівник
к.т.н., доц. Фарафонов
Олексій Юрійович

Запоріжжя 2012

ЗМІСТ

Перелік скорочень4
Вступ..6
1. Аналіз сучасного стану автоматизованого проектування та
відлагодження программ мікроконтролерів і постановка
задач дослідження..13
1.1 Аналіз пристроїв на основі мікроконтролерів та можливості
сучасних САПР при проектуванні та відлагодженні
программ мікроконтролерів13
1.2 Аналіз методів та засобів автоматизації розроблення програм.26
1.3 Основні проблеми, що виникають під час проектування
програм мікроконтролерів для різного роду пристроїв..34
1.4 Постановка задач дослідження.41
2. Розроблення моделей опису складу та функціонування
мікроконтролерів різних виробників та лінгвістичного забезпечення
для опису алгоритмів функціонування мікроконтролерних систем44
2.1 Побудова математичної моделі мікроконтролерів різних типів
для створення загальної методики написання програм44
2.2 Розроблення уніфікованої алгоритмічної мови для
опису функціонування мікроконтролерів, периферійних
пристроїв вбудованих в них, та електронних пристроїв на
їх основі58
2.3 Розроблення моделі опису функціонального складу
восьмирозрядних мікроконтролерів різних типів та виробників
на основі структур плаваючої довжини.73
2.4 Розроблення моделі опису системи команд з вказанням
алгоритмів перетворення ними об’єктів, що входять до
складу мікроконтролерів.84
2.5 Висновки до розділу...96
3. Розробка методів та алгоритмів автоматизації створення програм мікроконтролерів97
3.1 Розроблення методу опису інженерних задач за
допомогою уніфікованої алгоритмічної мови
програмування мікроконтролерів (УАМПМ)..97
3.2 Розроблення алгоритму автоматизованого вибору
типу мікроконтролеру для розв’язання поставленої інженерної
задачі119
3.3 Опрацювання поставленої інженерної задачі на УАМПМ
для перетворення в асемблерний код обраного мікроконтролеру133
3.4 Висновки до розділу...146
4. Інформаційне та програмне забезпечення автоматизації процесу
написання програм та перевірка отриманих у дисертаційній
роботі результатів..148
4.1 Побудова структури програмного забезпечення
автоматизації програмування мікроконтролерів та опис
алгоритмів роботи окремих модулів...148
4.2 Розроблення інформаційного забезпечення системи
автоматизації написання програм мікроконтролерів160
4.3 Особливості використання розробленого програмного
забезпечення автоматизації написання програм
восьмирозрядних мікроконтролерів.167
4.4 Перевірка отриманих у дисертаційній роботі результатів182
4.5 Висновки до розділу..187
Висновки.190
Список використаних джерел...193
Додатки212

ПЕРЕЛІК СКОРОЧЕНЬ

САПР система автоматизації проектувальних робіт
МК мікроконтролер
МПС мікропроцесорна система
УАМПМ уніфікована алгоритмічна мова програмування мікроконтролерів
ЗНТУ Запорізький національний технічний університет
САП система автоматизації програмування
ПЗ програмне забезпечення
САПП система автоматизованого проектування програм
СОД система обробки даних
CPU Central processing unit
ROM read only memory
RAM random access memery
кБ кілобайт
АЦП аналогово-ціфровий перетворювач
ОД обробка даних
ЕОМ електронна обчислювальна машина
СУБД система управління базами даних
ППП пакет прикладних програм
АСУ автоматизована система управління
ЕС електронна система
ТПР таблиця прийняття рішень
АА алгебра алгоритміки
САА система алгоритмічних алгебр
СКЗ середовище конструювання алгоритмічних знань
РС регулярна схема
CISC Complex Instruction Set Computer
RISC Reduced Instruction Set Computer
ОТР однократно програмувальна пам'ять
ПЗП постійний запам'ятовуючий пристрій
МПС мікропроцесорна система
МП мікропроцесор
ОЗП оперативний запам’ятовуючий пристрій
ППЗП перепрограмований постійний запам’ятовуючий пристрій
ЦАП цифро-аналоговий перетворювач
УМП універсальна мова програмування
УСА уніфікована семантична алгебра
ВІС велика інтегральна схема
ПЛІС - програмована логічна інтегральна схема
TLB - Translation Lookaside Buffer
EEPROM electrically erased programmable read-onle memory
БД база даних
РКІ - рідкокристалічний індикатор

ВСТУП

Актуальність теми: На сучасному етапі розвитку радіоелектронної апаратури використання мікроконтроллерів стає все більшим. Як промислові так й побутові пристрої розроблюються на основі мікроконтролерів. Ускладнення пристроїв, що побудовані на основі мікроконтролерів все більше потребує автоматизації процесу їх розробки. Таким чином, стає актуальною проблема створення системи автоматизованої розробки пристроїв на основі мікроконтроллерів. Першим етапом створення такої системи є створення системи автоматизованого програмування для написання текстів програм мікроконтролерів, що керують складними радіоелектронними системами. Це дасть змогу скоротити час на розробку та модернізацію радіоелектронних засобів.
На жаль, на ринку програмного забезпечення відсутні програмні засоби, що проводять автоматизацію створення програм мікроконтролерів різних сімейств та дають змогу враховувати властивості обєктів, що входять до складу МК. Більше того, основи теорії оптимізації й автоматизації програмування мікроконтролерів розвинені дуже слабко.
Основи теорії автоматизації програмування досліджувалися багатьма вітчизняними (Романов В.М., Ющенко Е.Л. [1-3], Цейтлін Г.Є.[4], Бабенко Л.П.[5], Вельбицький І.В. [6] і т.д.) та закордонними науковцями (Трифанов Н.П. [7], Лавров С.С. [8], Арушанян О.Б. [9-11], Бабецький Г.І. [10,12], Бетелін В.Б. [13], Гудман С. [14] і ін.[15-22]), але підходи автоматизації створення программ, що розглядалися прив’язувалися до електронно-обчислювальних машин або окремо взятих процесорів та не враховували особливостей роботи мікроконтролерів. Основною відмінністю мікроконтролерів від обчислювальних систем для яких створювались методи та засоби автоматизації програмування є насамперед наявність вбудованої периферії, що має чітку структуру для кожного окремо взятого типу МК. Запропоновані до цього підходи не враховують взаємодію написаної програми з апаратною частиною мікроконтролера, як цілісної системи.
Крім того, для реалізації повноцінної системи автоматизації створення програм необхідно мати можливість опису структури та функціонування будь якого мікроконтролера. Існує велика кількість математичних моделей процесорних пристроїв [23-36] та методів опису цифрових пристроїв[28,37-41], у тому числі і мікропроцесорів [42-48]. Але треба зазначити, що запропоновані методи є або дуже складними для реалізації користувачем САПР, або не можуть бути використані для опису мікроконтролерів з причин іншого цільового призначення або неповноти параметрів.
Отже, розроблення математичних моделей опису мікроконтролерів, методів опису функціонування, як окремих вузлів так і мікроконтролера вцілому, а також мови для опису алгоритмів функціонування складних радіоелектронних систем на основі мікроконтролера та взаємодії елементів всередині мікроконтролера є дуже актуальними. Тому в роботі пропонується розробка математичного та лінгвістичного забезпечення автоматизації програмування мікроконтролерів на основі модернізації існуючих методів, засобів та підходів та розробленні власних з врахуванням особливостей функціонування мікроконтролерів, як цілісної програмно-апаратної системи.
Зв'язок роботи з науковими програмами, планами, темами. Основу дисертаційної роботи складають результати теоретичних та практичних досліджень, виконаних автором в рамках планових робіт кафедри інформаційних технологій електронних засобів Запорізького національного технічного університету, зокрема держбюджетних тем:
- ДБ 04117 Методи оптимізації параметрів радіоелектронних пристроїв з використанням геометричних моделей допускових областей” (наказ МОНУ №732 від 27.10.2006 р., № держ. реєстр. 0107U000440);
- ДБ 04410 Об’єктно-орієнтовані методи проектування радіоелектронних апаратів (наказ МОНУ №686 від 22.07.2009 р. № держ. реєстр. 0110U001141).
Участь автора полягала в розробці об’єктних моделей радіоелектронних пристроїв та алгоритмів їх роботи на стадії проведення експериментальних досліджень, що дало змогу спростити процес тестування за рахунок зменшення часу на проведення експериментів.
Мета та задачі дослідження. Мета дисертаційної роботи: розроблення моделей опису мікроконтролерів різних виробників та методу опису інженерних задач для автоматизації написання керуючих програм мікроконтролерів. Для досягнення цієї мети поставлено такі задачі дослідження:
· провести аналіз пристроїв на основі мікроконтролерів, можливостей сучасних САПР при проектуванні та відлагодженні програм мікроконтролерів, методів та засобів автоматизації розробки програм, а також методів опису мікропроцесорних пристроїв;
· розробити загальну математичну модель мікроконтролера, що дасть змогу проводити опис будь-якого типу мікроконтролера незалежно від виробника та на її основі розробити модель опису функціонального складу мікроконтролерів та системи команд, що дасть змогу визначити структуру мікроконтролерів різних типів;
· розробити уніфіковану мову для опису функціонування мікроконтролерів, периферійних пристроїв, вбудованих в мікроконтролери, та радіоелектронних пристроїв на основі мікроконтролерів;
· розробити алгоритм автоматизації створення програм мікроконтролерів на основі введеного користувачем алгоритму роботи радіоелектронного пристрою, що проектується, та розробити алгоритм автоматизованого вибору мікроконтролера для поставленої задачі;
· розробити базове програмне забезпечення для автоматизації створення програм мікроконтролерів та алгоритм його використання, а також провести порівняльний аналіз результатів, отриманих завдяки ньому з результатами написання програм безпосередньо програмістом без використання автоматизації.
Об'єкт дослідження: автоматизація програмування мікроконтролерів.
Предмет дослідження: моделі, алгоритми та методи автоматизованого написання текстів програм восьмирозрядних мікроконтролерів на основі введеного алгоритму роботи пристрою.
Методи дослідження: формальні методи аналізу й перетворення програм, засновані на алгоритмічних алгебрах, аналіз потоків даних, форми Бекуса-Наура, методи теорії програмування, формального опису синтаксису мов програмування, матричні методи.
Наукова новизна проведених досліджень полягає в наступному:
1. Вдосконалено моделі опису апаратних елементів мікропроцесорних систем, які на відміну від існуючих включають дані про периферійні модулі та взаємозв’язок між апаратними та програмними складовими, що дає змогу описувати як єдине ціле програмно-апаратну систему.
2. Вперше розроблено уніфіковану алгоритмічну мову програмування мікроконтролерів, яка ґрунтується на основі розроблених об’єктних моделей опису мікропроцесорної системи та алгоритмах трансляції і дає змогу автоматизувати процес генерування текстів керуючих програм мікроконтролерів.
3. Вдосконалено метод опису інженерної задачі, який на відміну від існуючих включає опис складових елементів системи на основі структур з плаваючою довжиною та використовує базові алгоритми роботи периферійних пристроїв і дає змогу спростити опис функціонального складу пристрою, що проектується.
4. Вперше розроблено метод автоматизованого вибору мікроконтролеру, що базується на оцінці об’єму памяті мікроконтролеру, параметрах вбудованих периферійних модулів та економічних показниках та на відміну від існуючих дає можливість аналізу інженерної задачі з метою підвищення швидкості функціонування мікропроцесорної системи при мінімальних економічних витратах.
5. Вперше запропоновано метод автоматизованого синтезу програм керування мікроконтролерів, який базується на використанні вимог технічного завдання, алгоритмах функціонування елементів та цілої системи, типових структурах мікропрограм, базових елементах коду та продуктивних правилах, що дає змогу в автоматизованому режимі генерувати текст керуючої програми мікроконтролеру.
Практичне значення одержаних результатів. Розроблено інформаційне забезпечення для САПР мікроконтролерів у вигляді структур даних, що дає змогу створювати уніфіковану базу даних для опису мікроконтролерів різних виробників та сімейств. Розроблено алгоритм автоматизованого вибору мікроконтролерів, що враховує конструктивні, технічні та економічні параметри мікроконтролерів, занесених у базу даних, по десяти критеріях та пропонує розроблювачу радіоелектронних пристроїв оптимальний, з точки зору швидкості функціонування мікропроцесорної системи при мінімальних економічних витратах, мікроконтролер. Розроблено базовий програмний комплекс автоматизації написання програм восьмирозрядних мікроконтролерів, що дає змогу роботи опис будь-яких мікроконтролерів, проводити опис інженерної задачі, проводити автоматизований вибір цільового мікроконтролера, проводити компіляцію вихідної задачі в мову обраного мікроконтролера, трансляцію й дизасемблювання програм будь-яких мікроконтролерів. Результати роботи дають змогу скоротити час для створення нових радіоелектроних пристроїв на основі мікроконтролерів за рахунок автоматизації процесу написання програм.
Результати дисертаційної роботи впроваджені в навчальний процес Запорізького національного технічного університету й на наступних підприємствах: КП «НПК «Іскра»»; ТОВ «ВАГАВЄС».
Особистий внесок здобувача. Усі наукові результати дисертаційної роботи отримані автором самостійно. У наукових працях, опублікованих у співавторстві, автору належать: [49,54] дослідження існуючих методів створення алгоритмічних мов програмування, розробка уніфікованої алгоритмічної мови програмування мікроконтролерів; [50,59] пристосування існуючих математичних методів аналізу програм при трансляції для розгляду процесу трансляції при перетворені алгоритму в кінцевий код мікроконтролера; [53]розробка загального алгоритму вибору мікроконтролера для вирішення поставленої інженерної задачі, вибір та ранжування критеріїв автоматизованого вибору; [54] розробка методу опису проектних задач для пристроїв на основі мікроконтролерів, [57] порівняння мікроконтролерів різних виробників та складання узагальненої моделі восьмирозрядних мікроконтролерів для їх опису під час використання в засобах автоматизації написання програм; [58] аналіз інструкцій програмного коду мікроконтролерів різних виробників.
Апробація результатів дисертації. Основні положення й результати дисертаційної роботи доповідались й обговорювались на таких конференціях: міжнародна науково-технічна конференція Сучасні проблеми засобів телекомунікацій, комп’ютерної інженерії та підготовки спеціалістів” TSCET’08, 2008 (м.Славське); 8-ма та 9-та міжнародні науково-технічні конференції "Досвід розробки і застосування приладо-технологічних САПР мікроелектроніки" CADSM, 2005, 2007 (с.Поляна); ІІІ-VI міжнар. наук.-практ. конф «Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій», 2006, 2008, 2010, 2012р.р, (м.Запоріжжя), 7-й та 11-й міжнар. молодіжні форуми «Радиоэлектроника и молодежь в ХХI веке», 2003, 2007 (м. Харків).
Публікації. Основний зміст дисертаційної роботи опублікований в 14 друкованих працях загальним обсягом 66 сторінок, з яких 5 ‑одноосібні, в тому числі 5 наукових статей (з яких 5‑у фахових виданнях), 9‑матеріали і тези доповідей на конференціях.
Структура та обсяг роботи. Дисертаційна робота складається зі вступу і чотирьох розділів, висновку, списку літератури з 216 найменувань і 6 додатків. Основний зміст роботи викладено на 189 сторінках, включаючи 49 рисунків та 8 таблиць.
У першому розділі проводиться аналіз пристроїв на основі мікроконтролерів, сучасного стану систем автоматизованого проектування програм мікроконтролерів, досліджуються етапи розроблення програм мікроконтролерів, основні проблеми, що виникають під час проектування пристроїв.
У другому розділі розроблено методи універсалізації створення програм мікроконтролерів. Досліджено структури мікроконтролерів та розроблено моделі опису функціонального складу з урахуванням жорстких взаємодій між програмною й апаратною частиною. Розроблена уніфікована алгоритмічна мова для опису функціонування мікроконтролерів, периферійних пристроїв, вбудованих в мікроконтролери та радіоелектронних пристроїв на основі мікроконтролерів для роботи з мікроконтролерами різних виробників та метод опису системи команд.
У третьому розділі розроблено метод створення алгоритмів на основі поставленої інженерної задачі. Розроблено алгоритм автоматизованого вибору цільового мікроконтролера на основі аналізу поставленої задачі. Розроблено метод обробки вихідної задачі на уніфікованій алгоритмічній мові для перетворення в асемблерний чи машинний код обраного мікроконтролера.

У четвертому розділі проведено опис розробленого на основі проведених досліджень інформаційного та програмного забезпечення. Розроблено алгоритм роботи з розробленим програмним комплексом автоматизації написання програм мікроконтролерів MC-CAD при проектуванні пристроїв на основі мікроконтролерів, а також порівняння отриманих шляхом автоматизації результатів з результатами отриманими при розробці програм мікроконтролерів без використання автоматизації.

Список литературы

ВИСНОВКИ

У дисертаційній роботі вирішено важливу наукову задачу вдосконалено методи автоматизації програмування в сфері застосування їх до мікроконтролерів, розроблено більш універсальні моделі опису мікроконтролерів, що можуть використовуватись у САПР при проектуванні радіоелектронних пристроїв на основі мікроконтролерів. Отримані наступні основні результати:
Проведено аналіз пристроїв на основі мікроконтролерів, можливостей сучасних САПР при проектуванні та відлагодженні программ мікроконтролерів, методів та засобів автоматизації розробки програм, а також методів та моделей опису мікропроцесорних пристроїв.
Розроблена загальна математична модель мікроконтролерів, що дає змогу проводити опис будь-якого типу мікроконтролера в незалежності від виробника та на її основі розроблено метод опису функціонального складу мікроконтролерів, що дасть змогу визначити структуру мікроконтролерів різних типів.
Розроблена уніфікована мова (УАМПМ) для опису функціонування мікроконтролерів, периферійних пристроїв, вбудованих в мікроконтролери та радіоелектронних пристроїв на основі мікроконтролерів. Розроблена модель опису функціонального складу мікрокотролерів, що базується на математичній моделі мікроконтролерів та представляє собою структуру даних з плаваючою довжиною, що дає змогу проводити розробку інформаційного забезпечення у вигляді баз даних для САПР мікроконтролерів. Розроблена модель опису системи команд восьмирозрядних мікроконтролерів на основі УАМПМ, що дає змогу описувати набори інструкцій та їх вплив на апаратне забезпечення мікроконтролеру для архітектур RISC та CISС.
Розроблений метод опису інженерних задач при проектуванні радіоелектронних пристроїв на основі мікроконтролерів, що дасть змогу спростити процес складання технічного задання для систем автоматизації написання програм мікроконтролерів. Розроблений алгоритм автоматизованого вибору мікроконтролеру для вирішення окремої поставленої інженерної задачі при проектуванні пристроїв на основі мікроконтролерів, що базується на десяти критеріях, які враховують як технічні, так і економічні показники, що дасть змогу обирати оптимальний з точки зору швидкодії при заданому наборі вбудованої периферії мікроконтролер з мінімальною вартістю з бази даних САПР.
Розроблений метод автоматизації створення програм мікроконтролерів на основі введеного користувачем алгоритму роботи радіоелектронного пристрою, що проектується, та використовуючи теорію трансляції, що дать змогу підвищити швидкість написання програмного коду керуючого мікроконтролера від 2 до 15 разів в залежності від складності поставленої інженерної задачі. Розроблене базове програмне забезпечення для автоматизації написання програм мікроконтролерів та алгоритм його використання та проведено порівняльний аналіз результатів, отриманих завдяки ньому з результатами написання програм безпосередньо програмистом без використання автоматизації.
Теоретичні і практичні результати дисертаційної роботи використано при проектуванні радіоелектронних пристроїв на основі мікроконтролерів PIC12F508, PIC12F629, PIC16F84A, PIC16F628A, Attiny12, що випускають та модернізують на ТОВ «Вагавєс», а також при модернізації електронних ваг CAS CI2001A з мікроконтролером з системою команд фірми AVR шляхом зміни керуючої програми мікроконтролеру, що дало змогу розширити кількість виконуваних функцій при незмінній схемі.
Сукупність запропонованих моделей, методів та алгоритмів автоматизації написання програм восьмирозрядних мікроконтролерів проектування і алгоритмів використання розробленого програмного забезпечення даэ змогу значно спростити та прискорити процес написання програм восьмирозрядних мікроконтролерів для радіоелектронних пристроїв, що їми керуються і як наслідок прискорити та знизити вартість загального процесу проектування пристрою.

ПЕРЕЛІК ЛІТЕРАТУРИ

1.РомановВ.М. Методы и системы автоматизированного проектирования программ обработки данных // РомановВ.М., ЮщенкоЕ.Л. // К.: ИК, 1980. 126 с.
2. Теория языков и автоматизация программирования: Сб. науч. тр./ АН УССР, науч. совет по пробл. Кибернетика”, Ин-т Кибернетики им. В.М. Глушкова; [Ред-кол.: Е.Л. Ющенко] К.: ИК, 1986. 276 с.
3. Методы реализации систем программирования: Сб. науч. тр./АН УССР, ин-т кибернетики им. В.М.Глушкова; [Редкол.:Е.Л. Ющенко] К.: ИК, 1989. 280 с.
4. Автоматизация программирования [Сборник статей. Отв. ред. канд. физ.-мат. наук Г.Е. Цейтлин] К.. [ЦК], 1974. 116 с.
5. БабенкоЛ.П.,ЛавріщеваК.М. Основи програмної інженерії: Навч. посібник. - К.: Знання, 2001. 269 с.
6. Технология программирования: [Сб. статей]/ АН УССР, Науч совет по пробол.”Кибернетика”, Ин-т кибернетики; [Редкол. И.В. Вельбицкий]. К.: ИК, 1980. 74 с.
7.ТрифоноваН.П.,Шура-БураМ.Р. Система автоматизации программирования - М.: Физматгиз, 1961. 158 с.
8.ЛавровС.С. Программирование. Математические основы, средства, теория: Уч. Пособие. СПб.: БХВ Петербург, 2001. 320 с.
9.АрушанянО.Б. Автоматизация конструирования библиотек программ: Монография. М.:МГУ. 1988. 248 с.
10. Автоматизация программирования: Челябинский политехнич. ин-т каф. Электронные выч. машины” Уч. пособие. Челябинск, 1974. 88 с.
11.ПилипосянАГ. Математические вопросы кибернетики и вычислительной техники. Автоматизация программирования. Ереван, Изд-во Акад. Наук Арм. ССР, 1966. 129 с.
12. Альфа система автоматизации программирования / Г.И. Бабецкий, М.М. Бежанова, Ю.М. Волошин / Под ред. кфмн А.П. Ершова. Новосибирск, Наука”, Сиб. отд-е, 1967. 223240 с.
13.БетелинВ.Б. Системы автоматизации труда программиста. М.: Наука, 1990. 176 с.
14.ГудманС.,ХидетниемиС. Введение в разработку и анализ алгоритмов. Перевод с англ. Ю.Б. Котова и др.: Под ред. В.В. Мартынюка -М.: Мир, 1981. 361 с.
15. Системное и теоретическое программирование: Сб./ АН МолдССР, Ин-т математики с выч. центром. Кишинев: Штиинца, 1987. 146 с.
16.ЗаковряшинА.И. Алгоритмизация и программирование вычислительлных задач: Учеб. Пособие. М.: САЙНС-ПРЕСС, 2002. 80 с.
17.СлисенкоА.О.,СоловьевС.В. Математические методы построения и анализа алгоритмов: Сб./ АН СССР Ленинград. Ин-т информатики и автоматизации. Л.:Наука, 1990. 238 с.
18.УспенскийВ.А.,СеменовА.Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. 288 с.
19.ПриходькоП.П. О термальном аспекте автоматизации программирования. Проблеми програмування №1, 2006. 3-16 с.
20.СценкоО.А. Середовище алгоритмічних знань та інструментарій синтезу програм // Проблеми програмування№2-3, 2006. 349-358 с.
21.ГригорьевС.В.,ЛукичёвА.С. Генератор синтаксических анализаторов для произвольных контекстно-свободных грамматик // Технологии Microsoft в теории и практике программирования: материалы межвуз. конкурса-конф. студентов, аспирантов и молодых ученых Северо-Запада, 16-17 марта 2010 г./ Российское представительство Microsoft; Санкт-Петербургский государственный политехнический университет; - СПб.: Изд-во Политехн. ун-та, 2010. 80 с.
22.Jones,N.D.,Gomard,CJC,Sestoft,P. Partial Evaluation and Automatic program generation, Prentice Hall International, 1993. http//www.dina.lk/Ldk/sestoft/peboolo/pebook.html.
23.ЕвстигнеевВ.А. Применение теории графов в программировании / Под ред. А.П. Ершова. М.: Наука, 1985. 352 с.
24. Вычислительная техника и программирование [учеб. для техн. Вузов / А.В. Петров, В.Е.Алексеев, А.С. Ваулин и др.]; Под ред. А.В. Петрова М.: Высш. Шк., 1990. 478 с.
25.БондаренкоМ.Ф.,ДударьЗ.В.,ПроцайН.Т. и др. Алгебра предикатов и предикатных операций // Радиоэлектроника и информатика №1, 2005. 81-86 с.
26.ГолдобинА.А. Квазигомоморфное преобразование гиперграфов в автоматизации проектирования устройств управления // Радіоелектроніка. Інформатика. Управління №1, 2006. 41-48 с.
КасьяновВ.Н. Средства поддержки применения графов в программировании. // Проблемы программирования №1-2, 2000. 286-300 с.
28.ИцысковВ.М. Исследование и проектирование моделей программнных средств эмуляции вычислительных систем: Дис. канд. техн, наук: 05.13.13. - СПб, 1999. 249 с.
29.КапитоноваЮ.В.,ЛетичевскийА.А, Математическая теория про-ектирования вычислительных систем. — М.: Наука. Гл. ред. физ-мат. лит., 1988. 296 с.
30. Borger E, and Stark R., Abstract State Machines: A Method for High-level System Design and Analysis. Springer-Verlag, 2003.
31. Chen L. et al. DEFUSE: A Deterministic Functional Self-Test Methodol­ogy for Processors, VTS, 2000.
32. Fox A.C.J,, Harman N.A. Algebraic models of correctness for microprocessors. Technical Report CSR 8-98 (accepted for Formal Aspects of Computer Science). - University of Wales Swansea, 1998. - 22 p.
33. Fox A.C.J., Harman N. A. Algebraic Models of Temporal Abstraction for Initialised Iterated State Systems: An Abstract Pipelined Case Study.Technical Report CSR (submitted to Acta Informatica) -University of Wales Swansea, 1998. - 32 p.
34. Stephenson, K. Towards an Algebraic Specification of the Java Virtual Machine. In Proceedings of the ESPRIT Working Group 8533 on Prospects For Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters B. Moller and J. V. Tucker, Eds, Lecture Notes In Computer Science, vol. 1546. Springer-Verlag, London, 1998. pp. 236-277.
35. Stickel, M. E., A unification algorithm for associative-commutative functions, J. of the Association for Computing Machinery 28 (3), 1981, pp-423-434.
36. Turing A, On Computable Numbers, with an Application to the Ent-sheidungsproblem. Proceedings of the London Mathematical Society, Series 2, Vol, 42:230-265, 1936.
37.ПерельройденЕ.З. Проектируем на VHDL. М.: СОЛОН Пресс, 2004 448 с.
38.ОпанасенкоВ.Н.,ЛисовыйА.Н. Особенности языка VHDL для программирования кристаллов ПЛИС // Проблеми програмування №1. 2006. 70-78 с.
39.БаркаловА.А.,ЗеленоваИ.Я.,ГрищенкоА.А. Адаптация MDA для моделирования управляющих автоматов в стандартах UML // Радіоелектроніка. Інформатика. Управління №1. 2006. 33-37 с.
40.КривуляГ.Ф.,СыревичЕ.Е.,КарасевА.Л. Верификация моделей цифровых устройств, представленных на языке описания аппаратуры // Радіоелектроніка. Інформатика. Управління №2. 2005. 63-68 с.
41.БаркаловА.А.,ВишневськийР.,ЄфименкоК.Н. Реализация композиционного микро программного устройства управления на FPGA // Радіоелектроніка. Інформатика. Управління №2. 2005. 127-131 с.
42.СергиенкоА.М. VHDL для проектирования вычислительных устройств. К.: ЧП «Корнейчук», ООО «Тид «ДС», 2003. 203 с.
43.БабенкоЛ.П.,ЛавріщеваК.М. Основи програмної інженерії: Навч. пос.: Для студентів вузів. К.: Знання, 2001. - 269 с.
44. Karatkevich Andrey, Andrzejewski Grzegorz Hierarchical decomposition of Petri nets for analysis and design of digital Microsystems // Computing. 2006, Vol 5, Issue 1, p.18-25
45.НегодаВ.Н. Средства автоматизации структурно-функционального проектирования микропроцессорных систем. - Дисс. на соиск. уч. Степени д.т.н., Ульяновск: УлГТУ, 2001. 156 с.
46.НегодаД.В. Таблично-алгоритмическая оптимизация симулятора микропроцессора микропроцессора // Труды Белорусской Инженерной Академии, 2004. 109-111 с.
47.Girbal,S.Mouchard,G.,Cohen,A., and Temam, O, 2003. DiST: a sim­ple, reliable and scalable method to significantly reduce processor archi­tecture simulation time. In Proceedings of the 2003 ACMSIGMETRICS international Conference on Measurement and Modeling of Computer SIGMETRICS '03. ACM Press, New York, 2003. - 1-12 pp.
48.WarrenA.HuntJr. Microprocessor Design Verification. Journal of Automated Reasoning, Volume 5, Number 4, December 1989. - 429-460 pp.
49.КрищукВ.М. Універсальна алгоритмічна мова програмування мікроконтролерів / В.М.Крищук, О.Ю.Малий, О.Ю.Воропай // Радіоелектроніка. Інформатика. Управління. 2009. №2. С.115-120.
50.ВоропайА.Ю. Математическое обеспечение автоматизации разработки и проверки программ микроконтроллеров / А.Ю.Воропай, В.Н.Крищук, А.Ю.Малый // Радіотехніка. 2009. №3(158). С. 100-106.
51.МалийО.Ю. Розробка методів універсалізації програмування мікроконтролерів різних сімейств/ А.Ю.Малый // Радіотехніка. 2009. №4(159). С. 355-366.
52.МалийО.Ю. Алгоритм автоматизованого вибору восьмирозрядного мікроконтролеру при вирішенні інженерних задач / О.Ю.Малий, О.Ю.Фарафонов, М.І.Лазуткін // Радіотехніка. 2011. №4(167). С. 171-180.
53.МалийО.Ю. Метод опису інженерних задач за допомогою універсальної мови програмування мікроконтролерів / О.Ю.Малий, О.Ю.Фарафонов, О.А.Дем’яненко // Радіотехніка. 2012. №2(169). С. 116-124.
54.КрищукВ.Н. Универсальный алгоритмический язык программирования микроконтроллеров / В.Н.Крищук, А.Ю.Малый // Тези доп. ІІІ між нар. наук.-практ. конф. «Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій», м. Запоріжжя, 13-15 квітня 2006р.. Запоріжжя : ЗНТУ, 2006. С. 152-153.
55.МалыйА.Ю. Анализ сходств и различий семейств 8-разрядных микроконтроллеров для решения задачи автоматизированного выбора целевого микроконтроллера / МалыйА.Ю. // Тезисы 11-го междунар. молодежного форума «Радиоэлектроника и молодежь в ХХI веке», г.Харьков, 10-12 апреля 2007г.. Харьков : ХНУРЭ, 2007. С. 151-152.
56.МалийО.Ю. Основні принципи побудови вхідної мови для системи автоматизованого програмування мікроконтролерів / О.Ю.Малий // Тези доп. IV міжнар. наук.-практ. конф. «Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій», м. Запоріжжя, 24-26 квітня 2008р.. Запоріжжя : ЗНТУ, 2008. С. 186-188.
57.MalyА. Development of methods of designing of means of the automated creation of the programs of microcontrollers in difficult electronic systems / Vladimir Krischuk, Alexandr Maly // Proceeding of the VIIIth International Conference CADSM 2005 The expirience of disigning and aplication of CAD Systems in Microelectronic”, Lviv Polyana, Ukraine, 21-25 Feb.2005. Lviv, 2005. P. 279-280.
58.KrischukV. The dynamic description of system of instructions of microcontrollers / Alexandr Maly, Volodimir Krischuk // Proceeding of the IXth International Conference CADSM 2007, The expirience of disigning and aplication of CAD Systems in Microelectronic”, Lviv Polyana, Ukraine, 20-24 Feb.2007. Lviv, 2007. P.264-265.
59.MalyO. Mathematical maintence of automatisation of development and check of the programs of microcontrollers / Olexandr Maly, VolodimirKrischuk // Proceeding of the International Conference TCSET 2008, Modern problems of radio engineering, telecommunications and computer science”, Lviv Slavsko, Ukraine, 19-23 Feb. 2008. Lviv, 2008. P. 520 524.
60.МалийО.Ю. Основні проблеми, що виникають під час проектування пристроїв на основі мікроконтролерів / МалийО.Ю. // Тези доп. V міжнар. наук.-практ. конф. «Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій», м. Запоріжжя, 22-24 вересня 2010р. Запоріжжя : ЗНТУ, 2010. С. 60-61.
61.МалийО.Ю. Програмне забезпечення автоматизації програмування мікроконтролерів MC-CAD / МалийО.Ю. // Тези доп. VІ міжнар. наук.-практ. конф. «Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій», м. Запоріжжя, 19-21 вересня 2012р. . Запоріжжя : ЗНТУ, 2012. С. 268-270.
62.МалыйА.Ю. Анализ ремонтопригодности мобильных телефонов стандарта GSM 900/1800 в условиях Украины / МалыйА.Ю. // Материалы 7-го междунар. молодежного форума «Радиоэлектроника и молодежь в ХХI веке», 22-24 апреля 2003г., Харьков. Харьков : ХНУРЭ, 2003. С.115.
63.ТаверньеК. PIC-микроконтроллеры: практика применения. М.: ДМК Пресс, 2004 272 с.
64.ПредкоМ. Справочник по PIC-микроконтроллерам: Пер. с англ. М.: ДМК Пресс: ООО «Издательский дом» Додэка XXI, 2004. 512 с.
65.ЯценковВ.С. Микроконтроллеры Micro CHIP. Практическое руководство 2-е изд. М.: Горячая линия Телеком, 2005 280 с.
66.ФрунзеА.В. Микроконтроллеры? Это же просто! Т.1 М.: ООО «ИД СКИМЕН», 2002 336 с.
67.ПетровИ.В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования /Под ред. В.П. Дьяконова. М.: СОЛОН-ПРЕСС, 2004 256 с.
68.АндрэФ. Микроконтроллеры семейства SX фирмы «CENIX»: Пер. с фр. М.: Изд. Дом «Додэка XXI», 2002. 272 с.
69.БродинВ.Б. Системы на микроконтроллерах и БИС программируемой логике/ В.Б.Бродин,А.В.Калинин.М.: ЭКОМ, 2002. 400 с.
70.ПредкоМ. Руководство по микроконтроллерам: в 2-х т.: Пер. с англ. М.: ПОСТМАРКЕТ, 2001. 413 с.
71.СташинВ.В. и др. Проектирование цифровых устройств на однокристальных микроконтроллерах /В.В. Сташин, А.В. Урусов, О.Ф. Мологонцева.М.: Энергоатомиздат, 1990 223 с.
72.УльрихВ.А. Микроконтроллеры PIC 16x7xx. Семейство 8 разрядных КМОП микроконтроллеров с АЦП/ Под ред. С.Л. Корякина-Черняка. СПб.: Наука и техника, 2002 320 с.
73.ШагуринИ.И. Микропроцессоры и микроконтроллеры фирмы Motorola: Справочное пособие. М.: Радио и связь, 1998. 560 с.
74. Охрименко В. 8-разрядные микроконтроллеры // Электронные компоненты и системы №6, 2001 - с6-17
75.ЗобнинЮ. Микроконтроллеры для начинающих и не только // Радио 2000 №2 21-23 с.
76.КрасновВ. Микроконтроллеры для начинающих и не только // Радио 2000 №3 20-22 с.
77. Краснов В. Микроконтроллеры для начинающих и не только // Радио 2000 №4 22-23 с.
78. Соммервилл И, Инженерия программного обеспечения, 6-е изда ние,: Пер. с англ. — М.: Издательский дом «Вильямс», 2002. — 624 с.
79. Dershowitz N., Jouannaud J.P. Rewrite Systems. Chapter 6 of Handbook of Theoretical Computer Science. Volume B: Formal Methods and Semantics, J. van Leeuwen ed. pp. 243-320, North Holland, Amsterdam, 1990. - 243-320 pp.
80.ФісунМ.Т.,ГнездьоноваО.В. Розробка синтаксичного аналізатора мови програмування PL/1 для реінженерінгу блок-схем алгоритмів // Проблеми програмування. 2006. №2-3 617-625 с.
81.БэкусД. Ставшие класич. Языки программирования // Информатика 2001 №26
82. Язык компьютера.—М.:Мир, 1989.— С.163, 190, 194.—ISBN 5-03-001148-X
83. «Практическое руководство по Алголу 68», Пейган Ф. Дж. Пер. с англ.— М., Мир, 1979—240 с.
84. «Алгол 68: Методы реализации», А.Н.Балуев и др., под ред. Г.С.Цейтина— Л. изд-во Ленингр. ун-та, 1976—224 с.
85. «Неформальное введение в Алгол 68», Ч. Линдси, С. ван дер Мюйлен. Пер. с англ., 1973—408 с.
86.РобертВ СебестаГлава 2.11. Ортогональная структура: язык ALGOL 68 // Основные концепции языков программирования = Concepts of Programming Languages.— 5-е изд.—М.:«Вильямс», 2001.— С.672.
87. Brailsford, D.F. and Walker, A.N.,Introductory ALGOL 68 Programming, Ellis Horwood/Wiley, 1979
88. McGettrick, A.D.,ALGOL 68, A First and Second Course, Cambridge Univ. Press, 1978
89. Ван Тассел Д.Стиль, разработка, эффективность, отладка и испытание программ. 2-е. изд. М., 1985.
90.Роберт У. Себеста.Основные концепции языков программирования = Concepts of Programming Languages / Пер. с англ.— 5-е изд.—М.:Вильямс, 2001.— 672с.
91.ВольфенгагенВ.Э.Конструкции языков программирования. Приёмы описания.—М.: Центр ЮрИнфоР, 2001.— 276с.
92.M.E.Beckman, Stress and Non-Stress Accent, Dordrecht: Foris 1986
93.R. Silipo and S. Greenberg, Automatic Transcription of Prosodic Stress for Spontaneous English Discourse, Proceedings of the XIVth International Congress of Phonetic Sciences (ICPhS99), San Francisco, CA, August 1999, pages 2351-2354
94. Алгебраическая алгоритмика: с упражнениями и решениями/ П.Ноден, К. Китте; Пер с фр. В.А. Соколова. М.: Мир, 1999. 720 с.
95. Судоплатов С.В. Математическая логика и теория алгоритмов: Учебник/ С.В. Судоплатов, Е.В. Овчинникова. М.: ИНФРА-М; Новосибирск: Из-во НГТУ, 2004. 224 с.
96.Роберт В Себеста Основные концепции языков программирования— 5-е изд.—М.:«Вильямс», 2001.— С.672.
97.Chandra, S. Retargetable Functional Simultor. A Master Thesis, Department of Computer Science & Engineering, Indian Institute of Technology, Kanpur, 1999.
98. Cifuentes C, Lewis B.T, Ung D., "Walkabout-A Retargetable Dynamic Binary Translation Framework", Sun Labs Tech Report TR-2002-106, January 2002.
99. Code Visual to Flowchart - automatic code flow chart generator // http://www.fatesoft.com/s2f/
100.Алгоритмические алгебры / ЦейтлинГ.Е.,СуржкоС.В., Ющенко К.Л., ШевченкоА.И. - Киев, 1997. 342 с.
101.ЯценкоЕ.А.,МохницаА.С. Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ // Проблеми програмування. - 2004. - № 2-3. - С. 444 450 с.
102.МохницаА.С. Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ // Проблеми програмування. Матер. б-й Междунар. научно-практической конф. по программированию УкрПРОГ'2008. - 2008. - № 2/3. - С. 341-347.
103.ЮщенкоЕЛ.,ЦейтлинГ.Е.,ГалушкаА.В. Алгебро-грамматические спецификации и синтез структурированных схем программ // Кибернетика. - 1989. - № б. - С. 5-16.
104.ЦейтлинГ.Е. Введение в алгоритмику. - Киев: Сфера, 1998. - 310 с.
105.ГлушковВ.М. Теория автоматов и формальные преобразования микропрограмм. // Кибернетика. 1965. № 5. С.110.
106.ГлушковВ.М.,ЦейтлинГ.Е.,ЮщенкоЕ.Л. Алгебра. Языки. Программирование. Киев: Наук. думка, 1978. 319с.
107. Многоуровневое структурное проектирование программ: Теоретические основы, инструментарий / ЮщенкоЕ.Л., ЦейтлинГ.Е., ГрицайВ.П.,ТерзянТ.К. М.: Финансы и статистика, 1989. 208с.
108.КнутД. Искусство программирования для ЭВМ. Получисленные алгоритмы. М.: Мир, 1977. Т.2. 822с.
109.БрусенцовН.П.,ВладимироваЮ.С. Компьютеризация булевой алгебры // Докл. Академии наук, 2004. Т. 395. №1.
110.БрусенцовН.П. Кибернетика ожидания и результаты. Политехнические чтения. Вып. 2. М.: Знание, 2002. С.104105.
111.ПоспеловД.А. Логические методы анализа и синтеза схем. Изд. 3е, перераб. и доп. М.: Энергия, 1974. 368с.
112.АкуловськийВ.Г.,КостенкоВ.В. Перетворення елементарних алгоритмічних конструкцій за допомогою засобів алгебри алгоритмів // Вісн. АМС України. - 2006. № 3. С. 9399.
113.АкуловськийВ.Г.,КостенкоВ.В. Розробка алгоритмів на основі продукційної моделі подання знань // Вісн. АМС України. - 2006. № 2. С. 41 46.
114.ГавриловаТ.А.,ХорошевскийВ.Ф. Базы знаний инте