Моделирование многоэтажной автоматической стоянки на основе автоматного программирования

© 2006 г. Ф.В. Подтелкин, А.А. Шалыто

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Проектная документация
Исполняемый код (интерпретационный подход)
Исполняемый код (компилятивный подход)
Исходные тексты

Аннотация

Работа является примером применения автоматного подхода к решению задачи управления технической системой. Преимущество методики заключается в наглядном и естественном представлении поведения системы.

Среда разработки Unimod значительно облегчает разработку приложения. Важным является то, что инструмент не позволяет генерировать программу по неполной или противоречивой спецификации, диагностируя ошибки и неточности на стадии проектирования.

Как запустить программу? Необходимо скачать и распаковать архив с исполняемой программой. После этого запустить файл run.bat. Как открыть проект в Eclipse? Необходимо в среде разработки Eclipse выбрать пункт меню "File/Import:" ("Файл/Импорт:"), а в открывшемся диалоге мастера - пункт "Existing Project into Workspace" ("Существующий проект в рабочую область"). После этого необходимо нажать кнопку "Next >" ("Далее >"). В окне выбора папки с файлами проекта необходимо указать ту папку, в которую распакован архив с проектом.