МЕТОДИ ФОРМУВАННЯ ЦИФРОВОГО ПОТОКУ ДЛЯ СИСТЕМ ШИРОКОСМУГОВОГО РАДІОДОСТУПУ : МЕТОДЫ ФОРМИРОВАНИЯ ЦИФРОВОЙ ПОТОКА ДЛЯ СИСТЕМ широкополосного радиодоступа

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

НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ УКРАЇНИ
"КИЇВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ"
ІНСТИТУТ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ

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

ЛИСЕНКО ДМИТРО СЕРГІЙОВИЧ

УДК 621.396

МЕТОДИ ФОРМУВАННЯ ЦИФРОВОГО ПОТОКУ ДЛЯ СИСТЕМ
ШИРОКОСМУГОВОГО РАДІОДОСТУПУ

05.12.02 - телекомунікаційні системи та мережі
Дисертація на здобуття наукового ступеня
кандидата технічних наук

Науковий керівник
Глоба Лариса Сергіївна
доктор технічних наук, професор

Київ 2013

ЗМІСТ
Вступ ......................................................................................................................... 7
Актуальність теми ............................................................................................... 7
Зв’язок роботи з науковими програмами, планами, темами. ......................... 8
Мета і задачі дослідження .................................................................................. 8
1 Огляд методів та інструментів формування цифрового потоку
контролером керування радіомережею............................................................... 12
1.1 Характеристика та особливості процесу формування кадру
цифрового потоку контролером керування радіомережею .......................... 12
1.2 Інструментальні засоби опису процесу формування цифрового потоку
20
1.3 Проблеми оцінки ефективності виконання послідовності операцій
формування цифрового потоку ........................................................................ 24
1.4 Проблеми паралельної обробки даних, що виникають при формування
кадру цифрового потоку ................................................................................... 28
1.5 Підходи до вирішення задачі побудови послідовності операцій
формування цифрового потоку ........................................................................ 30
Висновки ............................................................................................................ 35
2 Методи аналізу та оптимізації виконання послідовності операцій
формування кадру цифрового потоку контролером керування радіомережею
37
2.1 Формалізований опис процесу формування кадру цифрового потоку37
2.2 Метод підвищення ефективності виконання операцій формування
цифрового потоку .............................................................................................. 44
2.2.1 Аналіз діаграми послідовності виконання операцій формування
кадру цифрового потоку ............................................................................... 46
2.2.2 Урахування мультипотоковості при аналізі діаграми
послідовності формування кадру цифрового потоку ................................ 48
2.3 Аналіз відповідності вимогам стандарту процесу формування кадру
3
цифрового потоку контролером керування радіомережею .......................... 53
2.3.1 Використання прототипування та емуляції для аналізу роботи
програмного забезпечення ........................................................................... 53
2.3.2 Організація процесу аналізу відповідності вимогам стандарту
окремих блоків діаграми послідовності формування кадру цифрового
потоку 57
2.4 Метод оптимізації часу використання апаратних ресурсів при
формуванні цифрового потоку ........................................................................ 59
Висновки. ........................................................................................................... 65
3 Метод складання розкладу виконання операцій формування кадру
цифрового потоку контролером керування радіомережею .............................. 67
3.1 Вирішення задачі складання розкладу виконання операцій в блоці
формування кадру цифрового потоку програмного забезпечення
контролера керування радіомережею ............................................................. 67
3.1.1 Архітектура програмного забезпечення блоку формування кадру
67
3.1.2 Припущення при розв'язанні задачі .............................................. 70
3.2 Побудова математичної моделі обчислювального процесу
формування кадру цифрового потоку ............................................................. 71
3.3 Аналіз обчислювального процесу формування кадру цифрового
потоку ................................................................................................................. 74
3.4 Алгоритми побудови розкладу виконання операцій формування кадру
цифрового потоку .............................................................................................. 80
3.5 Оптимізація складання розкладу виконання атомарних операцій в
оперативному режимі ....................................................................................... 88
Висновки ............................................................................................................ 91
4 Практична реалізація методу підвищення ефективності формування
цифрового потоку контролером керування радіомережею .............................. 92
4.1 Апаратно-програмний комплекс для створення, редагування та
4
аналізу діаграми послідовності формування цифрового потоку ................. 93
4.2 Інтегроване середовище для створення та моніторингу відведених
ресурсів та часу виконання розкладу формування цифрового потоку ....... 96
4.3 Результати експериментів з побудови та аналізу діаграми
послідовності виконання операцій формування цифрового потоку
контролером керування радіомережею на прикладі задачі формування LTE
фрейму .............................................................................................................. 101
4.3.1 Побудова графу обчислюваного процесу формування цифрового
потоку 101
4.3.2 Представлення діаграми послідовності виконання операцій
формування цифрового потоку у вигляді кінцевого автомату .............. 104
4.3.3 Апаратно-програмний комплекс для відладки та перевірки
роботи програмного забезпечення контролера керування мережею
стандарту LTE ............................................................................................. 106
4.4 Результати експериментів щодо генетичного алгоритму складання
розкладу виконання послідовності операцій формування цифрового потоку
108
4.4.1 Результати побудови розкладу виконання послідовності
операцій формування цифрового потоку з використанням різних типів
алгоритмів .................................................................................................... 108
4.4.2 Вибір оптимальних параметрів генетичного алгоритму .......... 112
4.4.3 Результати порівняння ефективності роботи запропонованого
алгоритму складання розкладу з алгоритмом GENETICAS ................... 113
Висновки .......................................................................................................... 117
Висновки .............................................................................................................. 120
5 Список використаних джерел .................................................................... 122

