ANSYS medini analyze

Модельно-ориентированное решение ANSYS medini analyze предназначено для оценки функциональной безопасности и расчета надежности электронных, электрических и программируемых систем в областях промышленности, критичных по безопасности: авиационная и аэрокосмическая отрасль, автомобилестроение, железнодорожная отрасль, атомная энергетика и другие. ANSYS medini analyze обеспечивает выполнение таких основных видов анализов, как анализ деревьев отказов (FTA), анализ видов и последствий отказов (FMEA), оценка диагностического покрытия (FMEDA) и исследование опасности и работоспособности (HAZOP). В ANSYS medini analyze поддерживается работа по промышленным стандартам ISO 26262 и ГОСТ Р МЭК 61508 (IEC 61508), а также руководству Р4761 (ARP4761).

Описание возможностей:

Моделирование концепции безопасности

  • Редакторы для описания систем и компонентов
  • Графическое моделирование функциональной архитектуры с учетом связей между компонентами
  • Распределение функций между компонентами
  • Формирование перечней отказов функций и отказных состояний
  • Исследования опасности и работоспособности (HAZOP)
  • Предварительная оценка опасностей (PHA) c настраиваемыми графами рисков и определением SIL
  • Анализ опасностей и оценка рисков (HARA) в соответствии с ISO 26262 с определением ASIL и анализом эксплуатационных ситуаций
  • Оценка функциональных опасностей (FHA) c назначением уровня гарантии разработки (DAL) согласно руководства Р4761
  • Разработка целей по безопасности на основе анализа HARA и проверка согласованности
  • Разработка и управление функциональными и техническими требованиями по безопасности
  • Графические и табличные редакторы требований и целей по безопасности
  • Настройка всех элементов инструмента: добавление пользовательских атрибутов и ссылок, в том числе новых табличных представлений
  • Распределение (allocation) требований по системной архитектуре, аппаратным, программным и функциональным компонентам
  • Назначение уровней полноты безопасности (SIL, ASIL) и уровней гарантии разработки (DAL). Поддержка декомпозиции ASIL
  • Визуализация трассируемости требований на диаграммах
  • Поддержка двунаправленного обмена с системами управления требованиями IBM® Rational® DOORS®, PTC Integrity™, Jama Software, включая настройку и сопоставление пользовательских атрибутов
  • Правила валидации для проверки соответствия стандартам (ISO 26262, IEC 61508, ARP4761)
  • Добавление внешних документов и установление связей с внешними ресурсами с использованием ссылок URL

Модельно-ориентированный анализ безопасности

  • Интегрированные анализы видов и последствий отказов (FMEA), анализы отказов, их последствий и диагностики (FMEDA), анализа видов, последствий и критичности отказов (FMECA) и анализы деревьев отказов (FTA) на основе моделей SysML, описывающих функциональное поведение и архитектуру системы
  • Иерархические моделирование сети отказов для поиска и обнаружений отказов на нескольких уровнях абстракции проекта
  • Табличные и графические редакторы для работы с моделями отказов в соответствии со стандартами AIAG/SAE и VDA.
  • Интегрированные справочники, стандарты и руководства по надежности: SN 29500, IEC 62380, FIDES, MIL HDBK-217F, GJB/Z 299C, IEC 61709
  • Автоматический пересчет вероятностей отказов после изменения проекта
  • Поддержка интеграции с системами управления требованиями и системами управления задачами
  • Модуль анализа деревьев отказов (FTA) c поддержкой возможностей работы с большими деревьями отказов и точным расчетом вероятностей
  • Учет времени эксплуатации самолета, продолжительности полета (времени риска), циклов ремонта и обслуживания при расчетах деревьев отказов FTA
  • Создание событий и поддеревьев FTA методом перетаскивания («drag&drop») элементов архитектуры или режимов отказов
  • Определение и оценка минимального сечения отказов и показателей значимости Birnbaum, Fussell-Vesely и других
  • Сравнение результатов различных этапов анализов FTA и FMEDA
  • Интеграция с Microsoft® Excel и MSR-FMEA
  • Импорт FTA моделей из Fault Tree+ и CAFTA

Анализ и расчет надежности

  • Справочники, стандарты и руководства по надежности: SN 29500, IEC 62380, FIDES, MIL HDBK-217F, GJB/Z 299C, IEC 61709
  • Поддержка расчета интенсивности кратковременных отказов в соответствии со стандартом JESD89A
  • Расширенные модели прогнозирования интенсивности отказов (например, агрегация интенсивности отказов по сети отказов или распределение по группе дочерних элементов)
  • Интеграция интенсивности отказов и режимов отказов с проектом системы для обеспечения синхронизации при внесении изменений в проект
  • Настройка с использованием пользовательских атрибутов, включая формулы по данным интенсивности отказов (масштабирование, уровни достоверности, целиком настраиваемые формулы для расчета интенсивности отказов)
  • Расширенный каталог механизмов по безопасности в соответствии с ISO 26262 (часть 5) и IEC 61508
  • Расчет метрик одиночных отказов (SPF) и метрик скрытых отказов (LF)
  • FMEDA с расчётом таких показателей, как доля безопасного отказа (SFF), вероятность отказа по требованию (PFD), вероятность отказа на час (PFH), среднее время на отказ (MTTF)
  • Автоматическая синхронизация между моделями FTA и FMEDA и данными по режимам отказов и их интенсивности из модели архитектуры системы, а также согласованными профилями эксплуатации аппаратуры
  • Навигация между сечением деревьев отказов FTA и элементами проекта системы, FMEDA и наоборот
  • Анализ безопасности элементов аппаратуры без использования в контексте системы, поддержка библиотек элементов аппаратуры
  • Импорт ведомости материалов (Bill Of Material) из Microsoft Excel, расчет надежности на основе библиотек с номерами деталей (part number)

