2013 年 7 月 1 日--德州儀器 (TI) 宣佈推出最新 SafeTI™ 編譯器驗證套件，進一步豐富其 SafeTI™設計套件。該 SafeTI™ 編譯器驗證套件協助客戶驗證使用 TI ARM® C/C++ 編譯器是否符合 IEC 61508 與 ISO 26262 功能性安全標準，並提升功能與效能。該套件為 SafeTI 設計套裝軟體的一部分，主要用於 TI ARM Cortex-R4 Hercules™ 安全微控制器 (MCU) 平台，協助客戶簡化功能性安全應用開發。
SafeTI 編譯器驗證套件藉由專精嵌入式系統軟體品質與軟體工具驗證 Validas顧問公司開發的模組化工具驗證方法進行安全性標準驗證。SafeTI 編譯器驗證套件中包含第三單位評估機構 TÜV NORD提供的評估文件，(第 11 章第 8 節) 列出ISO 26262 相關軟體工具分類與驗證需求與 (第7.4.4 章第 3 節) 指出該驗證套件IEC 61508可滿足相關工具驗證需求。
此外，SafeTI 編譯器驗證套件包括 Associated Compiler Experts (ACE) 最新 SuperTest 驗證套件。SuperTest 驗證套件源自 ACE SuperTest 編譯器測試與驗證套件，遵循 C 編譯器 (C complier) 嚴格標準需求。TI 車用 MCU 客戶對於 ACE SuperTest 編譯器測試與驗證套件編譯器品質已有多年成功使用經驗。
模組化工具驗證
IEC 61508 與 ISO 26262 安全標準需對功能性安全產品開發流程中所有使用工具進行評估與分類，確保其不會影響開發中產品安全。更高的工具信任度可透過工具驗證得出使用適應性 (suitability) 數據。SafeTI 編譯器驗證套件中使用的模組化工具驗證相當靈活，使用者可依照開發流程選擇所需工具功能。工具功能可提供測試或數個減緩 (mitigation) 選項，讓使用者選擇最適合的選項。SafeTI 編譯器驗證套件可協助客戶選擇功能選項、測試與減緩，並可依據文件範例與驗證模組產生所需文件。
SafeTI 編譯器驗證套件包含：
- 驗證套件用戶手冊；
- 驗證支援工具，協助驗證配置與生成文件；
- 所需安全文件範例：包括工具分類報告、工具驗證計畫、工具驗證報告與工具安全手冊；
- 儀表化版本編譯器，可在應用與驗證測試中比較編譯器覆蓋範圍；
- TÜV Nord 報告，顯示驗證過程認可；
- 針對ARM 架構 C 編譯器 ACE SuperTest 驗證套件；
- 針對選取 TI ARM 編譯器功能確認驗證測試案例；
- 在使用者環境中透過目標硬體 (target hardware) 運作測試自動化框架；
- 24 小時 Validas 諮詢服務：透過 Webex 與電子郵件針對一般性支援、模組擴充 (model-extension) 、覆蓋範圍比較以及結果/文件預覽進行支援。
供貨與支援
合作夥伴
TI 與 Validas 以及 ACE 兩強攜手開發該驗證套件，協助客戶針對 ARM 編譯器特定使用案例進行驗證，使功能與效能也可利用最大化。TI ARM 編譯器新修訂版本與功能可使用 Validas 模組化驗證方法、ACE SuperTest 驗證套件運作與其它 TI 驗證測試案例進行驗證。
TI 廣泛系列的 MCU 與軟體
TI MCU 具備業界領先低功耗、即時控制、安全與連接功能。TI 藉由 20 年以上豐富的微控制器創新經驗，提供業界最廣泛的微控制器產品系列：從超低功耗 MSP MCU、即時控制 C2000™ MCU、Tiva™ ARM® MCU 到 Hercules™ 安全 ARM MCU。設計人員可充分利用 TI 完整的軟硬體工具、廣泛的Design Network協力廠商技術支援，加速產品的上市時程。
關於德州儀器
德州儀器 (TI) 為全球半導體設計製造公司，專精類比 IC 及嵌入式處理器開發。TI 擁有全球頂尖人才，銳意創新，塑造未來。TI 攜手100,000 多家客戶打造更美好未來。更多詳細資訊，請參見網頁：www.ti.com/tw。