ПЕРЕЛІК УМОВНИХ ПОЗНАЧЕНЬ

4G Fourth Generation
AIM Application Implementation Method
BPR Business Process Reengineering
CAD Computer-aided design
CDM Custom Development Method
DSP Digital signal processor
EPC Evolved Packet Core
E-UTRAN Evolved UMTS Terrestrial Radio Access Network
FPGA Field-programmable gate array
LTE
Long Term Evolution (стандарт, який був розроблений
консорціумом 3GPP для вдосконалення технологій
мобільної передачі даних CDMA, UMTS).
MAC
Рівень управління доступом до середовища
(передавання) (Media Access Control)
OCM Organizational Change Management
PHY Фізичний рівень (Physical Layer)
PJM Project Management Method
RUP Rational Unified Process
TTCN-3
Testing and Test Control Notation version 3 (Нотація
тестування та управління тестами версії 3)
UE User Equipment
UML Unified Modeling Language
UMTS
Universal Mobile Telecommunications System
(Універсальна Мобільна Телекомунікаційна Система)
USART Universal Synchronous/Asynchronous Receiver/Transmitter
VHDL VHSIC hardware description language
VHSIC Very High Speed Integrated Circuits
WIMAX Worldwide Interoperability for Microwave Access
6
БС Базова станція
ГА Генетичний алгоритм
ГМСНК Гетерогенна мультипроцесорна система на кристалі.
ЖЦ Життєвий цикл
КПДП Контролер прямого доступу до пам'яті
ММ Мова моделювання
МС Мобільна станція
ОЗП Оперативний запам'ятовувальний пристрій
ОП Обчислювальний пристрій
ПЗ Програмне забезпечення
ПЗ ГМСНК
Програмне забезпечення для гетерогенних
мультипроцесорних систем на кристалі
ПЗ СНК Програмне забезпечення для систем на кристалі
ПЗП Постійний запам'ятовувальний пристрій
ПК Персональний комп'ютер
ПЛІС Програмована логічна інтегральна схема
ПОС Паралельні обчислювані структури
ППЗУ Постійний програмуємий запам'ятовувальний пристрій
САПР Система автоматизованого проектування
СНК Система на кристалі (System On Chip)
ТКС Телекомунікаційна система
ЦПОС Цифровий процесор обробки сигналів
ЦС Цифровий сигнал

