《電子技術(shù)應(yīng)用》
您所在的位置:首頁(yè) > EDA與制造 > 業(yè)界動(dòng)態(tài) > Simulink 驗(yàn)證工具符合 ISO 26262 標(biāo)準(zhǔn)

Simulink 驗(yàn)證工具符合 ISO 26262 標(biāo)準(zhǔn)

2011-04-14
作者:MathWorks

  MathWorks 今天宣布,Simulink Design Verifier 和 Simulink Verification and Validation 已通過 TÜV SÜD 認(rèn)證,允許在符合 ISO 26262 標(biāo)準(zhǔn)的開發(fā)流程中使用。這一獨(dú)立評(píng)估結(jié)果可以幫助開發(fā)高完整性嵌入式系統(tǒng)的汽車工程師們樹立必要的信心,讓他們相信這些驗(yàn)證工具能夠按照其使用案例正常運(yùn)作。
 
  MathWorks 根據(jù) ISO 26262-8 標(biāo)準(zhǔn)的最新版本,對(duì) Simulink Design Verifier 的自動(dòng)測(cè)試用例生成能力和 Simulink Verification and Validation 的模型覆蓋率測(cè)量能力進(jìn)行了分類和資格預(yù)審。TÜV SÜD 然后對(duì)工具的分類和資格預(yù)審結(jié)果進(jìn)行了鑒定。為了進(jìn)一步幫助汽車工程師在基于模型設(shè)計(jì)中使用早期驗(yàn)證和確認(rèn),MathWorks 通過 Simulink Design Verifier 和 Simulink Verification and Validation 的認(rèn)證證據(jù)資料、參考工作流程以及 ISO 26262 工具資質(zhì)審核模板,增強(qiáng)了 IEC Certification Kit 產(chǎn)品性能。有了這些最新加入的內(nèi)容,IEC Certification Kit 擴(kuò)展了對(duì)基于模型的設(shè)計(jì)和驗(yàn)證產(chǎn)品的ISO 26262 工具資質(zhì)審核支持,其中已包含 Embedded Coder 和 Polyspace 代碼驗(yàn)證工具。
 
  為了對(duì) ISO 26262 功能安全標(biāo)準(zhǔn)中涉及到的其他活動(dòng)提供支持,MathWorks 繼續(xù)與提供互補(bǔ)技術(shù)的業(yè)務(wù)伙伴密切合作。例如,由 ikv++ technologies AG 提供的功能安全分析工具 medini analyze 可用于自動(dòng)確定和分解汽車安全完整性等級(jí) (ASIL),并可在使用 Simulink 開發(fā)高完整性系統(tǒng)時(shí),提供 ISO 26262 標(biāo)準(zhǔn)所要求的詳細(xì)安全分析活動(dòng)。
 

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