Главная | / medini | Анализ безопасности на основе моделей

Анализ безопасности на основе моделей

Находите и решайте критически важные для безопасности вопросы в своей концепции безопасности, используя индуктивные и дедуктивные методы, непосредственно связанные с вашими проектными моделями.

  • Интегрированный анализ эффектов режима отказов (FMEA), анализ эффектов и диагностический анализ режима отказов (FMEDA), анализ эффектов и критичности режима отказов (FMECA) и анализ дерева отказов (FTA) на основе структурных и поведенческих моделей SysML
  • Иерархическое моделирование сети отказов, встроенное в SysML, для регистрации сбоев на нескольких уровнях абстракции проекта
  • Табличные и графические редакторы для информирования о модели отказов согласно стандартам AIAG/SAE и VDA
  • Настраиваемые фильтры для эффективной обработки FMEA на выделенных уровнях абстракции
  • Интегрированные справочники по частоте отказов SN 29500, IEC 62380, Руководство FIDES, MIL HDBK-217F
  • Автоматический пересчет вероятностей после изменения структуры
  • Подключение к управлению требованиями и задачами
  • Полноценный модуль FTA с поддержкой обработки крупных деревьев отказов с точным расчетом вероятности на основе двоичных диаграмм решений (BDD)
  • Создание событий и поддеревьев путем перетаскивания элементов архитектуры или режимов отказов
  • Определение и оценка минимальных сечений, показателей важности (метод Бирнбаума, метод Фусселя-Весели, метод критичности) и т. д.
  • Сравнение разных этапов во время разработки FTA и FME(D)A
  • Импорт в Excel и MSR-FMEA (например, APIS IQ-FMEA, PLATO SCIO™)
  • Импорт из сторонних инструментов FTA (например, Fault Tree+, CAFTA)