Программное обеспечение ANSYS medini analyze реализует ключевые методы анализа безопасности - анализ угроз и работоспособности (HAZOP), анализ цепочек отказов (FTA), анализ видов и последствий отказов (FMEA), анализ видов отказов, их последствий и диагностический анализ (FMEDA) - все в одном интегрированном инструменте. Он поддерживает эффективное и последовательное выполнение действий, связанных с безопасностью, в соответствии с применимыми стандартами безопасности. ANSYS medini analyse хорошо интегрирован с другими инструментами проектирования и позволяет проводить анализ безопасности на основе моделей с использованием таких стандартов, как SysML.
Приложения
ANSYS medini analysis применяется при разработке критически важных для безопасности электрических, электронных и программно-управляемых систем в таких областях, как автомобилестроение, аэрокосмическая отрасль и промышленное оборудование. Инструмент адаптирован к отраслевым стандартам ISO 26262, IEC 61508, ARP4761 и MIL-STD-882E. Область применения варьируется от ранней концептуальной фазы до разработки изделия и до подробного анализа на уровне полупроводников.
Особенности
ANSYS medini analyze предлагает современные методы анализа, объединенные в модельную среду, в том числе:
- Анализ безопасности и проектирование E/E-систем и функций, управляемых программным обеспечением, специально адаптированные к отраслевым стандартам ISO 26262, IEC 61508, ARP4761 и MIL-STD-882E
- Интеграция архитектурного/функционального дизайна с методами анализа качества, надежности и функциональной безопасности
- Поддержка анализа эксплуатационной ситуации, анализа опасностей и рисков (HARA), оценки функциональных опасностей (FHA), FTA, FMEA, FMEDA, вероятностного анализа надежности FMECA и показателей отказов оборудования
- Анализ качества проектирования продукта и связанных процессов в соответствии с SAE J1739, VDA-AIAG FMEA Handbook и т. д.
- Полная прослеживаемость
- Настраиваемое создание рабочих продуктов и документации
- Поддержка совместной работы, включая сложную технологию сравнения и слияния на основе моделей
- Интеграция с Ansys SCADE Architect, IBM® Rational® DOORS®, IBM® Rational® Rhapsody®, Enterprise Architect, No Magic MagicDraw®, MATLAB® / Simulink®, Stateflow®, PTC Integrity ™, Microsoft® Office, TortoiseSVN, IBM® Rational ® ClearCase®, Jama Software и другие
Возможности
- Специализированные и настраиваемые редакторы для описания системы и компонентов
- Графическое моделирование функциональной архитектуры с функциональными зависимостями, распределением функций, неисправностями и условиями отказа
- Анализ опасностей и работоспособности (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 и других.