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