Модельно-ориентированное решение 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)
Модельно-ориентированный анализ безопасности- Интегрированные анализы видов и последствий отказов (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 и другие.
