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