《電子技術(shù)應(yīng)用》
您所在的位置:首頁(yè) > 嵌入式技術(shù) > 新品快遞 > 德州儀器推出SafeTI?編譯器資質(zhì)審核套件,助力簡(jiǎn)化工業(yè)、汽車(chē)以及醫(yī)療產(chǎn)品的功能安全性開(kāi)發(fā)

德州儀器推出SafeTI?編譯器資質(zhì)審核套件,助力簡(jiǎn)化工業(yè)、汽車(chē)以及醫(yī)療產(chǎn)品的功能安全性開(kāi)發(fā)

功能安全應(yīng)用設(shè)計(jì)人員可使用該套件幫助審核其 TI ARM® 編譯器使用是否符合IEC 61508與ISO 26262功能安全標(biāo)準(zhǔn)
2013-07-01

   日前,德州儀器(TI) 宣布推出最新safeti_cqkit">SafeTI™ 編譯器資質(zhì)審核套件,進(jìn)一步豐富其SafeTI™ 設(shè)計(jì)套件。該SafeTI™ 編譯器資質(zhì)審核套件不但可幫助客戶(hù)審核TI ARM® C/C++ 編譯器的使用是否符合IEC 61508 與ISO 26262 等功能安全標(biāo)準(zhǔn),同時(shí)還有助于最大限度提高其功能性及性能。該套件是SafeTI 設(shè)計(jì)套件的一個(gè)組件,主要用于與TI 基于ARM Cortex-R4 的Hercules™ 安全微控制器(MCU) 配合使用,幫助客戶(hù)簡(jiǎn)化功能安全應(yīng)用開(kāi)發(fā)。

   SafeTI 編譯器資質(zhì)審核套件使用了Validas開(kāi)發(fā)的模塊化工具資質(zhì)審核方法,Validas是一家專(zhuān)注于嵌入式系統(tǒng)軟件資質(zhì)審核以及軟件工具安全標(biāo)準(zhǔn)資質(zhì)審核的咨詢(xún)公司。SafeTI 編譯器資質(zhì)審核套件中包含獨(dú)立第三方評(píng)估機(jī)構(gòu)TÜV NORD提供的評(píng)估文檔,文檔內(nèi)容顯示:“[ISO 26262](第11 章第8 節(jié))相關(guān)軟件工具分類(lèi)與資質(zhì)審核的要求以及[IEC 61508](第7.4.4 章第3 節(jié))相關(guān)工具資質(zhì)審核的要求可通過(guò)應(yīng)用該資質(zhì)審核套件充分滿(mǎn)足。”

    此外,SafeTI 編譯器資質(zhì)審核套件還包括Associated Compiler Experts(ACE) 的最新SuperTest 資質(zhì)審核套件。SuperTest 資質(zhì)審核套件源于ACE SuperTest 編譯器測(cè)試與資質(zhì)審核套件,有助于嚴(yán)格滿(mǎn)足C 語(yǔ)言編譯器標(biāo)準(zhǔn)的合規(guī)性要求。多年來(lái)TI 汽車(chē)MCU 客戶(hù)已將ACE SuperTest 編譯器測(cè)試與資質(zhì)審核套件成功應(yīng)用于評(píng)估編譯器質(zhì)量。

基于模型的工具資質(zhì)審核

    IEC 61508 與ISO 26262 安全標(biāo)準(zhǔn)需要對(duì)功能安全產(chǎn)品開(kāi)發(fā)流程中使用的所有工具進(jìn)行評(píng)估與分類(lèi),幫助確保工具不會(huì)影響所開(kāi)發(fā)產(chǎn)品的安全性。如果需要更高的工具信任度,可通過(guò)工具資質(zhì)審核得出使用適用性的證明。SafeTI 編譯器資質(zhì)審核套件中所使用基于模型的工具資質(zhì)審核技術(shù)非常靈活,可幫助用戶(hù)為開(kāi)發(fā)流程選擇所需的工具特性。工具特性或者可測(cè)試,或者提供一個(gè)具有幾個(gè)緩和選項(xiàng)的列表,用戶(hù)可選擇最適合其工藝的選項(xiàng)。SafeTI 編譯器資質(zhì)審核套件不僅可指導(dǎo)客戶(hù)選擇特性、測(cè)試與緩和措施,而且還可根據(jù)文檔模板與資質(zhì)審核模型生成所需的文檔。

