Проектирование безопасных изделий путем устранения состояний отказа с помощью статического анализа.

  • Оценка качества архитектуры.
  • Выявление нежелательных состояний в существующей архитектуре системы посредством методов предварительной оценки риска.
  • Определение состояний отказа, анализ их влияния на архитектуру системы и определение последствий для участников проекта.
  • Создание анализа с помощью предопределенных шаблонов из существующих библиотек или настройки собственного шаблона.