medini analyze是专业的安全分析工具,提供功能安全与可靠性工程的综合解决方案。
medini analyze突破了传统的单点工具方法,采用基于模型的方法,将架构/功能设计与功能安全分析、质量、可靠性方法相结合,覆盖全生命周期,支持在概念、系统、软件、PCB、芯片级进行安全分析, 确保安全数据完整的追踪性和一致性,大大提高了系统安全分析工作效率。
medini analyze提供符合功能安全标准的安全分析最佳实践:IEC 61508,EN50126/50128/50129 , ISO 26262,ARP4761/ARP4754A等。
medini analyze 主要技术指标
■ 集成了架构建模(SysML)/功能设计,并支持从第三方建模工具导入SysML模型
■ 支持功能安全分析、信息安全分析、SOTIF分析、可靠性计算等
■ 支持场景分析、危害分析和风险评估、定性和定量故障树分析(FTA),失效模式和影响分析(FMEA)、并内置大量失效率手册,
支持硬件失效率和故障指标分析、共因分析、共模分析,以及芯片级别的诊断覆盖率分析(FMEDA )、故障列表导出及集成等
■ 支持安全目标和安全需求的编辑、管理和分配
■ 支持开发全流程所有安全相关信息及决策的链接和跟踪
■ 支持安全计划、任务管理,并可生成符合安全标准的工作产品
medini analyze 半导体解决方案,高效支持芯片级安全分析
■ 无缝导入IP设计数据
● 迭代使用各个阶段的设计数据用于安全分析(如,FME(D)A)
● 根据设计数据(例如芯片面积、门数量)自动确定失效分布
■ 硬件设计(芯片+封装)的故障率确定
● 支持手册(IEC62380,SN29500,FIDES等)及自定义的基故障率
● 分配 die 、封装、引脚的故障率和瞬态故障分析
■ 基于硬件设计模型的无缝FMEDA分析
● 符合ISO 26262的单点/潜伏故障指标
● IEC 61508 的安全故障分类和诊断覆盖率分析
● 支持导出故障列表,通过故障注入验证安全机制的DC (与EDA工具桥接)
■ 配置,交换和重用FMEDA数据
● 构建可配置库并与集成商交换FMEDA和可靠性数据
■ ......以及所有其他 medini 功能
● 安全需求和可追溯性,故障树分析,相关故障分析和检查表等
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® Cle arCase®等集成。