Ansys Medini Analyze

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

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

• Справочники по прогнозированию частоты отказов в соответствии с SN 29500, IEC 62380, FIDES Guide, MIL HDBK-217F, GJB / Z 299C и IEC 61709.
• Поддержка кратковременных отказов (например, в соответствии со стандартом JEDEC JESD89A).
• Обширные модели прогнозирования интенсивности отказов (например, агрегирование показателей отказов по сети отказов или распределение по набору дочерних элементов).
• Интеграция интенсивности отказов и режимов отказов с проектированием системы, чтобы оставаться в синхронизации с изменениями конструкции.
• Настройка с помощью пользовательских атрибутов, включая формулы для данных о частоте отказов (масштабирование, уровни достоверности, полностью настраиваемые формулы частоты отказов).
• Расширяемый каталог защитных механизмов согласно ISO 26262 (часть 5) и IEC 61508.
• Расчет метрики одиночного сбоя (SPF) и метрики скрытого сбоя (LF).
• FMEDA с расчетом доли безопасных отказов (SFF), вероятности отказа по запросу (PFD), вероятности отказа в час (PFH) и среднего времени до отказа (MTTF).
• Автоматическая синхронизация режима отказа и данных об интенсивности отказов из архитектурной модели и согласованное применение профилей миссии в FTA и FMEDA.
• Плавная навигация от макетов FTA до элементов дизайна системы и FMEDA и наоборот.
• Элемент безопасности вне контекста (SEooC) анализ и поддержка библиотеки.
• Простой импорт ведомости материалов (BOM) из Excel и прогнозирование на основе библиотек с номерами деталей.
• Импорт моделей проектирования интеллектуальной собственности (IP) и (базовое) распределение частоты отказов в соответствии с подсчетом площади кристалла / ворот.
• Интеграция анализа и интенсивности отказов на уровне микросхемы, печатной платы (PCB) и системного проектирования.

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

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

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

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

Интеграция с ANSYS SCADE Architect

Благодаря этой интеграции любые изменения в архитектуре системы легко и без проблем переводятся из SCADE Architect в medini analysis. Эта тесная интеграция исключает возможность ошибки человека при моделировании, проверке и обновлении электронных систем. Тот же надежный, пошаговый процесс обеспечит быстрое и рентабельное создание системных архитектур, отвечающих всем соответствующим отраслевым стандартам безопасности и контроля.

Интеграция с Ansys RedHawk-SC

RedHawk-SC может создавать формат IPD-XML для импорта информации о проектировании IP в medini analysis для анализа функциональной безопасности на уровне полупроводников. Благодаря этой интеграции поддерживается рабочий процесс FMEDA для проектирования полупроводниковых микросхем.

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