德州儀器推出SafeTI?編譯器資質審核套件,助力簡化工業、汽車以及醫療產品的功能安全性開發
2013-07-01
日前,德州儀器(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 編譯器資質審核套件中包含獨立第三方評估機構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 供貨。感興趣的客戶可在線注冊購買該套件。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 工具、軟件、無線連接解決方案、廣泛的設計網絡產品以及技術支持,加速產品上市進程。