Запропоновано новий підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем, заснований на математичному апараті систем алгоритмічних алгебр. Описано архітектуру інструментального комплексу багаторівневого структурного синтезу програм за їх алгоритмами.