Вступ
Актуальність теми
Активний розвиток засобів зв’язку вимагає створення нових
телекомунікаційних систем, які б змогли задовольнити постійне зростання
потреб в інформаційній взаємодії користувачів.
Робота сучасних систем широкосмугового радіодоступу потребує
наявності значних обчислювальних ресурсів для своєчасного формування
цифрового потоку у вигляді послідовності кадрів під час передачі даних між
базовою станцією системи широкосмугового радіодоступу та терміналом
користувача незалежно від стандарту, що використовується [1].
Забезпечення систем широкосмугового радіодоступу необхідними
обчислювальними ресурсами та підвищення їх швидкодії на даний час
відбувається за рахунок збільшення кількості обчислювальних ресурсів та їх
спеціалізації [2, 3, 4]. Недоліком такої телекомунікаційної системи, яка
складається з великої кількості обчислювальних модулів, що працюють
паралельно, є значне підвищення складності налагодження та керування. У
такому разі програмне забезпечення телекомунікаційної системи має
ефективно використовувати наявні обчислювальні ресурси, щоб з одного
боку мінімізувати вартість апаратної частини, а з другого - забезпечити
відповідність часовим межам нових стандартів передачі сигналу. В цих
умовах забезпечити своєчасне формування цифрового потоку неможливо без
розробки методів та програмних засобів, які б дозволили проаналізувати
роботу створеної телекомунікаційної системи та виявили шляхи підвищення
якості її функціонування.
Поява нових, недорогих, потужних та економічних процесорів дає
можливість використовувати при проектуванні систем широкомовного
радіодоступу систем на кристалі, що дає можливість значно знизити вартість
апаратної частини та підвищити її надійність, але призводить до підвищення
складності процесу налагодження взаємодії між окремими блоками такої
8
системи. За різним дослідженнями від 40 до 80% бюджету проекту
витрачається на виправлення помилок, що з’явилися в ньому під час
функціонування [5, 6, 7, 8, 9]. Організація всебічного модульного тестування
на усіх етапах розробки програмного забезпечення дозволяє зменшити
кількість помилок під час його функціонування та оптимізувати час обробки
сигналів, але не вирішує поставлену задачу повністю.
За даними досліджень [10, 11, 12, 13] з цих причин до 25% проектів
залишаються незавершеними, зокрема однією з найважливіших причин є
неефективність створеного програмного забезпечення. Таким чином,
проблема підвищення ефективності процесу формування кадру цифрового
потоку контролером керування радіо мережею є актуальною задачею.
Зв’язок роботи з науковими програмами, планами, темами.
Дисертаційна робота виконувалась згідно з планами наукових
досліджень кафедри інформаційно-телекомунікаційних мереж Інституту
телекомунікаційних систем в рамках держбюджетних тем: 2240 (номер
державної реєстрації 0109U000597) «Управління ресурсами та сервісами в
гетерогенному інформаційно-телекомунікаційному середовищі», 2970 (номер
державної реєстрації 0106U002333) «Програмний комплекс створення,
інтеграції та реінженірінгу інформаційних і функціональних ресурсів
інформаційно-телекомунікаційного середовища» та госпдоговірних робіт.
Мета і задачі дослідження
Метою дисертаційної роботи є підвищення якості функціонування
телекомунікаційної системи за рахунок зниження часу формування кадру
цифрового потоку контролером керування мережею шляхом розробки
інструментарію проектування телекомунікаційних систем.
Основні наукові задачі дослідження, у відповідності до поставленої
мети, полягають у наступному:
1. Розробити методи аналізу та удосконалення формалізованого опису
процесу формування кадру цифрового потоку контролером керування
9
мережею.
2. Розробити метод оптимізації часу використання апаратних ресурсів
контролером при формуванні кадру цифрового потоку.
3. Розробити методи побудови субоптимальної послідовності виконання
атомарних операцій формування кадру цифрового потоку .
4. Розробити інструментальні засоби оптимізації процесу формування
цифрового потоку контролером керування мережею.
Об’єктом дослідження є процеси проектування та функціонування
програмного забезпечення формування кадру цифрового потоку контролером
керування мережею широкосмугового радіодоступу.
Предметом дослідження є інформаційні технології процесу
функціонування контролера керування радіо мережею при формуванні кадру
цифрового потоку широкосмугового доступу.
Методи дослідження. Основні методи дослідження загальної задачі
методи системного аналізу та математичного моделювання. Методи
системного аналізу використовуються для раціональної декомпозиції
предметної області на окремі сутності, виділення їх функціонального
навантаження, структурних взаємозв’язків та поведінки, а також агрегування
розглянутих окремо сутностей у єдину систему, опис структурних зв’язків
між ними у рамках єдиної системи, поєднання математичних моделей.
Математична модель програмного забезпечення формування кадру
цифрового потоку, досліджувалася з використанням теорії розкладів і теорії
графів для оцінки якості та ефективності програмного забезпечення.
Наукова новизна отриманих результатів визначається наступними
положеннями:
- Розроблено комплексний метод формування цифрового потоку для
систем широкосмугового радіодоступу, який на відміну від існуючих
поєднує в собі метод складання розкладу виконання атомарних операцій
кадру цифрового потоку та метод оптимізації часу використання
апаратних ресурсів, що дозволило скоротити час формування цифрового
10
потоку.
- Розроблено метод оптимізації часу використання апаратних ресурсів при
формуванні цифрового потоку програмним забезпеченням контролера
керування мережею, який відрізняється від відомих, можливістю
використання інтерактивного керування у разі неможливості
автоматичного знаходження розкладу, а також емуляції процесу
функціонування контролера керування мережею, що дозволило
удосконалити процес управління мережею.
- Розвинуто метод складання розкладу виконання атомарних операцій
кадру цифрового потоку, який використовує структуру генотипу з
меншою кількістю параметрів, що дозволило підвищити продуктивність
процесу та покращити його якість за критерієм часу.

Практична цінність отриманих результатів.
- Усі теоретичні розробки дисертаційної роботи автором доведені до
конкретних інженерних методик проектування програмного
забезпечення формування кадру цифрового потоку, на основі чого
розроблено низку алгоритмів та програмних засобів на їх основі для
автоматизації процесу його розробки, що дозволяє створювати таке
програмне забезпечення у короткий термін з високою якістю.
- Проведено апробацію та виконано практичне впровадження
програмних засобів для автоматизації розробки програмного
забезпечення систем широкосмугового доступу в компанії в компанії
ТОВ Майндспід Текнолоджіз Україна” під час розробки та
впровадження M823XX (голосовий процесор) та M824XXX (3G-4G
базові станції), в результаті чого доведено можливість підвищення
ефективності процесу проектування програмного забезпечення та
скорочення витрат часу до 10%.
- Запропонований метод вирішення задачі складання розкладу може
бути застосований у інших областях, наприклад для вирішення задачі
11
розміщення різногабаритних елементів електронних пристроїв при
проектуванні мікроконтролерів.

