Введение
1 Модели вычислений встроенных систем 8
1.1 Введение 8
1.2 Современные тенденции в проектировании ВсС 9
1.2.1 Ключевые особенности встроенных систем 10
1.2.2 Методика Hardware-Software Co-Design 15
1.2.3 Акторное проектирование 17
1.2.4 Аспектный взгляд на процесс проектирования 22
1.3 Модели вычислений встроенных систем 23
1.3.1 Сети потоков данных 24
1.3.2 Модель с дискретными событиями 25
1.3.3 Синхронно-реактивные системы 26
1.4 Модель сигналов с тэгами 27
1.5 Объектно-событийная модель вычислений 29
1.6 Постановка задачи 37
2 Денотативно-объектная модель вычислений 40
2.1 Введение 40
2.2 Денотативное описание 41
2.2.1 Сигналы 41
2.2.2 Функциональные блоки 45
2.2.3 Композиции функциональных блоков 58
2.3 Временные характеристики моделей 66
2.3.1 Вычисление атрибутов ФБ с матрицей Т 66
2.3.2 Вычисление атрибутов синхронных портов сети ФБ 71
2.3.3 Условие иерархичности 76
2.3.4 Временной масштаб 79
2.3.5 Связь функциональных блоков 81
Оглавление
2.4 Источники и приемники сигналов 84
2.4.1 Приемники сигналов 84
2.4.2 Источники сигналов 85
2.5 Свойства вычислительного процесса 88
2.5.1 Детерминизм и строгая каузальность 88
2.5.2 Иерархичность и композициональность 89
2.5.3 Статический анализ временных характеристик 91
2.5.4 Живучесть 91
2.5.5 Отсутствие зеноповых поведений 92
2.6 Выводы 96
3 Прототип САПР системного уровня 98
3.1 Введение 98
3.2 Построение гетерогенных моделей 100
3.2.1 Абстрактный синтаксис 100
3.2.2 Абстрактная семантика 102
3.2.3 Функциональный полиморфизм 106
3.2.4 ДОМВ в другой модели вычислений 111
3.3 Имитационное моделирование 113
3.3.1 Пакет ptolemy.domains.oe.kernel 113
3.3.2 Инициализация 115
3.3.3 Имитационное моделирование 116
3.4 Анализ и верификация модели 119
3.4.1 Методика анализа 119
3.4.2 Вычисление атрибутов синхронных портов 120
3.4.3 Иерархичность и живучесть модели 122
3.4.4 Корректность и качество модели 123
3.5 Выводы 124
4 Применение ДОМВ при проектировании встроенных систем 126
4.1 Введение 126
4.2 СКУ МВРЛ "Аврора" 126
4.2.1 Подсистема контроля и управления 127
4.2.2 Контроллер команд и сигналов 129
4.2.3 Реализация ККС 133
4.3 Прикладное программирование на платформе "Терра" 134
4.3.1 Программно-аппаратная платформа "Терра" 134
4.3.2 Поддержка прикладного программирования 136
4.3.3 Характеристика механизма сигналов 140
4.3.4 Высокоуровневое программирование 142
4.4 Выводы 145
Оглавление
Заключение 147
Список литературы
