ITMO University
“Programming Technologies” Department



Главная

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

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

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

English
 Home

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


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

Яndex



    / Projects / Developing coffee-machine control system developed using automata technology (версия для печати)


Developing coffee-machine control system developed using automata technology



(С) 2003 S.V. Kessel

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

Download documentation, pdf (640 кб)
Application, zip (195 кб)
Sources, zip (22 кб)

Annotation

SWITCH technology was proposed for developing control systems by A.A.Shalyto, which fits perfectly its goals, i.e. developing of control systems of complex technical objects operating in real time. You can find more information on SWITCH technology on http://is.ifmo.ru

The basic advantages of the technology stated above are highly formalized developing process and possibility of separation of hardware-independent part of algorithm from hardware-dependent one therefore localizing logics implementation in a small part of program code. The fact that program code is isomorphous to transition graph of automats is also very important since it makes it much easier to understand the algorithm of system functioning even without looking into program code. This technology also guarantees the lowest possible quantity of logical bugs in the program, which are usually very hard to find. Using automatically generated logs makes the debugging process as easy as possible.

In this example of using SWITCH technology several parallely working interacting automats were used. Automats interact exchanging their states. Nested automats were used as well. Another feature of the project is that classes are used as “envelopes” of correlating automats. There’s no more than one automat in each class. Using classing makes it possible to use class codes several times for similar objects i.e. valves and heaters.

The project was developed using Borland C++ Builder 3.0.


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