Апробація результатів дисертації
Основні положення і результати дисертаційної роботи були
представлені, повідомлені й одержали схвалення на Міжнародних науково-практичних конференціях «Проблеми телекомунікацій» (Київ, 2008),
Міжнародній конференції «СВЧ-техника и телекоммуникационные
технологии. Крымико» (м. Севастополь, 2007, 2008,2010), Міжнародній
конференції «International Multi-Conference on Advanced Computer Systems-2010» (м. Мензездрое, Польща, 2010), Міжнародній науково-практичній
конференції Сучасні проблеми радіоелектроніки, телекомунікацій та
приладобудування” СПРТП (Вінниця, 2007), European conference on
operational research EURO XXII, (Прага, 2007).
На розроблений метод оптимізації часу використання апаратних
ресурсів програмним забезпеченням контролера керування мережею
мобільного зв’язку отримано патент [14] .
Публікації.
За результатами досліджень опубліковано 12 наукових праць, у тому
числі 5 статей у наукових фахових виданнях, 1 закордонний патент, 3
матеріали доповідей в збірниках матеріалів міжнародних конференцій, 3
тези доповідей в збірниках матеріалів міжнародних конференцій.
Структура і обсяг дисертації. Дисертація складається зі вступу,
чотирьох розділів, висновків, списку використаних джерел з 142
найменувань, 8 додатків. Загальний обсяг дисертації 158 сторінок, в тому
числі 119 сторінок основного тексту та 11 сторінок використаних джерел.
Робота містить 67 рисунків, 6 таблиць. Додатки займають 24 сторінки.

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

Висновки
В дисертаційній роботі розв’язана актуальна науково-практична задача
формування цифрового потоку системою широкосмугового радіодоступу
шляхом розробки нових методів та інструментарію що дозволило підвищити
якість її функціонування.
В дисертаційній роботі отримані наступні теоретичні результати:
1. Аналіз сучасного стану показав, що існуючі засоби проектування та
розробки програмного забезпечення контролерів управління мережею не
забезпечують достатнього рівня якості функціонування
телекомунікаційної системи за критерієм часу формування кадру
цифрового потоку контролером керування мережею.
2. В результаті аналізу процесу створення ефективної послідовності
атомарних операцій формування кадру цифрового потоку, визначено,
що є необхідним удосконалення та розширення її формалізованого
опису для проведення аналізу та тестування процесу формування кадру з
метою зниження матеріальних та часових витрат на розробку в цілому.
3. Запропоновано комплекснийи метод підвищення ефективності
формування цифрового потоку, який за рахунок використання
модифікованої діаграми потоків даних з розширеним набором
параметрів атомарних операцій формування кадру цифрового потоку,
комплексу методів аналізу цього процесу та оптимізації використання
апаратних ресурсів дозволив скоротити час розробки, знизити вартість
проектування програмного забезпечення контролера управління
мережею до 10% та задовольнити вимоги стандарту широкосмугового
радіодоступу.
4. Запропоновано метод оптимізації часу використання апаратних ресурсів
програмним забезпечення контролера керування мережею, особливістю
якого є використання інтерактивного керування у разі неможливості
автоматичного знаходження послідовності атомарних операцій
формування кадру цифрового потоку, яка задовольняє вимогам
121
стандарту широкосмугового радіодоступу за часом, а також емуляція
процесу функціонування контролера керування мережею, що дозволило
спростити процес відладки та виконати оптимізацію процесу роботи
програмного забезпечення формування кадру цифрового потоку за
критерієм часу.
5. Запропоновано метод складання розкладу виконання атомарних
операцій формування кадру цифрового потоку, особливістю якого є
використання генетичного алгоритму зі спрощеною структурою
генотипу, що дозволило покращати якість складеного розкладу до 5%.
6. В результаті використання розроблених методів та алгоритмів знижено
час, необхідний для розробки й впровадження програмного
забезпечення формування кадру цифрового потоку, та зменшено
кількість відмов на етапі його експлуатації шляхом математичного
моделювання обчислювальних процесів та експериментального
дослідження розроблених засобів в компанії в компанії ТОВ
Майндспід Текнолоджіз Україна” під час розробки програмного
забезпечення для системи на кристалі 3G/4G базової станції не менш ніж
на 10%.

