功能安全應用設計人員可使用該套件幫助審核其 TI ARM 編譯器使用是否符合 IEC 61508 與 ISO 26262 功能安全標準 德州儀器 (TI) 宣布推出最新 SafeTI 編譯器資質(zhì)審核套件,進(jìn)一步豐富其 SafeTI 設計套件。該 SafeTI 編譯器資質(zhì)審核套件不但可幫助客戶(hù)審核 TI ARM C/C++ 編譯器的使用是否符合 IEC 61508 與 ISO 26262 等功能安全標準,同時(shí)還有助于最大限度提高其功能性及性能。該套件是 SafeTI 設計套件的一個(gè)組件,主要用于與 TI 基于 ARM Cortex-R4 的 Hercules 安全微控制器 (MCU) 配合使用,幫助客戶(hù)簡(jiǎn)化功能安全應用開(kāi)發(fā)。 SafeTI 編譯器資質(zhì)審核套件使用了Validas 開(kāi)發(fā)的模塊化工具資質(zhì)審核方法,Validas是一家專(zhuān)注于嵌入式系統軟件資質(zhì)審核以及軟件工具安全標準資質(zhì)審核的咨詢(xún)公司。SafeTI 編譯器資質(zhì)審核套件中包含獨立第三方評估機構 TÜV NORD 提供的評估文檔,文檔內容顯示:“[ISO 26262](第 11 章第 8 節)相關(guān)軟件工具分類(lèi)與資質(zhì)審核的要求以及 [IEC 61508](第 7.4.4 章第 3 節)相關(guān)工具資質(zhì)審核的要求可通過(guò)應用該資質(zhì)審核套件充分滿(mǎn)足! 此外,SafeTI 編譯器資質(zhì)審核套件還包括 Associated Compiler Experts (ACE) 的最新 SuperTest 資質(zhì)審核套件。SuperTest 資質(zhì)審核套件源于 ACE SuperTest 編譯器測試與資質(zhì)審核套件,有助于嚴格滿(mǎn)足 C 語(yǔ)言編譯器標準的合規性要求。多年來(lái)TI 汽車(chē) MCU 客戶(hù)已將ACE SuperTest 編譯器測試與資質(zhì)審核套件成功應用于評估編譯器質(zhì)量。 基于模型的工具資質(zhì)審核 IEC 61508 與 ISO 26262 安全標準需要對功能安全產(chǎn)品開(kāi)發(fā)流程中使用的所有工具進(jìn)行評估與分類(lèi),幫助確保工具不會(huì )影響所開(kāi)發(fā)產(chǎn)品的安全性。如果需要更高的工具信任度,可通過(guò)工具資質(zhì)審核得出使用適用性的證明。SafeTI 編譯器資質(zhì)審核套件中所使用基于模型的工具資質(zhì)審核技術(shù)非常靈活,可幫助用戶(hù)為開(kāi)發(fā)流程選擇所需的工具特性。工具特性或者可測試,或者提供一個(gè)具有幾個(gè)緩和選項的列表,用戶(hù)可選擇最適合其工藝的選項。SafeTI 編譯器資質(zhì)審核套件不僅可指導客戶(hù)選擇特性、測試與緩和措施,而且還可根據文檔模板與資質(zhì)審核模型生成所需的文檔。 SafeTI 編譯器資質(zhì)審核套件包括: • 資質(zhì)審核套件用戶(hù)手冊; • 資質(zhì)審核支持工具:可幫助實(shí)現資質(zhì)審核配置與文檔生成; • 所需安全文檔的模板:包括工具分類(lèi)報告、工具資質(zhì)審核計劃、工具資質(zhì)審核報告以及工具安全手冊; • 編譯器儀表化版本:可在應用與資質(zhì)審核測試中比較編譯器覆蓋范圍; • TÜV Nord 報告:顯示資質(zhì)審核過(guò)程批準; • ARM 架構上 C 語(yǔ)言編譯器的 ACE SuperTest 資質(zhì)審核套件; • 特定 TI ARM 編譯器特性的確認資質(zhì)審核測試案例; • 通過(guò)目標硬件在用戶(hù)環(huán)境中運行該測試的測試自動(dòng)化框架; • 24 小時(shí) Validas 咨詢(xún):通過(guò) Webex 與電子郵件針對一般性支持、模型擴展、覆蓋范圍比較以及結果/文檔復審支持提供。 SafeTI 編譯器資質(zhì)審核套件支持大多數編譯器特性的測試,并可擴展支持 TI 與 Validas 的未來(lái)測試案例更新。 供貨情況與支持 SafeTI 編譯器資質(zhì)審核套件現已開(kāi)始通過(guò) TI 供貨。感興趣的客戶(hù)可在線(xiàn)注冊購買(mǎi)該套件。SafeTI 編譯器資質(zhì)審核套件的客戶(hù)支持由 TI 和 Validas 共同提供。 |