УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Моделирование холодильника (фрагменты)

© А.Р. Ишметьев, А.Н. Ситников, А.А. Шалыто

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

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

Аннотация

Проект является примером использования технологии автоматного программирования c явным выделением состояний при моделировании работы холодильника. В качестве модели был выбран холодильник.В нем моделируются три компоненты: "Очиститель воздуха", "Система слежения за открытыми дверями", "Датчик наледи". Выбор этих компонентов обусловлен наличием в них небольшого числа состояний и событий, что позволило обеспечить наглядную демонстрацию автоматного подхода.

Применение данной технологии лучше всего отвечает поставленной задаче: в отличие от традиционного программирования, автоматное программирование позволяет четко описать поведение устройства в любой момент времени.

Данная модель не исчерпывается теми тремя объектами (автоматами), которые выделены авторами проекта. Можно было бы с помощью автоматного программирования реализовать также управление, например, компрессором, системой охлаждения и т.д. Однако, авторы не преследовали цель сделать полноценную программную модель системы управления, которую можно было бы встроить уже в настоящий холодильник. Цель проекта - показать удобство использования автоматного программирования для задач рассматриваемого класса.