遵循ISO 26262等功能安全標(biāo)準(zhǔn)對于確保軟件的安全性與可靠性至關(guān)重要。在此背景下,工具的合規(guī)性與資格鑒定十分重要。ISO 26262定義了明確的步驟,以確保所使用的軟件工具能夠可靠運行并滿足規(guī)范要求。其目標(biāo)是最大限度地降低風(fēng)險,并確保在安全相關(guān)的開發(fā)項目中保持合規(guī)性。
對于這一主題,本文匯集了來自MES模賽思的相關(guān)知識資源。內(nèi)容涵蓋符合ISO 26262標(biāo)準(zhǔn)的工具鑒定具體判斷步驟、MXAM工具鑒定包以及相關(guān)培訓(xùn)課程與研討會資源。
ISO 26262工具鑒定對于基于模型的開發(fā)(MBD)至關(guān)重要
工具鑒定是指評估開發(fā)工具以確保其在開發(fā)工具鏈中可被授權(quán)使用的過程。如果若開發(fā)工具通過功能安全認(rèn)證流程,則證明其具備在安全相關(guān)軟件開發(fā)中的能力與適用性。尤其重要的是,工具鑒定在降低因工具故障引發(fā)系統(tǒng)性故障的可能性方面起著關(guān)鍵作用。
在ISO 26262標(biāo)準(zhǔn)的第8部分中,要求分兩步來確保軟件工具的信心。首先,應(yīng)通過(I)工具分類來決定每個軟件工具所需要的信心。根據(jù)第一步的結(jié)果,再進(jìn)行可能需要的(II)工具鑒定,以確定所需的信心。關(guān)于這一話題,歡迎參看我們的文章:符合ISO 26262標(biāo)準(zhǔn)的工具分類與鑒定了解更多。接下來,我們將著重介紹工具鑒定這一步的相關(guān)內(nèi)容。
工具鑒定的關(guān)鍵步驟
要成功完成工具鑒定,整個流程可分為三個關(guān)鍵步驟:
1. 工具使用的計劃性文檔記錄
2. 工具置信度等級(TCL)的確定
3. 工具的鑒定
步驟1:工具使用的計劃性文檔
這一強(qiáng)制性的預(yù)備步驟涉及在軟件開發(fā)的每個階段規(guī)劃工具的使用。根據(jù) [ISO 26262:2018-6],該方法正式稱為“使用規(guī)劃”,必須在工具應(yīng)用指南中完整記錄。
步驟2:確定工具置信度水平(TCL)
完成工具使用規(guī)劃后,需執(zhí)行工具分類流程,以判斷是否需要對工具進(jìn)行鑒定。下圖詳細(xì)說明了工具置信度等級的確定過程。

圖片:工具置信度 (TCL) 確定流程
工具影響(TI):指軟件工具錯誤引入或未能檢測到正在開發(fā)的安全相關(guān)項或元件中錯誤的可能性。結(jié)果分為兩類:TI1與TI2。
工具錯誤探測(TD):指對預(yù)防或檢測工具錯誤及其輸出結(jié)果所采取措施的置信度。結(jié)果分為三類:TD1、TD2與TD3。
只有當(dāng)工具置信度等級被判定為TCL2或TCL3時,才需執(zhí)行后續(xù)的鑒定過程。
步驟3:工具鑒定
根據(jù)ISO 26262-8中的表4和表5,對于被識別為TCL2或TCL3的工具,可采用以下四種方法進(jìn)行工具鑒定:
(1a) 使用中積累置信度
(1b) 工具開發(fā)流程評估
(1c) 軟件工具確認(rèn)
(1d) 按照安全標(biāo)準(zhǔn)開發(fā)
完成鑒定后,若該軟件工具被獨立于安全相關(guān)開發(fā)過程進(jìn)行驗證和分類,則需進(jìn)行審查。此外,工具鑒定的所有后續(xù)活動應(yīng)在《軟件工具鑒定報告》中完整記錄,以證明所有相關(guān)流程均已執(zhí)行。
MXAM工具鑒定包為您提供全面支持
MES Model Examiner? (MXAM)是一款領(lǐng)先的模型靜態(tài)分析工具,能夠?qū)δP瓦M(jìn)行全面的靜態(tài)分析。MXAM自2018年起獲得TüV SüD(南德意志技術(shù)監(jiān)督協(xié)會)認(rèn)證,可用于符合ISO 26262、IEC 61508及ISO 25119標(biāo)準(zhǔn)的安全相關(guān)軟件開發(fā)。2025年8月,MXAM成功完成認(rèn)證更新,證明其持續(xù)滿足最高國際安全與質(zhì)量標(biāo)準(zhǔn)。
將MXAM引入工具鏈,可顯著加速建模過程并提升建模質(zhì)量。針對MXAM工具的鑒定,MES模賽思提供了符合ISO 26262要求的MXAM鑒定包,有效滿足您的需求。該鑒定包包括:
?確定工具置信度等級(TCL)所需的基礎(chǔ)文檔和模板
?工具驗證測試
?測試報告

圖片:軟件工具標(biāo)準(zhǔn)評估報告摘錄
有關(guān)鑒定包內(nèi)容及許可模式的詳細(xì)信息,歡迎您隨時聯(lián)系我們咨詢。北匯信息作為MES的合作伙伴,歡迎聯(lián)系申請軟件試用和了解更多信息。
-
軟件
+關(guān)注
關(guān)注
69文章
5340瀏覽量
91686 -
MES
+關(guān)注
關(guān)注
5文章
1284瀏覽量
32889 -
ISO26262
+關(guān)注
關(guān)注
3文章
44瀏覽量
14856
發(fā)布評論請先 登錄
如何利用賽靈思28納米工藝加速平臺開發(fā)?
賽靈思:植根中國,為中國“智”造加油
賽靈思FPGA為終端芯片研發(fā)提供有利的工具
上海、北京、 深圳,三地同臺 賽靈思攜手ARM帶您領(lǐng)略16nm異構(gòu)多處理的極速體驗
賽靈思為各企業(yè)提供的專業(yè)的關(guān)于Xilinx的資源培訓(xùn)介紹
賽靈思最新SmartLynq+模塊,讓秒級迭代成為現(xiàn)實
知識分享 | 符合ISO 26262標(biāo)準(zhǔn)的工具分類與鑒定
知識分享 | 使用MXAM進(jìn)行AUTOSAR模型的靜態(tài)分析:Embedded Coder與TargetLink模型
知識分享 | 關(guān)于工具分類與鑒定:MES模賽思為您助力
評論