Вы здесь

Автоматизация проектирования аппаратно-зависимых программных реализаций автоматных диаграмм

Автор: 
Антипова Екатерина Владимировна
Тип работы: 
Кандидатская
Год: 
2012
Артикул:
336269
179 грн
Добавить в корзину

Содержимое

СОДЕРЖАНИЕ
Введение
1 Анализ методов и средств автоматизации проектирования реализаций автоматных диаграмм.
1.1 Спецификации автоматных диаграмм
1.2 Методы автоматного программирования.
1.3 Автоматическая генерация программ в средах автоматизации проектирования реализаций автоматных диаграмм
1.4 Сравнительная характеристика средств автоматизации проектирования реализаций автоматных диаграмм.
Выводы по главе 1.
2 Разработка и исследование методов и моделей автоматизации проектирования аппаратнозависимых программных реализаций автоматных диаграмм
2.1 Разработка подхода к автоматизации проектирования аппаратнозависимых программных реализаций автоматных диаграмм.
2.2 Разработка языков спецификаций
2.3 Детализация модели процесса проектирования аппаратнозависимых программных реализаций автоматных диаграмм.
2.4 Разработка механизмов автоматической генерации автоматных программ.
2.5 Разработка механизмов трансформации автоматных диаграмм в процессе автоматизированного проектирования аппаратнозависимых программных реализаций.
2.6 Разработка протокола взаимодействия модели и платформы в процессе имитационного тестирования автоматных диаграмм.
Выводы по главе 2
3 Разработка программной системы поддержки автоматизированного проектирования аппаратнозависимых программных реализаций автоматных диаграмм
3.1 Анализ требований
3.2 Разработка структурнофункциональной архитектуры системы
3.3 Проектирование подсистемы импорта и экспорта автоматных моделей
3.4 Проектирование подсистемы анализа диаграмм.
3.5 Проектирование подсистемы графической разработки автоматных моделей
3.6 Проектирование компонента визуального отображения элементов автоматных моделей
3.7 Проектирование подсистемы определения целевой платформы
3.8 Проектирование подсистемы трассировки автоматных моделей.
3.9 Проектирование подсистемы имитационного тестирования автоматных моделей
3. Проектирование подсистемы генерации автоматных программ из автоматных моделей
3. Проектирование подсистемы определения встроенных функций
3. Реализация системы проектирования аппаратнозависимых программных реализаций автоматных диаграмм
Выводы по главе 3
4 Экспериментальное исследование системы автоматизированного проектирования аппаратнозависимых программных реализаций автоматных диаграмм.
4.1 Планирование проектных экспериментов.
4.2 Реализация управления сверлильной машиной.
4.3 Реализация управления гидростанцией плавильной печи.
4.4 Реализация управления блока регуляции мощности
4.5 Реализация управления микропроцессорным реле времени
Выводы по главе 4
Заключение.
Публикации.
Библиографический список.
Приложения
Введение
Актуальность