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

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