功能安全解決方案簡(jiǎn)介
加入技術(shù)交流群
介紹
本文引用地址：http://butianyuan.cn/article/201905/400868.htm賽靈思綜合全面的功能安全性設(shè)計(jì)流程可簡(jiǎn)化并加速支持 IEC 61508 和 ISO 26262 的安全認(rèn)證。結(jié)合賽靈思獨(dú)特的 SoC 架構(gòu)，可以實(shí)現(xiàn)最小尺寸的功能安全。
人工智能 (AI) 要求符合安全標(biāo)準(zhǔn)，以保證自主決策的可預(yù)測(cè)行為。在為工業(yè)自動(dòng)化、汽車(chē)、醫(yī)療、航空航天和國(guó)防市場(chǎng)提供安全產(chǎn)品的支持方面，賽靈思 SoC 擁有豐富的歷史經(jīng)驗(yàn)。優(yōu)勢(shì)如下：
在可編程邏輯中實(shí)現(xiàn)加速的高性能計(jì)算
采用 Arm Cortex A9、A53、Cortex R5 和 MicroBlaze RISC 軟核處理器的片上異構(gòu)硬件冗余
OTA Silicon - 可在整個(gè)生命周期中進(jìn)行更新 將復(fù)雜和完整系統(tǒng)集成到單個(gè)器件中
長(zhǎng)期可用性和擴(kuò)展溫度支持
賽靈思產(chǎn)品的設(shè)計(jì)考慮到安全性，旨在滿足安全性和可靠性要求的既定標(biāo)準(zhǔn)。賽靈思與領(lǐng)先的測(cè)試機(jī)構(gòu)合作，對(duì)賽靈思器件、設(shè)計(jì)流程和工具架構(gòu)進(jìn)行評(píng)估。證書(shū)適用于適用設(shè)計(jì)流程的所有部分。賽靈思支持：
可認(rèn)證的設(shè)計(jì)流程，以檢測(cè)和避免系統(tǒng)故障
在運(yùn)行時(shí)監(jiān)控系統(tǒng)以檢測(cè)隨機(jī)故障
在運(yùn)行時(shí)監(jiān)控系統(tǒng)以檢測(cè)共因故障
對(duì)檢測(cè)到的故障進(jìn)行預(yù)定義的后續(xù)操作并轉(zhuǎn)換為安全狀態(tài)
賽靈思工業(yè)和醫(yī)療物聯(lián)網(wǎng)解決方案堆棧
安全標(biāo)準(zhǔn)
領(lǐng)先的測(cè)試機(jī)構(gòu)根據(jù)適用標(biāo)準(zhǔn)對(duì)賽靈思設(shè)計(jì)工具進(jìn)行了評(píng)估和認(rèn)證：
TüV Süd 的 2015.2、2016.2 和 2017.3.1 版本的 Vivado（包括 SDK、HLS、SDSoC）IEC 61508-3:2010ISO 26262-8:2011相關(guān)版本的 MicroBlaze 編譯器（GNU編譯器）SGS TüV Saar 的 2015.2 和 2016.2 版本IEC 61508:2010 直至 SIL4 級(jí) T3 工具 ISO 26262:2011 直至 ASIL D、TCL1 TüV Süd 的 14.2 和 14.7 版本的 ISEIEC61508-3:2010
ISO 26262-8:2011Exida 的 Zynq UltraScale + MPSoC 器件架構(gòu)和安全手冊(cè)
IEC 61508:2010 第 1、2 和 3 部分直至 SIL 3，HFT=1 ISO 26262:2011 第2、4、5、6、7、8、9和10部分，直至 ASIL C 賽靈思安全設(shè)計(jì)解決方案
賽靈思針對(duì)FPGA和SoC的全面功能安全設(shè)計(jì)流程解決方案包括：
用于開(kāi)發(fā)和驗(yàn)證工具流程和方法的證書(shū)和相關(guān)報(bào)告安全手冊(cè)軟件安全用戶指南（僅適用于 SoC）Zynq-7000 安全設(shè)計(jì)示例，具有專門(mén)的安全概念并經(jīng)過(guò) TüV Rheinland 評(píng)估 可靠性報(bào)告（每年更新兩次），包括FIT速率計(jì)算器三重模塊冗余和兩個(gè)附帶 MicroBlaze Softcore RISC 處理器的核心鎖步用于檢測(cè)和糾正網(wǎng)表中的錯(cuò)誤（單個(gè)事件故障）的功能塊，以及器件配置中“基本位”的識(shí)別Zynq Ultrascale + MPSoC 的軟件測(cè)試庫(kù)（STL）FMEDA 工具和 FMEDA 計(jì)算示例用于計(jì)算基本故障率的應(yīng)用說(shuō)明和腳本賽靈思器件中的內(nèi)置系統(tǒng)監(jiān)控器及相關(guān)應(yīng)用說(shuō)明用于分離安全與非安全性功能的隔離設(shè)計(jì)流程
年度功能安全工作組會(huì)議
在春末或夏初的年度功能安全工作組會(huì)議 (Functional Safety Working Group) 上與賽靈思的安全架構(gòu)師和系統(tǒng)工程師會(huì)面?；顒?dòng)日期和地點(diǎn)將在賽靈思
功能安全網(wǎng)站上公布。
功能安全的創(chuàng)新器件架構(gòu)
賽靈思 Zynq UltraScale + MPSoC 旨在通過(guò)功能安全認(rèn)證。
因此產(chǎn)生了通用的片上系統(tǒng)，其非常符合現(xiàn)代安全概念。
基本特性三個(gè)單獨(dú)的芯片域具有獨(dú)立電源和時(shí)鐘，可實(shí)現(xiàn)HFT≥1低功耗域
全功率域
可編程邏輯域低 FIT可靠的低功耗 16 nm FinFET 技術(shù)保護(hù)安全關(guān)鍵型單元三重模塊冗余啟動(dòng)、安全和錯(cuò)誤管理處理器ARM Cortex R5 的鎖步所有關(guān)鍵存儲(chǔ)器上的 ECC硬化內(nèi)存保護(hù)單元和外設(shè)保護(hù)單元具有三重模塊冗余的配置和安全單元用于共因故障檢測(cè)的系統(tǒng)監(jiān)控器：
電壓 - 溫度 - 時(shí)鐘
可測(cè)試架構(gòu)邏輯BIST - 內(nèi)存BIST - 錯(cuò)誤注入 - 軟件測(cè)試庫(kù)功能安全解決方案簡(jiǎn)介
賽靈思功能安全包
賽靈思功能安全包讓您可以訪問(wèn)整個(gè)安全文檔和所有工具。
基于網(wǎng)絡(luò)的功能安全專區(qū)專為付費(fèi)用戶開(kāi)放，用戶可以訪問(wèn)最新信息。
許可和訂購(gòu)信息
您可根據(jù)訂購(gòu)代碼 EM-DI-SAFETY-SITE 購(gòu)買(mǎi)賽靈思 All Programmable 功能安全設(shè)計(jì)流程解決方案安全包，這樣您就可以完全訪問(wèn)功能安全解決方案以及為期一年的實(shí)時(shí)更新。通過(guò)訂購(gòu)代碼 EMR-DI-SAFETY-SITE 購(gòu)買(mǎi)現(xiàn)有許可證的擴(kuò)展，
可享受 75％ 的折扣。
如需了解有關(guān)賽靈思功能安全設(shè)計(jì)流程解決方案的更多詳情討論，請(qǐng)聯(lián)系您當(dāng)?shù)氐馁愳`思銷售代表。
結(jié)論
Zynq UltraScale+ MPSoC 在設(shè)計(jì)時(shí)就重視安全，是支持工業(yè)物聯(lián)網(wǎng)平臺(tái)以及未來(lái)數(shù)代汽車(chē)、航空和 AI 系統(tǒng)的理想架構(gòu)?！?/p>
借助創(chuàng)新的賽靈思 Zynq UltraScale + MPSoC 架構(gòu)，加上近期 TüV Süd 對(duì)支持性的 Vivado 設(shè)計(jì)套件的 IEC 61508 安全認(rèn)證，以及 SGS-TüV Saar 對(duì)額外軟處理器的 MicroBlaze? 編譯器的 IEC 61508 認(rèn)證，賽靈思現(xiàn)可為客戶提供基于穩(wěn)健設(shè)計(jì)流程的完整生態(tài)系統(tǒng)，其中包括支持文檔、評(píng)估報(bào)告和 IP，用來(lái)為客戶最大限度降低風(fēng)險(xiǎn)。
購(gòu)買(mǎi)賽靈思線上功能安全專區(qū)訪問(wèn)權(quán)，開(kāi)發(fā)者就能獲取支持高度集成的安全關(guān)鍵型系統(tǒng)設(shè)計(jì)的工具與資源。具體特權(quán)包含 Zynq UltraScale+ MPSoC 安全手冊(cè)的訪問(wèn)權(quán)限、器件與架構(gòu)更新、工具流、包含今后報(bào)告和評(píng)估的文檔。
評(píng)論