Цель анализа отказа состоит в том, чтобы изучить воздействие определённых видов сбоев и ошибок, и оценить используемые стратегии. Более важной целью явл-ся поддержка или восстановление управления индустриальным или другим внешним процессом. В результате анализ отказов часто ведет к утверждению поначалу неожидаемых требований : установки дополнительных датчиков, формализации производственных процедур на предприятии и т.д.
Ключевая проблема здесь это идентификация источников ошибок и отказов. Есть два пути для решения этой проблемы: 1) исследование внешнего процесса. 2) сквозной систематический контроль ООА – моделей.

Рабочие продукты модели состояний.
1) Диаграммы переходов в состояния (ДПС) 2) Таблицы переходов в состояния (ТПС) 3) Описание каждого действия на диаграмме переходов состояния ( требуется только если действие занимает слишком много места и не могут поместиться на ДПС)