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