SafeTI 編譯器資質(zhì)審核套件包括:

·        資質(zhì)審核套件用戶(hù)手冊(cè);

·        資質(zhì)審核支持工具:可幫助實(shí)現(xiàn)資質(zhì)審核配置與文檔生成;

·        所需安全文檔的模板:包括工具分類(lèi)報(bào)告、工具資質(zhì)審核計(jì)劃、工具資質(zhì)審核報(bào)告以及工具安全手冊(cè);

·        編譯器儀表化版本:可在應(yīng)用與資質(zhì)審核測(cè)試中比較編譯器覆蓋范圍;

·        TÜV Nord 報(bào)告:顯示資質(zhì)審核過(guò)程批準(zhǔn);

·        ARM 架構(gòu)上C 語(yǔ)言編譯器的ACE SuperTest 資質(zhì)審核套件;

·        特定TI ARM 編譯器特性的確認(rèn)資質(zhì)審核測(cè)試案例;

·        通過(guò)目標(biāo)硬件在用戶(hù)環(huán)境中運(yùn)行該測(cè)試的測(cè)試自動(dòng)化框架;

·        24 小時(shí)Validas 咨詢(xún):通過(guò)Webex 與電子郵件針對(duì)一般性支持、模型擴(kuò)展、覆蓋范圍比較以及結(jié)果/文檔復(fù)審支持提供。

SafeTI 編譯器資質(zhì)審核套件支持大多數(shù)編譯器特性的測(cè)試,并可擴(kuò)展支持TI 與Validas 的未來(lái)測(cè)試案例更新。

供貨情況與支持

SafeTI 編譯器資質(zhì)審核套件現(xiàn)已開(kāi)始通過(guò)TI 供貨。感興趣的客戶(hù)可在線注冊(cè)購(gòu)買(mǎi)該套件。SafeTI 編譯器資質(zhì)審核套件的客戶(hù)支持由TI 和Validas共同提供。

合作

TI 與Validas 以及ACE 強(qiáng)強(qiáng)聯(lián)合,共同開(kāi)發(fā)該資質(zhì)審核套件,不但有助于客戶(hù)資質(zhì)審核其ARM 編譯器特定使用案例,同時(shí)還可最大限度提高其功能與性能的使用。TI ARM 編譯器的新修訂版與特性可使用Validas 模塊化資質(zhì)審核方法、運(yùn)行ACE SuperTest 資質(zhì)審核套件以及該套件提供的其它TI 驗(yàn)證測(cè)試案例進(jìn)行資質(zhì)審核。

TI 廣泛系列的微控制器與軟件

TI MCU 支持低功耗、實(shí)時(shí)控制、安全與連接功能,居于業(yè)界領(lǐng)先地位。TI將繼續(xù)推進(jìn)其20多年來(lái)豐富的微控制器創(chuàng)新經(jīng)驗(yàn),提供業(yè)界最廣泛的微控制器產(chǎn)品系列:超低功耗MSP MCU、實(shí)時(shí)控制C2000™ MCU、Tiva™ ARM® MCU 以及Hercules™ ARM MCU。設(shè)計(jì)人員可充分利用TI 工具、軟件、無(wú)線連接解決方案、廣泛的設(shè)計(jì)網(wǎng)絡(luò)產(chǎn)品以及技術(shù)支持,加速產(chǎn)品上市進(jìn)程。

本站內(nèi)容除特別聲明的原創(chuàng)文章之外,轉(zhuǎn)載內(nèi)容只為傳遞更多信息,并不代表本網(wǎng)站贊同其觀點(diǎn)。轉(zhuǎn)載的所有的文章、圖片、音/視頻文件等資料的版權(quán)歸版權(quán)所有權(quán)人所有。本站采用的非本站原創(chuàng)文章及圖片等內(nèi)容無(wú)法一一聯(lián)系確認(rèn)版權(quán)者。如涉及作品內(nèi)容、版權(quán)和其它問(wèn)題,請(qǐng)及時(shí)通過(guò)電子郵件或電話通知我們,以便迅速采取適當(dāng)措施,避免給雙方造成不必要的經(jīng)濟(jì)損失。聯(lián)系電話:010-82306118;郵箱:aet@chinaaet.com。