Методы анализа и синтеза систем обеспечения достоверности информации в АСУ II. Задачи синтеза систем повышения достоверности

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