ITMO University
“Programming Technologies” Department



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



    / UniMod Projects / Alarm System (версия для печати)


Alarm System



© 2006. A. Kirakozov, A. Shalyto, B. Yaminov

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation (russian, PDF)
Executable file (interpretation approach)
Executable file (compilative approach)
Source code

Annotation

This work is an example of developing car alarm system using automata approach. The tool Unimod is used for it.

When designing and developing a system where logical control is used final state automata can make it easier. Such a system has a number of states and transite between them when events occur. Created graphs of connections and transitions represent design of system and make it easier to understand and change the system behaviour.

Unimod provides a useful tool for creating automata designed application. Firstly you create design and automata and afterwards you implement methods. As a result application is splitted into not connected parts which makes it easier to develop or change the program

To run application download executable archive, extract it and run run.bat.




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com