5 Список використаних джерел
1. Agilent Technologies. LTE and the Evolution to 4G Wireless: Design and
Measurement Challenges. : John Wiley & Sons, 2009.
2. New Trends in Microprocessor Architecture for Parallel Computing.
Xinfeng Xu. Beijing, China : Frontier of Computer Science and Technology
(FCST), 2010 Fifth International Conference on, 18-22 Aug. 2010.
3. Future trend of microprocessor design. Yung R., Rusu S. та
Shoemaker K. Santa Clara, CA, USA : Solid-State Circuits Conference, 2002.
ESSCIRC 2002. Proceedings of the 28th European.
4. Herb Sutter. The Free Lunch Is Over: A Fundamental Turn Toward
Concurrency in Software. Dr. Dobb's Journal. March 2005 p., Т. 30(3).
5. Boehm, Barry W. «Improving Software Productivity». IEEE Computer,
Septemer 1987, pp. 4357.
6. Jones Capers. «Programming Productivity». New York : McGrawHill,
1986.
7. Charles, Fishman . «They Write the Right Stuff». Fast Company,
December 1996.
8. Mills, Harlan D. «Software Productivity». Boston : Little Brown, 1983.
9. Wheeler, David, Bill Brykczynski, and Reginald Meeson. «Software
Inspection:An Industry Best Practice». Los Alamitos, CA : IEEE Computer
Society Press, 1996.
10. Макконнелл С. Профессиональная разработка программного
обеспечения. СПб. : Символ&Плюс, 2006.
11. Jim, Johnson. «Turning Chaos into Success». Software Magazine.
December 1999, pp. 3039. p.
12. Jones, Capers. «Assessment and Control of Software Risks». Englewood
Cliffs,NJ : Yourdon Press, 1994.
13. The Standish Group. «Charting the Seas of Information Technology».
Dennis,MA : The Standish Group, 1994.
14. Abdulnour Toukmaji, Dmytro Lysenko, Sumesh Subramanian.
123
Integrated environment for execution monitoring and profiling of applications
running on multi-processor system-on-chip. 20120185864 USA, 19 7 2012 p.
718104.
15. Haowang. 4G wireless video communication. H/B : John Wiley and Son
Ltd., 2009.
16. 3GPP TS 36.201 V9.0.0. LTE Physical Layer - General Description. :
, 2009.
17. 3GPP TS 36.211 V8.9.0. Physical Channels and Modulation. : , 2009.
18. 3GPP TS 36.212 V8.8.0. Multiplexing and channel coding. : , 2009.
19. 3GPP TS 36.213 V8.8.0. Physical layer procedures. : , 2009.
20. 3GPP TS 36.214 V8.6.0. Physical layer Measurements. : , 2009.
21. 3GPP TS 36.216 V1.0.0. Physical layer for relaying operation. : ,
2010.
22. Varshney U. 4G Wireless Networks. IT Professional : IEEER, 2012.
23. Tran Thanh, Wang Jian, Li Xiaohui, I. Garcia. Scalable
heterogeneous SoC (HeSoC) platform. International Conference : Consumer
Electronics (ICCE), 2010.
24. Немудров В., Мартин Г. Системы на кристалле. Проектирование
и развитие. М : Техносфера, 2004.
25. Ільченко М.Ю., Кравчук С.О. Сучасні телекомунікаційні
системи. К : НВП "Видавництво "Наукова думка" НАН України", 2008.
26. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. СПб :
БХВ-Петербург, 2002.
27. Корнеев В.В. Параллельные вычилительные системы. М : Нолидж,
1999.
28. Ільченко М.Ю., Кравчук С.О. Телекомунікаційні системи
широкосмугового радіодоступу. К : НВП "Видавництво "Наукова думка"
НАН України", 2009.
29. Томашевський В.М. Моделювання систем. - К : Робоча група
BHV, 2005.
124
30. ARM. AMBA Open Specifications. ARM. [З мережі]
http://www.arm.com/products/system-ip/amba/amba-open-specifications.php.
31. Макконнелл С. Совершенный код. СПб. : Русская Редакция, 2007.
32. J. Martin, C. McClure. Software Maintenance - The Problem and Its
Solutions. New Jersey : Prentice Hall, 1983.
33. Boeh B. Software Engineering Economic. N.J. : Prentice-Hall, 1981.
34. R2012a Documentation. MATLAB. [З мережі] MathWorks.
http://www.mathworks.com/help/techdoc/.
35. Anritsu. [З мережі] http://www.anritsu.com/en-GB/Products-Solutions/Technologies-Solutions/index.aspx.
36. Elvior. [З мережі] http://www.elvior.com.
37. Teraquant. [З мережі] http://www.teraquant.com/lte-solutions.
38. Henk Jonkers, Marc Lankhorst, et al. Concepts for Modeling
Enterprise Architectures. the Netherlands : Telematica Institut, 2004.
39. Robert P. Hanrahan. The IDEF Process Modeling Methodology. :
Software Technology Support Center., 1995.
40. Крачтен Ф. Введение в Rational Unified Process. М : Вильямс, 2002.
41. Business Process Model and Notation . BPMN. [З мережі] 2012 p.
http://www.omg.org/spec/BPMN/2.0.
42. Diaz M. Petri nets: fundamental models, verification and applications.
: John Wiley and Sons, 2009.
43. Jörg Becker, Martin Kugeler, Michael Rosemann. Process
Management. A Guide for the Design of Business Processes. : Springer-Verlag,
2003.
44. ДСТУ 2850-94. Програмні засоби ЕОМ. Показники і методи
оцінювання якості. : , .
45. Якобовский М.В. Распределенные системы и сети. Учебное
пособие. М : МГТУ "Станкин", 2000.
46. Дж. Ортега. Введение в параллельные и векторные методы ре-шения линейных систем. М : Мир, 1991.
125
47. Р.Бэбб, Дж.Мак-Гроу, Т.Акселрод и др. Программирование на
параллельных вычислительных системах. М : Мир, 1991.
48. Validity of the Single Processor Approach to Achieving Large Scale
Computing Capabilities. G. M. Amdahl. Atlantic City, NJ 30: 483-485 : Proc.
AFIPS Spring Joint Computer Conf. 30, April 1967.
49. J. L. Hennessy, D. Patterson. Computer Architecture: A Quantitative
Approach, 3rd Ed. : Morgan Kaufmann, 2003.
50. Schedulers as Model-based Design Elements in Programmable
Heterogeneous Multiprocessors, DAC . J. Paul, A. Bobrek, J. Nelson, J. Pieper,
D. Thomas. San Diego, CA : Proceedings of the 41st Design Automation
Conference, June 2004.
51. Liu, Limin. A Hardware and Software Cooperative Design of SoC IP.
International Conference : Computing, Control and Industrial Engineering (CCIE),
2010.
52. Dennis Silage. Digital Communication Systems Using SystemVue. :
Charles River Media, 2006.
53. ARM Development Studio 5. Users guide. : ARM Limited, 2010.
54. Dennis Silage. Digital Communication Systems using MATLAB and
Simulink. : Bookstand Publishing, 2009.
55. Коффман Э.Г. Теория расписаний и вычислительные машины. М. :
Наука, 1984.
56. Павлов А.А. Алгоритмическое обеспечение сложных систем
управления. Київ : Вища школа, 1989.
57. Павлов О.А., Литвин О.Б., Місюра О.Б., Павлова Л.О.,
Родіонов В.І. Конструктивные полиномиальные алгоритмы решения
индивидуальных задач из класса NP. Київ : Техніка, 1993.
58. Mohammadi, S. Aki. Mohammadi and S. Aki, Scheduling Algorithms
for Real-Time Systems. TR No.2005-499 : Queen’s University Publication, 2005.
59. Scheduling of DSP Programs onto Multiprocessors for Maximum
Throughput. Phu D. Hoang, Jan M. Rabaey. 1993 : IEEE TRANSACTIONS ON
126
SIGNAL PROCESSING VOL. 41, NO. 6 p.2225.
60. Krishna, K. Shin. Real Time Systems. : McGraw-Hill, 1997.
61. Land А.Н., Doig A.G. An autmatic method of solving discrete
programming problems. Econometrica. 1960 p., Т. 28, 497-520.
62. Lawler E.L., Wood D.E. Branch and bound methods: a survey.
Operations Research. 1966 p., Т. 14(4), 699-719.
63. T.J.R., Johnson. An alorithm for the resource-constraned project
scheduling problem. Doctoral Thesis. Cambridge : Massachusetts Institute of
Technology, 1967.
64. Глушков В. М., (отв. ред.). Энциклопедия кибернетики. : Главная
редакция УСЭ, 1974.
65. Panwalker S., Jskander W. A survey of scheduling rules. Operations
Research. Т. 25(1), 45-61.
66. Davis E. W., Patterson J.FJ. A comparison of heuristic and optimum
solutions in resource-constrained project scheduling. Management Science. 1975
p., Т. 21(8), 944-955.
67. Davis E.W., FJeidorn G.E. An algorithm for optimal project scheduling
under multiple resource constraints. Management Science. 1971 p., Т. 17(12), 803-817.
68. D., FJildum. Flexibility in a knowledge-based system for solving
dynamic resource-constrained scheduling problems. Umass CMPSCI Technical
Report N 94. Amherst : University of Massachusetts, 1994.
69. Harvey W.D., Ginsberg M.L. Limited discrepancy search. Proc. of the
14th International Joint Conference on Artificial Intelligence. Montreal: Morgan
Kaufmann, 1995 p., 607-615.
70. J.H., Patterson. A comparison of exact approaches for solving the
multiple constrained resource project scheduling problem. Management Science.
1984 p., Т. 30(7), 854-867.
71. F.F., Boctor. Some efficient multi-heuristic procedures for resource-constrained project scheduling. European Journal of Operational Research. 1990
127
p., Т. 49(1), 3-13.
72. Sampson S.E., Weiss E.N. Sampson S.E., Weiss E.N. Local search
techniques for the generalized resource-constrained project scheduling problem.
Naval Research Logistics. 1993 p., Т. 40(5), 665-675.
73. Зайченко Ю.П. Основи проектування інтелектуальних систем:
Навч. посібник. К : Видавничий Дім «Слово», 2004.
74. Fox M.S., Smith S.F. ISIS — a knowledge-based system for factory
scheduling. Expert Systems. 1984 p., Т. 1(1), 25-49.
75. Smith S.F., Ow P. The use of multiple problem decompositions in time
constrained planning tasks. Proc. of the 9th International Joint Conference on
Artificial Intelligence. Calif.: Morgan Kaufmann, 1985 p., Т. 2, 1013-1015.
76. N., Sadeh. Look-ahead techniques for micro-opportunistic job shop
scheduling. PhD Thesis. School of Computer Science. Pittsburgh : Carnegie
Mellon University, 1991.
77. Davis, L. Job shop scheduling with genetic algorithms. Proc. of the
International Conference on Genetic Algorithms and their Applications.
Pittsburgh: Lawrence Erlbaum Associates, 1985 p.
78. Bagchi S., Uckum S., et al. Exploring problem-specific recombination
operators for job shop scheduling. Proc. of the 4th International Conference on
Genetic Algorithms. San Mateo: Morgan Kaufmann, 1991 p., 10-17.
79. G., Syswerda. The application of genetic algorithms to resource
scheduling. Proc. of the 4th International Conference on Genetic Algorithms. San
Mateo: Morgan Kaufmann, 1990 p., 502-508.
80. Milliard M.R., Liepins G.E., et al. Machine learning applications to job
shop scheduling. Proc. of the AAAI-SIGMAN Workshop on Production Planning
and Scheduling. New York: ACM, 1988 p., 728-737.
81. Рутковская Д., Пилиньский М., Рутковский Л. Нейронные сети,
генетические алгоритмы и нечеткие системы. М. : Горячая линия-Телеком,
2008.
82. Левин В.И. Структурно-логические методы в теории расписаний.
128
Пенза : Пенз. гос. технол. акад., 2006.
83. Костенко В.А. Возможности генетических алгоритмов для
решения задач синтеза архитектур и планирования параллельных
вычислений . М. : Труды Третьей Междунар. науч. конф. «Дискретные
модели в теории управляющих систем» (Красновидово’98)., 1998.
84. Хачумов В.М. Периодические расписания с совмещением циклов
обработки данных. Москва : МГУ.Труды Первой Всерос. науч. конф., 2003.
85. Вавинов С.В., Костенко В.А. Параметризованный жадный
алгоритм построения статических расписаний. М. : МГУ.Труды Первой
Всерос. науч. конф., 2003.
86. Калашников А.В., Костенко В.А. Алгоритмы локальной
оптимизации расписаний. М. : МГУ.Труды Первой Всерос. науч. конф., 2003.
87. Костенко В.А. Оценки сложности и качества различных
итерационных алгоритмов построения расписаний. М. : Фак-т ВМиК МГУ
им. М.В. Ломоносова, 2004.
88. Вороной С.М., Бабин Д.В. Генетичний алгоритм побудови
розкладів для багатопроцесорних обчислювальних систем. К. : Науково-теоретичний журнал "Штучний інтелект", 1996.
89. Michael Keating, Pierre Bricaud. Reuse methodology manual for
system-on-a-chip designs. : Kluwer Academic Publishers, 2002.
90. Michael L. Pinedo. Scheduling: Theory, algorithms, and systems. :
Springer, 2008.
91. Касьянов В.Н., Евстигнеев В.А. Графы в программировании:
обработка, визуализация и применение. СПб. : БХВ, 2003.
92. Сэм Картнер, Джек Фолк, Енг Кек Нуген. Тестирование
прогаммного обеспечения. К : ДиаСофт, 2001.
93. Chakraborty S. Multiprocessor system and software design for
distributed control applications . International Symposium : System on Chip
(SoC), 2010.
94. Синицын С.В., Налютин Н.Ю. Верификация программного
129
обеспечения. М. : БИНОМ, 2008.
95. Котляров В.П., Коликова Т.В. Основы тестирования
программного обеспечения. : Интернет-Университет информационных
технологий, Бином. Лаборатория знаний, 2006.
96. Бейзер Б. Тестирование чёрного ящика. Технологии
функционального тестирования программного обеспечения и систем . СПб. :
Питер, 2004.
97. Харрисон Петер. Функциональное программирование. М. : Мир,
1988.
98. Stefania Sesia, Issam Toufik, Matthew Baker. LTE The UMTS Long
Term Evolution From Theory to Practice. : John Wiley & Sons, 2011.
99. Zhang, Botao, та ін. Domain specific architecture for next generation
wireless communication. DATE : Design, Automation & Test in Europe
Conference & Exhibition, 2010.
100. Deshpande A. Verification of IP-Core Based SoC's . : Quality
Electronic Design,ISQED 2008. 9th International Symposium, 2008.
101. П. Харрисон, А. Филд. Функциональное программирование.
Москва : "Мир", 1993.
102. Lawrence C Paulson. Foundations of Functional Programming. :
University of Cambridge, 1995.
103. Харольд Абельсон, Джеральд Джей Сассман. Структура и
Интерпретация Компьютерных Программ. : Добросвет, КДУ, 2010.
104. K. Beck, C. Andres. Extreme Programming Explained : Embrace
Change (2nd Edition). : Addison Wesley, 2004.
105. GENETIC ALGORITHM BASED DSP MULTIPROCESSOR
SCHEDULING. Bull, Robert W. Amphlett,David R. Centre for Communications
Research, Bristol : University of Bristol, 2002 p.
106. Lysenko Dmytro, Subramanian Sumesh,Toukmaji Abdulnour.
Integrated Environment for Execution Monitoring and Profiling of Applications
Running on Multi-Processor System-on-Chip. 2012/0185,864 US, 18 July 2012 p.
130
Patent Application.
107. Haid W., Kai Huang, Bacivarov I., Thiele L. Multiprocessor SoC
software design flows . Zurich : Signal Processing Magazine, IEEE , 2009 .
108. Романовский И.В. . Дискретный анализ. Учебное пособие для
студентов, специализирующихся по прикладной математике и
информатике. СПб : Невский диалект, 1999.
109. С.И. Зуховский, И.А. Радчик. Математические методы
сетевого планирования. Москва : Наука, 1965.
110. Поспелов Д.А. Логические методы анализа и синтеза схем.
Москва : "Энергия" , 1974.
111. A note on two problems in connexion with graphs. E. W. Dijkstra. , :
Numerische Mathematik, 1959 p., Т. 1.
112. The Case for Fair Multiprocessor Scheduling. Srinivasan, P. Holman,
J. Anderson, S. Baruah. : International Parallel and Distributed Processing
Symposium, 2002.
113. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К.,
Под ред. И. В. Красикова. Алгоритмы: построение и анализ. М : Вильямс,
2005.
114. GENETICAS: A Multi-DSP Scheduling Technique Based on Genetic
Algorithms. Peter Koch, Niels Larsen, Thomas Bauer, Ole Ejlersen. The DSP
Research Group Institute for Electronic Systems, : Aalborg University, 2006 p.
115. Parallel Evolutionary Algorithms. Pavel Osmera,
Bronislav Lacko,Masopust Petr. Pruceedinpr 2003 IEEE International
Sympusium on Computational Intelligent in Robtics and Automatiun, Kobe : ,
2003 p., Томи July 16-20.
116. Ricardo C. Corre, Afonso Ferreira, Pascal Rebreyend. Scheduling
Multiprocessor Tasks with Genetic Algorithms. IEEE : TRANSACTIONS ON
PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 10, NO. 8, 1999.
117. A Genetic Algorithm for Multiprocessor Scheduling. Edwin S.H. Hou,
Nirwan Ansari, Hong Ren. 2, : IEEE, 1994 p., Т. 5.
131
118. Кватрани Т. Визуальное моделирование с помощью Rational Rose
2002 и UML. М : Вильямс, 2003.
119. Маклаков С.В. Создание информационных систем с AllFusion
Modeling Suite. М : Диалог-МИФИ, 2003.
120. Globa L.S., Lysenko D.S. Schedule design for multiprocessor systems.
vol. 56, № 1 : «Measurements, Automation and Monitoring», 2010.
121. Петренко А.І. СНОВИ АВТОМАТИЗОВАНОГО ПРОЕКТУВАННЯ
ОБ"ЄКТІВ ТА СИСТЕМ (Конспект лекцій). К. : ВМУРОЛ «Україна», 2002.
122. Петренко A.I. Чисельні методи в інформатиці : конспект лекцій.
К. : «Аверс», 2006.
123. Глоба Л.С. Математичні основи побудови інформаційно-телекомунікаційних систем. К. : Норіта-плюс, 2007.
124. Глоба Л.С., Кот Т.Н. Лысенко Д.С. Автоматизация
преобразования диаграммы состояний в конечный автомат. НТУУ "КПІ" :
Науково-технічна конференція "Проблеми телекомунікацій", 2008.
125. Глоба Л.С., Кот Т.Н., Лысенко Д.С. Среда анализа и
тестирования прототипа системы. Севастополь : Крымико, 2008.
126. Лысенко Д.С., Глоба Л.С., Кот Т.Н. Учет мультипотоковости
при разработке современным информационных систем. Севастополь :
КрыМиКо, 2007.
127. Лысенко Д.С., Глоба Л.С., Кот Т.Н. Функциональные
возможности и решения по их усовершенствованию проекта «FFT
Designer». Винница : СПРТП, 2007.
128. Глоба Л.С., Попова И. М. Лысенко Д.С. СОСТАВЛЕНИЕ
РАСПИСАНИЙ ДЛЯ МУЛЬТИПРОЦЕССОРНЫХСИСТЕМ НА
КРИСТАЛЛАХ. Crimea : 20th Int. Conference Microwave&Telecommunication
Technology”, 2010.
129. Ермакова Е.А., Глоба Л.С. Инструментарий исполнения
параллельных алгоритмов в сетевой среде. Севастополь : Крымико, 2008.
130. Глоба Л.С., Ермакова Е.А. Анализ архитектур распределенных
132
систем для реализации параллельных вычислений. НТУУ "КПІ" : Науково-технічна конференція "Проблеми телекомунікацій", 2008.
131. Ермольчев А.В.Донченко Ю.П., Глоба Л.С. Архитектурные
решения для разработки распределенных систем. НТУУ «КПІ» : Наукова-технічна конференція «Проблеми телекомунікацій», 2008.
132. Lysenko D.S. Kot T.M., Globa L.S. Integrated software environment
development. Prague : European conference on operational research EURO XXII,
2007.
133. —. Multithread Computing based on Finite State Machine .
Тематический выпуск «Проблемы электроники» : Электроника и связь, 2008.
134. Ладогубець В.В., Ладогубець Т.С., Ладогубець О.В. Алгоритми
параметричної оптимізації складних систем (курс лекцій) . К : «Аверс»,
2006.
135. Pugliese F., Talia D., Yahyapour R. Modeling and supporting grid
scheduling. Journal of Grid Computing. 2008 p., Т. 6/2, 195-213.
136. Y., Derbal. Entropic grid scheduling. Journal of Grid Computing. 2006
p., Т. 4(4), 373-394.
137. Г. Майерс. Надежность программного обеспечения. М : Мир,
1980.
138. Lederer, Albert L.,Jayesh Prasad. «Nine Management Guidelines for
Better Cost Estimating». Communications of the ACM. February 1992, pp. 5159.
139. Vosburgh J., B. Curtis, R. Wolverton, B. Albert, H. Malec,
S. Hoben,Y. Liu. «Productivity Factors and Programming Environments»,
Proceedings of the7th International Conference on Software Engineering.
IEEEComputer Society. 1984 p., pp. 143152.
140. Ладогубец В.В. Параллельные алгоритмы вычислительной
математики (курс лекций). К : «Аверс», 2006.
141. Ladogubets, Oleksandr Beznosyk, Oleksii Finogenov. The
Experience of Designing and Application of CAD Systems in Microelectronics.
Lviv : CADSM’2009, 2009.
133
142. ДСТУ ISO 9000:2001. Системи управління якістю. Основні
положения та словник (ISO 9000:2000, IDT). : ,