복잡하고, 대형화된 시스템의 신뢰성 분석에는 적절하지 않다.

시스템 각 구성요소의 기능을 정상인가 또는 고장인가로 점진적으로 구분 짓는다.

“그것이 발생하기 위해서는 무엇이 필요한가” 라는 것은 연역적이다.

사건들을 일련의 이분(binary) 의사 결정 분기들로 모형화한다.