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

Отчет по теме: "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода". Этап 2. "Разработка основных положений создания программного обеспечения "реактивных" систем"

Научный руководитель темы – докт. техн. наук, профессор Шалыто А.А.

Отсюда можно скачать отчет в формате PDF (670 Kb)

Целью настоящего этапа работы является разработка основных положений технологии создания программного обеспечения "реактивных" (событийных) систем. Эта технология поддерживает для рассматриваемого класса систем все этапы создания программного обеспечения, к которым относятся: изучение предметной области, анализ, проектирование, реализация, отладка, сертификация и документирование.

Расширено по отношению к системам логического управления понятие "входное воздействие" за счет использования "событий", которые в отличие от "входных переменных", не опрашиваются программой, а вызывают соответствующие им обработчики. Расширено также понятие "выходное воздействие" за счет перехода от двоичных переменных к произвольным подпрограммам (функциям). Дополнена нотация, применяемая при построении графов переходов, например, за счет перечисления вложенных автоматов.

При использовании предлагаемой технологии в отличие от объектно-ориентированного проектирования программ построение всех основных моделей основано на применении только автоматной терминологии, а для описания динамики используется модель только одного типа — система взаимосвязанных графов переходов. Использование графов переходов в качестве языка спецификации делает обозримым даже весьма сложное поведение программы и позволяет легко вносить изменения как в спецификацию, так и в ее реализацию.

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

Автоматическое ведение протокола в терминах спецификации (автоматов) обеспечивает возможность сертификации программы. Для сертификации в терминах, понятных Заказчику, могут применяться "короткие" протоколы, в которых указываются только формируемые выходные воздействия.

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

Отчет содержит 145 страниц, 50 рисунков, 20 источников литературы.