ФОРМАЛЬНОЕ ОПИСАНИЕ ФУНКЦИОНИРОВАНИЯ ЦИФРОВЫХ УПРАВЛЯЮЩИХ СИСТЕМ И ЕГО ИСПОЛЬЗОВАНИЕ ПРИ ПРОЕКТИРОВАНИИ

摘要

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