Аннотация:
Предложена концепция проектирования процесса контроля распределенных отказоустойчивых систем. В качестве абстрактной модели предложен бесконтурный функциональный граф. Каждая вершина этого графа однозначно соответствует конкретному подмножеству операций алгоритма функционирования системы. Ребра в графе определяются в соответствии с последовательностью реализации соответствующих операций. Граф с отмеченными вершинами, т. е. с каждой вершиной ассоциировано подмножество признаков, представляющих аппаратуру, реализующую соответствующее подмножество операций.