ANSYS medini analyze（安全分析）

     medini analyze是专业的安全分析工具，提供功能安全与可靠性工程的综合解决方案。

medini analyze突破了传统的单点工具方法，采用基于模型的方法，将架构/功能设计与功能安全分析、质量、可靠性方法相结合，覆盖全生命周期，支持在概念、系统、软件、PCB、芯片级进行安全分析，确保安全数据完整的追踪性和一致性，大大提高了系统安全分析工作效率。

     medini analyze支持符合安全标准的功能安全开发流程，提供符合功能安全、预期功能安全、信息安全标准的最佳实践： IEC 61508，EN50126/50128/50129 , ISO 26262，ISO21448，ISO21434，ARP4761/ARP4754A等

Medini analyze 功能安全/预期功能安全解决方案

     medini anslyze集成了常用的功能安全分，预期功能安全分析技术，从而完整地支持生命周期的系统安全相关活动。

• 危害分析和风险评估 (HARA)

• 限制和弱点分析（LWA）

• 触发条件分析/建模（TCA）

• 失效模式和影响分析 (FMEA)

• 故障树/攻击树分析 (FTA/ATA)

• 危害和可操作性分析 (HAZOP)

• 失效模式、影响和诊断分析 (FMEDA) 

• 硬件安全分析的诊断覆盖率矩阵

• 安全标准合规性检测的验证规则。

同时medini还集成了安全开发和管理的相关功能，包括如下功能：

• medini analyze集成了基于系统安全分析方法的架构建模（SysML）/功能设计

• 支持安全目标和安全需求的编辑、管理和分配

• 支持开发全流程所有安全相关信息及决策的链接和跟踪

• 团队协作支持，包含模型化高级对比和合并技术

• 支持安全计划、任务管理，并可生成符合安全标准的工作产品

medini analyze半导体解决方案，高效支持芯片级安全分析

无缝导入IP设计数据

• 迭代使用各个阶段的设计数据用于安全分析（如，FME（D）A）

• 根据设计数据（例如芯片面积、门数量）自动确定失效分布

硬件设计（芯片+封装）的故障率确定

• 支持手册（IEC62380，SN29500，FIDES等）及自定义的基本故障率

• 分配 die 、封装、引脚的故障率和瞬态故障分析

基于硬件设计模型的无缝FMEDA分析

• 符合ISO 26262的单点/潜伏故障指标

• IEC 61508 的安全故障分类和诊断覆盖率分析

• 支持导出故障列表，通过故障注入验证安全机制的DC （与EDA工具桥接）

配置，交换和重用FMEDA数据

• 构建可配置库并与集成商交换FMEDA和可靠性数据

......以及所有其他 medini 功能

• 安全需求和可追溯性，故障树分析，相关故障分析和检查表等.

medini analyze 信息安全解决方案

     信息安全解决方案在单个集成工具中实施关键的信息安全分析方法，其方案根据行业专业标准（如 SAE J3061、HEAVENS 和即将施行的 ISO 21434）进行专门定制，可运用到从初期概念阶段到完整系统设计的整个产品设计流程。

场景创建和资产识别分析

• 表示评估对象 (TOE) 的 SysML 系统模型的图形编辑

• 使用块、部件、端口和连接对系统架构和设计进行结构化建模

• 使用活动、操作以及设计配置进行功能和流程建模

• 使用依赖项编辑器实现功能网、配置和其他关系的可视化和编辑

• 将 SysML 元素标记为资产

• 为资产分配安全属性（保密性、完整性、可用性等）

• 通过 Ansys SCADE Architect、IBM® Rational® Rhapsody 和 Sparx Systems Enterprise Architect 实现系统设计模型的导入和往返操作

• 确保 SysML 需求模型和安全分析工具（如 TARA 或攻击树）的可追溯性

威胁识别

• 通过向 STRIDE 类别应用映射，借助从资产及其安全属性获得的潜在威胁自动创建威胁集合

• 选择威胁以进行后续评估

• 根据 HEAVENS 项目中的定义预估潜在威胁的可能性

攻击树和攻击集合

• 进行图形编辑，以便描绘导致潜在威胁的情况

• 提供自动布局和支持，以通过多个图表处理大型攻击树

• 通过拖放攻击、威胁、漏洞和其他系统模型元素创建活动和子树

• 将构成攻击场景的攻击编译为攻击集合

• 预估每次攻击的可能性

威胁评估和处理

• 创建威胁评估和处理的定制化表格，并拖放威胁集合中的数据以填充表格

• 估算影响和可能性级别

• 计算总体安全级别

• 定义风险处理策略（缓解、避免、接受、转移）

• 描述和分配安全措施和安全需求，以便进一步细化处理策略

medini analyze 航空安全性评估解决方案

     安全性评估是航空领域的电子元件和系统制造商获得必要认证的先决条件，并且工作量可能占用整个开发工作的一半以上。medini analyze航空解决方案为航空领域功能安全分析提供专业支持，使得功能安全分析的工作量平均减少55％（来自客户统计），同时大大缩短产品上市时间。 此外，medini analyze消除了功能安全分析工作产品的不一致性，加快了认证过程，特别是在设计变更方面带大诸多优势。

medini analyze支持符合航空系统ARP4761，ARP4754A和AIR6110指南的标准安全分析流程，支持航空系统的安全评估与系统开发并行进行， 并可以在飞机级、系统级、配置项级进行一系列安全分析。 凭借其集成的SysML建模功能，medini analyze可基于模型信息进行安全分析，消除了冗余数据，并使安全分析数据与实际工程模型保持一致。 此外，所有模型元素之间的可追溯性（包括安全要求）都得以实现，使用户能够方便地展示飞机或系统的整体安全性。 

ANSYS medini analyze对航空航天的支持包括：

• 飞机和系统级别的安全评估方法：功能危险评估（FHA），初步安全评估和安全评估（PSSA,PASA）。

• 安全分析技术：故障树分析（FTA），故障模式和影响分析（FMEA），故障模式，影响和诊断分析（FMEDA），故障模式，影响和安全性分析（FMECA），故障模式和影响总结（FMES），共因分析（CCA），危害和可操作性研究（HAZOP）和可靠性分析。

• 使用SysML进行架构建模和功能建模。

• 将架构/功能设计模型与质量、可靠性和功能安全分析方法紧密结合。

• 捕获和管理安全需求。

• 支持完整的端到端可追溯性。

• 可定制的工作产品/文档生成。

• 具有详细的比较和合并以及基于服务器的配置管理与团队合作。

• 与用于嵌入式系统开发、分析和仿真的其他ANSYS工具完全集成，如：ANSYS SCADE Architect和ANSYS RedHawk SC等。

• 与IBM®Rational®DOORS®，PTC Integrity™，MS®Office MATLAB®/Simulink®Stateflow®，TortoiseSVN，IBM®Rational®ClearCase®等集成。