Трассируемость и валидация

  • Трассируемость механизмов безопасности на требования и программную и/или аппаратную реализацию
  • Определение типизированных и нетипизированных трассировок между информационными элементами любого типа
  • Определение трассировок с использованием матриц трассировки или с помощью функции быстрой трассировки
  • Навигация через трассировки к связанным элементам в других моделях
  • Визуализация трассируемых элементов на любых диаграммах
  • Анализ влияния с использованием обозревателя графических зависимостей
  • Широкие возможности по проверке целостности данных с помощью настраиваемых скриптов

Поддержка командной работы и процесса верификации

  • Сравнение проекта методом двухстороннего и трехстороннего анализа различий
  • Функциональность объединения проекта для организации совместной работы
  • Создание задач/комментариев для любых элементов модели
  • Навигация из задач к элементам и обратно
  • Контекстная визуализация для активных задач
  • Документирование (логирование) решения задач, планирование, назначение ответственного за решение задачи, уведомления по электронной почте
  • Интеграция с системами конфигурационного управления (TortoiseSVN, IBM® Rational® ClearCase®, PTC Integrity и др.)
  • Интеграция с системами управления задачами и системами отслеживания ошибок (Bugzilla, Trac, PTC, Redmine, Jira и др.)

Интеграция в инженерное окружение

  • Интеграция с инструментами системного моделирования IBM® Rational® Rhapsody®, Sparx Enterprise Architect, MATLAB/Simulink, Stateflow® и ANSYS SCADE Architect для обмена моделями систем
  • Интеграция с системами управления требованиями IBM® Rational® DOORS®, PTC Integrity™, Jama Software, включая настройку и сопоставление пользовательских атрибутов
  • Полная поддержка стандарта RIF/ReqIF для двухстороннего обмена требованиями со сторонними инструментами
  • Интеграция с системами конфигурационного управления TortoiseSVN, IBM® Rational® Team Concert, IBM Rational ClearCase и многими другими
  • Импорт и экспорт в Microsoft® Excel и MSR-FMEA (например, APIS IQ-FMEA, PLATO SCIO™)
  • Импорт и изменение ведомости материалов (BOM) с использованием Microsoft® Excel
  • Импорт данных проектирования на уровне микроконтроллера (IP Design) через формат PID-XML из таких инструментов, как Cadence® Functional Safety Simulator.
  • Экспорт в документы различного формата, включая Microsoft® Word, Excel, PDF, HTML
  • Поддержка API для взаимодействия с другими инструментами в зависимости от индивидуальных потребностей

Настройка и адаптация процесса

  • Настройка модели данных инструмента и редакторов с помощью механизма профилирования (атрибуты, ссылки, запросы)
  • Перечни контрольных вопросов (чеклисты) для отслеживания выполнения процесса
  • Механизм шаблонов проекта, позволяющий настроить модель лучших практик предприятия, а также модель управления/хранения данных
  • Интеграция с системами управления требованиями и системами управления задачами для отслеживания результатов анализа (например, IBM Rational DOORS, PTC Integrity, JAMA Software, Redmine и др.)
  • Поддержка API для автоматизации трудоемких задач и этапов рабочего процесса (например, преобразование моделей, проверка согласованности, интеграция инструментов)
  • Адаптируемые возможности отчетности и экспорта

Интеграция с продуктами ANSYS

  • Интеграция с ANSYS SCADE Architect
    • Любые изменения в архитектуре системы, внесенные в модель SCADE Architect, легко и беспрепятственно могут быть переданы в модель medini analyze. Данная интеграция исключает возможность человеческой ошибки за счет раннего моделирования и верификации модели в SCADE Architect и последующего ее обновления в medini analyze. Такой надежный процесс обеспечивает быструю и достаточно экономичную разработку архитектур систем, которые соответствуют основным отраслевым стандартам безопасности.
  • Интеграция с ANSYS RedHawk-SC
    • RedHawk-SC поддерживает создание формата данных IPD-XML о проектировании на уровне микроконтроллера/чипа (IP Design) для его анализа функциональной безопасности в medini analyze. Данная интеграция обеспечивает рабочий процесс FMEDA при проектировании схем полупроводников.

Отчетность и документация

  • Широкие возможности по формированию отчетов по результатам работы в medini analyze, включая результаты HARA, PHA, FHA, FMEA, FMEDA, FTA, заполненные перечни контрольных вопросов, цели и требования по безопасности, функциональная модель системы и ее архитектура
  • Прямой экспорт всех табличных данных в Microsoft® Excel
  • Формирование документации на основе механизма шаблонов отчетов
  • Экспорт всех данных проекта в формате XML для длительного хранения и последующей обработки
  • Поддержка различных форматов документов, таких как Word, Excel, PDF, HTML и другие.