Обсуждается проблема создания динамических моделей надежности на базе логико-вероятностного аппарата деревьев отказов. Описываются динамические вершины деревьев отказов, позволяющие учитывать последовательность возникновения во времени базовых событий и отказы по общей причине. Анализируются марковские модели, положенные в основу реализации основных динамических вершин – PAND, SEQ, SPARE, FDEP. Приводятся примеры динамических деревьев отказов, моделирующие “надежностное поведение” системы с аварийной защитой, схем гибридного резревирования с ненадежным переключателем, систем с накоплением нарушений. Построение деревьев отказов и марковских моделей осуществляется на программном обеспечении Relex.