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

• Автор: Негода, Виктор Николаевич
• Шифр специальности: 05.13.12
• Научная степень: Докторская
• Год защиты: 2002
• Место защиты: Ульяновск
• Количество страниц: 334 с. : ил

Оглавление
Введение

1 Моделирование в САПР микропроцессорных систем

1.1 Использование моделей микропроцессорных

устройств в структурно-функциональном проектировании

1.2 Моделируемые сущности в ПСМ МПС

1.2.1 Структура моделируемых объектов

1.2.2 Поведение объектов

1.2.3 Обрабатываемые данные и операции

1.3 Уровни моделирования МПС

1.4 Использование моделей и функциональные возможности среды ПСМ МПС

1.5 Выводы по первой главе
2 Принципы построения систем поддержки оценочного моделирования МПС
2.1 Структурно-функциональное проектирование на
основе оценочного моделирования
2.2 Требования к системам оценочного моделирования
2.3 Обеспечение открытости СПОМ и поддержка многоуровневого моделирования
2.3.1 Открыто сть СПОМ в части изменения спектра моделей и их свойств
2.3.2 Многоуровневое моделирование

2.3.3 Модификация свойств диалоговой инструментальной среды
2.4 Оценка параметров проектных решений и накопление артефактов проектирования
2.5 Анализ функционирования МПС при обратном проектировании
2.6 Организация обучения в среде СПОМ
2.6.1 Основные проблемы организации обучении
в среде СПОМ
2.6.2 Интеграция учебной и инженерной деятельности
2.6.3 Использование технологий автоматизированного обучения .'
2.6.4 Поддержка индивидуального и группового обучения
2.7 Интеграция систем оценочного моделирования со
средствами программирования
2.8 Обеспечение функциональности, устойчивости и
технологичности СПОМ
2.8.1 Управление функциональностью СПОМ
2.8.2 Технологичность проектных решений и общая модель проектирования
2.8.3 Рациональные процессы проектирования моделей
2.9 Выводы по второй главе
3 Инженерное проектирование СПОМ МПС
3.1 Параметры качества проектных решений СПОМ
3.2 Архитектура СПОМ
3.2.1 Обобщенная структурно-функциональная
схема СПОМ
3.2.2 Оценочное моделирование на базе средств
отладки ПО МПС
3.2.3 Сетевые системы
3.3 Программные модели микропроцессоров
3.3.1 Структурно-функциональная организация
симуляторов МП

3.3.2 Моделирование машинных команд
3.4 Интеграция моделей МП с моделями внешней среды
3.5 Тестирование моделей МПУ
3.6 Выводы по третьей главе
4 Автоматическая генерация моделей микропроцессоров
4.1 Общие идеи автоматической генерации
4.2 Языки спецификации МП и МК
4.3 Арифметические функции и их представление таблицами и граф-схемами ................. . . .
4.3.1 Представление функций таблицами
4.3.2 Представление функций граф-схемами
4.3.3 Синтез граф-схем функций
4.4 Таблично-алгоритмическая реализация арифметических функций
4.4.1 Реализация арифметических функций комбинационными схемами
4.4.2 Реализация арифметических функций последовательностными схемами
4.5 Генерация симуляторов микропроцессоров на основе техники трансляции таблиц решений
4.6 Генерация быстродействующего симулятора на
основе более медленного интерпретатора машинных команд
4.7 Оценка эффективности процесса автоматической генерации
4.8 Выводы по четвертой главе
5 Организация поддержки обучения
5.1 Процессы изучения МПТ и технологии ее проектирования и моделирования
5.2 Шаблоны проектирования в обучающих режимах СПОМ
5.2.1 Классификация шаблонов проектирования
5.2.2 Структурно-функциональная организация шаблонов

образом:
|р(£), если I <| р |
?(<- I V I), если р |< Ь <| р | + | д | неопределено, если £ >| р | + | д |
Процесс р называется началом, ад- окончанием процесса г. Можно построить многокомпонентную КОМПОЗИЦИЮ процессов Г = Р * Р2 * ■■■ * Рк, В которой р1 будет началом г, а рк ~ окончанием. Очевидно, что возможность представлять один процесс через композиции нескольких, выстраиваемых в последовательность, означает существование отношения частичного порядка на множестве всех процессов в Б. Это отношение можно определить так: Рг < pj <-*• (Зд)(р,- =Рг*ч).
Формирование композиций процессов с целью представления работы дискретной системы как последовательности реализации процессов тесно связано с понятием замкнутости множества Б процессов в 5. Если условие замкнутости выполняется, т.е. р £ Бк,ц < р =£• д € Е то это означает, что любой процесс, который может предшествовать существующему в Р процессу, также принадлежит множеству Р. Если множество процессов Б, протекающих в дискретном времени, замкнуто, то пара Г = (5, Р), называется абстрактной дискретной динамической системой. Множество Е1 называется при этом множеством допустимых процессов системы Б.
Для многокомпонентных систем вводится понятие параллельной композиции д = рх <8> ... ® рт, где д(£) = (рДЕ),... ,ртД)) [501- Система (£, Б) называется параллельной композицией систем {Б, Бх),..., (Бт, Ргп) если Б С х ... х Бт, Б С Е х ... х Бт, где Бх х ... х Бт - множество всех процессов вида р1 ® ® рт,Рг £ Р'1- Параллельная композиция позволяет представлять
несколько параллельно протекающих процессов р,...,рт как совокупность, где процессы могут взаимодействовать.
Приведенное выше рассмотрение процессов дает представление только об их структуризации, но не несет никакой информации о правилах перехода из одного состояния в другое. Эти правила представляются функцией перехода. В общем случае функция перехода по определению в [50] является отображе-