介绍
赛灵思综合全面的功能安全性设计流程可简化并加速支持 IEC 61508 和 ISO 26262 的安全认证。结合赛灵思独特的 SoC 架构控制工程网版权所有,可以实现最小尺寸的功能安全。
人工智能 (AI) 要求符合安全标准,以保证自主决策的可预测行为。在为工业自动化、汽车、医疗、航空航天和国防市场提供安全产品的支持方面控制工程网版权所有,赛灵思 SoC 拥有丰富的历史经验。优势如下:
>>在可编程逻辑中实现加速的高性能计算
>>采用 Arm Cortex A9、A53、Cortex R5 和 MicroBlaze RISC 软核处理器的片上异构硬件冗余
>>OTA Silicon - 可在整个生命周期中进行更新 将复杂和完整系统集成到单个器件中
>>长期可用性和扩展温度支持
赛灵思产品的设计考虑到安全性,旨在满足安全性和可靠性要求的既定标准。赛灵思与领先的测试机构合作CONTROL ENGINEERING China版权所有,对赛灵思器件、设计流程和工具架构进行评估。证书适用于适用设计流程的所有部分。赛灵思支持:
>>可认证的设计流程,以检测和避免系统故障
>>在运行时监控系统以检测随机故障
>>在运行时监控系统以检测共因故障
>>对检测到的故障进行预定义的后续操作并转换为安全状态
![](http://manager.cechina.cn/upload/article/5b0b74f1-7ad8-4913-a5ce-1eab713d41ad/11.jpg)
安全标准
领先的测试机构根据适用标准对赛灵思设计工具进行了评估和认证:
>>TüV Süd 的 2015.2、2016.2 和 2017.3.1 版本的 Vivado(包括 SDK、HLS、SDSoC)
IEC 61508-3:2010
ISO 26262-8:2011
>>TüV Süd 的 14.2 和 14.7 版本的 ISE
IEC61508-3:2010
ISO 26262-8:2011
>>相关版本的 MicroBlaze 编译器(GNU编译器)
SGS TüV Saar 的 2015.2 和 2016.2 版本
IEC 61508:2010 直至 SIL4 级 T3 工具 ISO 26262:2011 直至 ASIL D、TCL1
IEC 61508:2010 第 1、2 和 3 部分直至 SIL 3,HFT=1 ISO 26262:2011 第2、4、5、6、7、8、9和10部分,直至 ASIL C
![](http://manager.cechina.cn/upload/article/5b0b74f1-7ad8-4913-a5ce-1eab713d41ad/image040%20.jpg)
赛灵思的认证工具流程和器件
赛灵思安全设计解决方案
赛灵思针对FPGA和SoC的全面功能安全设计流程解决方案包括:
>>用于开发和验证工具流程和方法的证书和相关报告
>>安全手册
>>软件安全用户指南(仅适用于 SoC)
>>赛灵思的认证工具流程和器件
>>Zynq-7000 安全设计示例,具有专门的安全概念并经过 T?V Rheinland 评估
>>可靠性报告(每年更新两次),包括FIT速率计算器
>>三重模块冗余和两个附带 MicroBlaze Softcore RISC 处理器的核心锁步
>>用于检测和纠正网表中的错误(单个事件故障)的功能块,以及器件配置中"基本位"的识别
>>Zynq Ultrascale + MPSoC 的软件测试库(STL)
>>FMEDA 工具和 FMEDA 计算示例
>>用于计算基本故障率的应用说明和脚本
>>赛灵思器件中的内置系统监控器及相关应用说明
>>用于分离安全与非安全性功能的隔离设计流程
年度功能安全工作组会议
在春末或夏初的年度功能安全工作组会议 (Functional Safety Working Group) 上与赛灵思的安全架构师和系统工程师会面。活动日期和地点将在赛灵思
功能安全(https://www.xilinx.com/products/technology/functional-safety.html, 点击"功能安全工作组会议"选项卡了解活动详情)网站上公布。
功能安全的创新器件架构
赛灵思 Zynq UltraScale + MPSoC 旨在通过功能安全认证。
因此产生了通用的片上系统,其非常符合现代安全概念。
![](http://manager.cechina.cn/upload/article/5b0b74f1-7ad8-4913-a5ce-1eab713d41ad/image050.jpg)
赛灵思的 Zynq UltraScale + MPSoC 概述
基本特性
>>三个单独的芯片域具有独立电源和时钟,可实现HFT≥1
低功耗域
全功率域
可编程逻辑域
>>低 FIT
可靠的低功耗 16 nm FinFET 技术
>>保护安全关键型单元
三重模块冗余启动、安全和错误管理处理器
ARM Cortex R5 的锁步
所有关键存储器上的 ECC
>>硬化内存保护单元和外设保护单元
具有三重模块冗余的配置和安全单元
用于共因故障检测的系统监控器:
电压 - 温度 - 时钟
>>可测试架构
逻辑BIST - 内存BIST - 错误注入 - 软件测试库
![](http://manager.cechina.cn/upload/article/5b0b74f1-7ad8-4913-a5ce-1eab713d41ad/image063.jpg)
利用 Zynq UltraScale + MPSoC 实现片上异构硬件冗余
赛灵思功能安全包
赛灵思功能安全包让您可以访问整个安全文档和所有工具。
基于网络的功能安全专区专为付费用户开放,用户可以访问最新信息。
许可和订购信息
您可根据订购代码 EM-DI-SAFETY-SITE 购买赛灵思 All Programmable 功能安全设计流程解决方案安全包,这样您就可以完全访问功能安全解决方案以及为期一年的实时更新。
通过订购代码 EMR-DI-SAFETY-SITE 购买现有许可证的扩展,
可享受 75% 的折扣。
如需了解有关赛灵思功能安全设计流程解决方案的更多详情讨论,请联系您当地的赛灵思销售代表。
![](http://manager.cechina.cn/upload/article/5b0b74f1-7ad8-4913-a5ce-1eab713d41ad/image067%20%E6%8B%B7%E8%B4%9D.jpg)
结论
Zynq UltraScale+ MPSoC 在设计时就重视安全控制工程网版权所有,是支持工业物联网平台以及未来数代汽车、航空和 AI 系统的理想架构。"
借助创新的赛灵思 Zynq UltraScale + MPSoC 架构控制工程网版权所有,加上近期 T?V Süd 对支持性的 Vivado 设计套件的 IEC 61508 安全认证,以及 SGS-T?V Saar 对额外软处理器的 MicroBlaze? 编译器的 IEC 61508 认证,赛灵思现可为客户提供基于稳健设计流程的完整生态系统,其中包括支持文档、评估报告和 IP,用来为客户最大限度降低风险。
购买赛灵思线上功能安全专区访问权,开发者就能获取支持高度集成的安全关键型系统设计的工具与资源。具体特权包含 Zynq UltraScale+ MPSoC 安全手册的访问权限、器件与架构更新、工具流、包含今后报告和评估的文档。
如需了解更多信息,敬请访问:https://www.xilinx.com/applications/industrial/functional-safety.html