© 2005 г. С. Э. Вельдер, Ю. Д. Бедный
Санкт-Петербургский государственный институт информационных технологий, механики и оптики
Проектная документация
Исполняемая программа
Исходные тексты программы на C
Для алгоритмизации и программирования эмулятора инфракрасного (ИК) пульта для бытовой техники была предложена SWITCH-технология, которая развивается применительно к разработке программного обеспечения событийных систем и устройств (http://is.ifmo.ru).
В настоящей работе используется автоматный стиль программирования. Такой подход был назван "программирование с явным выделением состоянием".
Технология демонстрируется на примере создания электронного универсального ИК-пульта дистанционного управления, реализующего следующие функции:
Настоящая работа содержит документацию, включающую в себя техническое описание, схему связей автомата и его граф переходов, по которым формально и изоморфно написан текст программы.