FMEDA（失效模式影响和诊断分析） 安全机制的插入和验证
FMEDA（失效模式影响和诊断分析）利用一系列安全机制来评估安全架构，并计算系统的安全性能。ISO 26262 规范第 5 部分规定，硬件架构需要根据故障处理要求进行评估。它要求通过一套客观的指标对随机硬件失效的概率进行严格的分析和量化。
如果有任何架构指标未能满足为产品定义的汽车安全完整性等级 (ASIL) 标准，设计团队将被强制要求重新评估组件的安全概念，改进现有的安全机制，并在必要时引入新的安全机制。
为了改善诊断覆盖率，一种实用的方法是在设计中纳入一系列安全机制，以便能够增加检测到的故障数量和类型。最好在寄存器传输级进行此操作，因为在此级别可以高效地执行功能验证。该流程可由以下主要步骤构成：
• 探索设计中需要改善故障检测的部分
• 引入安全机制，针对 RTL 结构进行适当的权衡
• 使用时序逻辑等价性检查 (SLEC) 验证设计变化
• 使用基于形式化的方法执行注错，以测量诊断覆盖率
▲使用 SLEC 验证双重模块化冗余的流程
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。
举报投诉
-
RTL
+关注
关注
1文章
393浏览量
62394 -
asil
+关注
关注
0文章
52浏览量
9620
原文标题：白皮书下载 | 安全机制的插入和验证
文章出处：【微信号：Mentor明导，微信公众号：西门子EDA】欢迎添加关注！文章转载请注明出处。
发布评论请先 登录
相关推荐
热点推荐
攻击逃逸测试：深度验证网络安全设备的真实防护能力
中一种极具威胁性的高级攻击手法。攻击者通过精心构造恶意流量，使其能够成功绕过各类安全设备的检测机制，实现“隐身”攻击。这种攻击不仅隐蔽性强，而且技术复杂度高，能有效规避传统安全设备的检测。
主要逃逸技术
发表于 11-17 16:17
边聊安全 | FMEDA实践干货，手把手带你分析
在之前发的公众号文章中已经介绍了一些关于FMEDA工作的基础概念，比如有针对随机失效率、诊断覆盖率和软失效等话题的入门介绍。在文章发表之后，笔者陆陆续续收到了一些小伙伴们的留言和提问。
IGBT短路失效分析
短路失效网上已经有很多很详细的解释和分类了，但就具体工作中而言，我经常遇到的失效情况主要还是发生在脉冲阶段和关断阶段以及关断完毕之后的，失效的模式主要为热
LED芯片失效和封装失效的原因分析
芯片失效和封装失效的原因，并分析其背后的物理机制。金鉴实验室是一家专注于LED产业的科研检测机构，致力于改善LED品质，服务LED产业链中各个环节，使LED产业健康
电子元器件失效分析与典型案例（全彩版）
本资料共分两篇,第一篇为基础篇，主要介绍了电子元器件失效分析基本概念、程序、技术及仪器设备;第二篇为案例篇，主要介绍了九类元器件的失效特点、失效模式
发表于 04-10 17:43
直流充电安全测试负载方案解析
液冷系统：冷却功率密度达5kW/L，维持设备在-30℃~55℃环境稳定运行
智能诊断系统
基于AI的故障树分析：自动定位保护失效原因
测试数据区块链存证：确保安全测试过程可追溯
发表于 03-13 14:38
芯片失效分析的方法和流程
、物理分析、材料表征等多种手段，逐步缩小问题范围，最终定位失效根源。以下是典型分析流程及关键方法详解： 前期信息收集与失效现象确认 1.
EBSD失效分析策略
材料失效分析在材料科学和工程实践中，失效分析扮演着至关重要的角色，它致力于探究产品或构件在实际使用过程中出现的失效现象。这些现象可能表现为由
工商网监
评论