Анотація: Разработан класс моделей систем контроля и управления, которые позволяют учесть особенности многоверсионных отказобезопасных систем. Модели базируются на применении математического аппарата графов переходов и комбинаторных событийных моделей.