近日，德州儀器(TI) 宣布推出最新的safeti_cqkit'SafeTI 編譯器資格審查套件，進一步豐富其SafeTI 設計套件。 SafeTI 編譯器資格審核套件不僅可以幫助客戶審核TI ARM C/C++ 編譯器的使用是否符合IEC 61508 和ISO 26262 等功能安全標準，還有助於最大限度地提高其功能和性能。該套件是SafeTI 設計套件的一個組件，主要與TI 基於ARM Cortex-R4 的Hercules 安全微控製器(MCU) 配合使用，幫助客戶簡化功能安全應用開發。
SafeTI編譯器資格審核套件采用Validas開發的模塊化工具資格審核方法，Validas是一家專門從事嵌入式係統軟件資格審核和軟件工具安全標準資格審核的谘詢公司。 SafeTI 編譯器資格審核套件包含獨立第三方評估機構TV NORD 提供的評估文件。文件內容顯示：“[ISO 26262]（第11章第8節）相關軟件工具分類和資格審核要求和[IEC 61508]（第7.4.4章第3節）相關工具的資格要求可以通過以下方式完全滿足：應用這套資格認證套件。”
此外，SafeTI 編譯器資格套件還包括來自Associated Compiler Experts (ACE) 的最新SuperTest 資格套件。 SuperTest Qualification Suite源自ACE SuperTest編譯器測試和資格套件，有助於嚴格滿足C語言編譯器標準的合規性要求。 TI 的汽車MCU 客戶多年來已成功使用ACE SuperTest 編譯器測試和鑒定套件來評估編譯器質量。
基於模型的工具鑒定
IEC 61508 和ISO 26262 安全標準要求對功能安全產品開發過程中使用的所有工具進行評估和分類，以幫助確保這些工具不會影響正在開發的產品的安全性。如果需要對工具有更高級別的信任，可以通過工具資格審核來獲得適合使用的證明。 SafeTI 編譯器資格認證套件中使用的基於模型的工具資格認證技術非常靈活，可幫助用戶為其開發過程選擇所需的工具功能。工具功能要麼是可測試的，要麼提供包含多個緩解選項的列表，允許用戶選擇最適合其流程的選項。 SafeTI 編譯器資格認證套件不僅指導客戶選擇功能、測試和緩解措施，還可以根據文檔模板和資格模型生成所需的文檔。
SafeTI 編譯器資格認證套件包括：
資質審核套件用戶手冊；
資質審核支持工具：可幫助實現資質審核配置和文檔生成；
所需安全文件模板：包括工具分類報告、工具合格審核計劃、工具合格審核報告和工具安全手冊；
編譯器插裝版本：可以在應用程序和資格審查測試中比較編譯器覆蓋率；
TV Nord 報告：顯示資質審核流程批準；
ARM架構上C語言編譯器的ACE SuperTest資格審查套件；
針對特定TI ARM 編譯器功能的資格審核測試用例；
一個測試自動化框架，通過目標硬件在用戶環境中運行測試；
24 小時Validas 谘詢：通過Webex 和電子郵件提供一般支持、模型擴展、覆蓋範圍比較和結果/文檔審查支持。
SafeTI 編譯器資格套件支持大多數編譯器功能的測試，並且可以擴展以支持TI 和Validas 未來的測試用例更新。
可用性和支持
SafeTI 編譯器資格認證套件現已通過TI 提供。有興趣的客戶可以在線注冊購買該套件。 SafeTI 編譯器資格認證套件的客戶支持由TI 和Validas 聯合提供。
合作
TI 與Validas 和ACE 聯手共同開發了此資格審查套件，該套件不僅可以幫助客戶鑒定其ARM 編譯器特定用例，還可以最大限度地利用其功能和性能。 TI ARM 編譯器的新版本和功能可使用Validas 模塊化鑒定方法進行鑒定，運行ACE SuperTest 鑒定套件以及隨該套件提供的其他TI 驗證測試用例。
TI 廣泛的微控製器和軟件
TI MCU 在支持低功耗、實時控製、安全性和連接功能方麵處於行業領先地位。 TI 繼續以20 多年的微控製器創新經驗為基礎，提供業界最廣泛的微控製器產品組合：超低功耗MSP MCU、實時控製C2000 MCU、Tiva ARM MCU 和Hercules ARM MCU 。設計人員可以利用TI 的工具、軟件、無線連接解決方案、廣泛的設計網絡產品和技術支持來加快上市時間。
