Algorithms of decomposition of complex discrete device formal model
Igor V. Rudakov · Science and Education of the Bauman MSTU · 2012
При анализе и проектировании структур сложных дискретных устройств таких, как микропроцессорные и робототехнические системы, системы управления технологическими процессами, комплексные автоматизированные системы используется блочно-иерархический метод [1], который предусматривает расчленение процесса проектирования на ряд последовательных уровней и сведение задачи большей размерности к совокупности задач значительно меньшей размерности.Метод анализа дискретных устройств, формализованных логической сетью, в рамках иерархических уровней проектирования недостаточен, так как не позволяет учитывать такие характеристики дискретного устройства как, например, временные параметры элементов, входящих в модель, а, следовательно, выполнять надежную верификацию проекта.В работах по многоуровневому анализу [2, 3, 4] используется принцип рассмотрения схемы устройства с разной степенью детализации.Предлагаемый в работе метод декомпозиции [5] модели сложной структуры, формализованной в виде функционального блока, позволяет выполнить анализ правильности функционирования сложного дискретного устройства путем автоматического перехода на более низкий иерархический уровень.Для декомпозиции сложной дискретной структуры необходимо выбрать ортогональное множество разбиений [5].