Оглавление
ВВЕДЕНИЕ
Список аббревиатур
1 Модели вычислений встроенных систем
1.1 Введение
1.2 Современные тенденции в проектировании ВсС
1.2.1 Ключевые особенности встроенных систем
1.2.2 Методика i
1.2.3 Акторное проектирование.
1.2.4 Аспектный взгляд на процесс проектирования.
1.3 Модели вычислений встроенных систем
1.3.1 Сети потоков данных
1.3.2 Модель с дискретными событиями
1.3.3 . Синхроннореактивные системы.
1.4 Модель сигналов с тэгами
1.5 Объектнособытийная модель вычислений.
1.6 Постановка задачи
2 Денотативнообъектная модель вычислений
2.1 Введение
2.2 Денотативное описание.
2.2.1 Сигналы .
2.2.2 Функциональные блоки.
2.2.3 Композиции функциональных блоков.
2.3 Временные характеристики моделей
2.3.1 Вычисление атрибутов ФБ с матрицей Т
2.3.2 Вычисление атрибутов синхронных портов сети ФБ
2.3.3 Условие иерархичности
2.3.4 Временной масштаб
2.3.5 Связь функциональных блоков
Оглавление
2.4 Источники и приемники сигналов
2.4.1 Приемники сигналов.
2.4.2 Источники сигналов.
2.5 Свойства вычислительного процесса
2.5.1 Детерминизм и строгая каузальность.
2.5.2 Иерархичность и ком позициональность.
2.5.3 Статический анализ временных характеристик.
2.5.4 Живучесть.
2.5.5 Отсутствие зеноиовых поведений.
2.6 Выводы.
3 Прототип САПР системного уровня
3.1 Введение
3.2 Построение гетерогенных моделей
3.2.1 Абстрактный синтаксис.
3.2.2 Абстрактная семантика.
3.2.3 Функциональный полиморфизм
3.2.4 ДОМВ в другой модели вычислений.
3.3 Имитационное моделирование.
3.3.1 Пакет .i...
3.3.2 Инициализация
3.3.3 Имитационное моделирование
3.4 Анализ и верификация модели
3.4.1 Методика анализа
3.4.2 Вычисление атрибутов синхронных портов
3.4.3 Иерархичность и живучесть модели
3.4.4 Корректность и качество модели .
3.5 Выводы.
4 Применение ДОМВ при проектировании встроенных систем
4.1 Введение.
4.2 СКУ МВРЛ Аврора
4.2.1 Подсистема контроля и управления
4.2.2 Контроллер команд и сигналов
4.2.3 Реализация ККС
4.3 Прикладное программирование на платформе Терра.
4.3.1 Программноаппаратная платформаТерра
4.3.2 Поддержка прикладного программирования
4.3.3 Характеристика механизма сигналов.
4.3.4 Высокоуровневое программирование
4.4 Выводы.
Оглавление
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922