德州儀器推出SafeTI編譯器資質審核套件

　　日前，德州儀器 (TI) 宣布推出最新 SafeTI™ 編譯器資質審核套件，進一步豐富其 SafeTI™ 設計套件。該 SafeTI™ 編譯器資質審核套件不但可幫助客戶審核 TI ARM^® C/C++ 編譯器的使用是否符合 IEC 61508 與 ISO 26262 等功能安全標準，同時還有助于最大限度提高其功能性及性能。該套件是 SafeTI 設計套件的一個組件，主要用于與 TI 基于 ARM Cortex-R4 的 Hercules™ 安全微控制器 (MCU) 配合使用，幫助客戶簡化功能安全應用開發。

　　SafeTI 編譯器資質審核套件使用了Validas 開發的模塊化工具資質審核方法，Validas是一家專注于嵌入式系統軟件資質審核以及軟件工具安全標準資質審核的咨詢公司。SafeTI 編譯器資質審核套件中包含獨立第三方評估機構 TÜV NORD 提供的評估文檔，文檔內容顯示：“[ISO 26262](第 11 章第 8 節)相關軟件工具分類與資質審核的要求以及 [IEC 61508](第 7.4.4 章第 3 節)相關工具資質審核的要求可通過應用該資質審核套件充分滿足。”

　　此外，SafeTI 編譯器資質審核套件還包括 Associated Compiler Experts (ACE) 的最新 SuperTest 資質審核套件。SuperTest 資質審核套件源于 ACE SuperTest 編譯器測試與資質審核套件，有助于嚴格滿足 C 語言編譯器標準的合規性要求。多年來TI 汽車 MCU 客戶已將ACE SuperTest 編譯器測試與資質審核套件成功應用于評估編譯器質量。

　　基于模型的工具資質審核

　　IEC 61508 與 ISO 26262 安全標準需要對功能安全產品開發流程中使用的所有工具進行評估與分類，幫助確保工具不會影響所開發產品的安全性。如果需要更高的工具信任度，可通過工具資質審核得出使用適用性的證明。SafeTI 編譯器資質審核套件中所使用基于模型的工具資質審核技術非常靈活，可幫助用戶為開發流程選擇所需的工具特性。工具特性或者可測試，或者提供一個具有幾個緩和選項的列表，用戶可選擇最適合其工藝的選項。SafeTI 編譯器資質審核套件不僅可指導客戶選擇特性、測試與緩和措施，而且還可根據文檔模板與資質審核模型生成所需的文檔。

　　SafeTI 編譯器資質審核套件包括：

　　· 資質審核套件用戶手冊;
　　· 資質審核支持工具：可幫助實現資質審核配置與文檔生成;
　　· 所需安全文檔的模板：包括工具分類報告、工具資質審核計劃、工具資質審核報告以及工具安全手冊;
　　· 編譯器儀表化版本：可在應用與資質審核測試中比較編譯器覆蓋范圍;
　　· TÜV Nord 報告：顯示資質審核過程批準;
　　· ARM 架構上 C 語言編譯器的 ACE SuperTest 資質審核套件;
　　· 特定 TI ARM 編譯器特性的確認資質審核測試案例;
　　· 通過目標硬件在用戶環境中運行該測試的測試自動化框架;
　　· 24 小時 Validas 咨詢：通過 Webex 與電子郵件針對一般性支持、模型擴展、覆蓋范圍比較以及結果/文檔復審支持提供。

　　SafeTI 編譯器資質審核套件支持大多數編譯器特性的測試，并可擴展支持 TI 與 Validas 的未來測試案例更新。

　　供貨情況與支持

　　SafeTI 編譯器資質審核套件現已開始通過 TI 供貨。