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