В статье представлены разработанные авторами теоретические основы к автоматизации построения надежностных моделей резервированных и восстанавливаемых сложных технических систем в виде системы дифференциальных уравнений КолмогороваЧепмена. Показано практическую реализацию построения моделей отказоустойчивых систем на основе структурно-автоматных моделей и приведен пример многовариантного анализа таких систем
модель надежности, отказоустойчивая система, множество состояний