Lost your password?
Not a member? Register here

西门子白皮书下载 | 安全机制的插入和验证

十一月 21, 2022 | Sky News
西门子白皮书下载 | 安全机制的插入和验证

FMEDA(失效模式影响和诊断分析)利用一系列安全机制来评估安全架构,并计算系统的安全性能。ISO 26262 规范第 5 部分规定,硬件架构需要根据故障处理要求进行评估。它要求通过一套客观的指标对随机硬件失效的概率进行严格的分析和量化。

如果有任何架构指标未能满足为产品定义的汽车安全完整性等级 (ASIL) 标准,设计团队将被强制要求重新评估组件的安全概念,改进现有的安全机制,并在必要时引入新的安全机制。

为了改善诊断覆盖率,一种实用的方法是在设计中纳入一系列安全机制,以便能够增加检测到的故障数量和类型。最好在寄存器传输级进行此操作,因为在此级别可以高效地执行功能验证。该流程可由以下主要步骤构成:

  • 探索设计中需要改善故障检测的部分
  • 引入安全机制,针对 RTL 结构进行适当的权衡
  • 使用时序逻辑等价性检查 (SLEC) 验证设计变化
  • 使用基于形式化的方法执行注错,以测量诊断覆盖率

 

image003 (1)

▲使用 SLEC 验证双重模块化冗余的流程

 

点击这里下载完整白皮书

 

来源:西门子EDA

 

标签:
#Design  #测试与检验  #西门子  #白皮书  #安全机制  #插入  #验证 

需要寻找PCB供应商?

The PCB List祝您快速简便地找到符合您电子制造要求的印制电路板供应商。拥有超过2000家认证厂商的资料!

  About

IConnect007.com是专注于印制电路板(PCB)、电子制造服务(EMS)和印刷电路板设计行业的实时在线杂志。服务于全球以及中国市场多年,发布了超过100000篇新闻、专业文章,提供行业展会实时在线报道,是电子制造领域的行业资讯领导者