The MathWorks 于4月25日宣布,其 Simulink Verification and Validation 軟件能夠自動評估和驗(yàn)證系統(tǒng)模型與 DO-178B 和 IEC-61508 標(biāo)準(zhǔn)及 MAAB 建模準(zhǔn)則的合格性,這些建模準(zhǔn)則已經(jīng)被國際航天、汽車和工業(yè)設(shè)備市場廣泛采用。用于這些安全關(guān)鍵標(biāo)準(zhǔn)的最新模型檢查功能使 Simulink Verification and Validation 所提供的現(xiàn)有支持?jǐn)U展到客戶開發(fā)的建模準(zhǔn)則。

隨著嵌入式系統(tǒng)設(shè)計變得越來越復(fù)雜,其模型擴(kuò)展到數(shù)萬個組成模塊,多家工程機(jī)構(gòu)已經(jīng)使用建模準(zhǔn)則作為最佳實(shí)踐方法來增強(qiáng)可讀性、增加可維護(hù)性和促進(jìn)重新使用,同時防止出現(xiàn)建模錯誤。在典型情況下,建模準(zhǔn)則通過設(shè)計審核過程中對模型和相關(guān)文檔的目視檢查來進(jìn)行驗(yàn)證的。然而,越來越多的組織已經(jīng)通過使用 Simulink Verification and Validation 來取得其內(nèi)部準(zhǔn)則并對模型進(jìn)行自動檢查,以此來減少或摒棄這種耗費(fèi)時間而且容易出錯的人工驗(yàn)證工作。

Simulink Verification and Validation 包括用于 DO-178B、IEC-61508 和 MAAB 建模準(zhǔn)則的建模標(biāo)準(zhǔn)檢查功能,這些 建模標(biāo)準(zhǔn)已經(jīng)在 Simulink 的 Model Advisor 功能中得到應(yīng)用。Model Advisor 也可以檢查其他的屬性,例如模型一致性和代碼生成兼容性。另外,工程師們可以使用 Simulink Verification and Validation 中的自定義應(yīng)用編程接口(API),來開發(fā)自己的建模檢查功能(使用熟悉的 MATLAB 腳本),并用在 Model Advisor 中注冊,實(shí)現(xiàn)自動執(zhí)行。

“在與航天、汽車、工業(yè)設(shè)備行業(yè)內(nèi)及其它構(gòu)建安全系統(tǒng)的專家的合作過程中,The MathWorks 意識到建模標(biāo)準(zhǔn)合格性對整體開發(fā)過程具有關(guān)鍵性的作用,”The MathWorks 的航天、軍工和汽車市場經(jīng)理Jon Friedman 如此說道。“許多用戶已經(jīng)采用 Simulink Verification and Validation ,將其設(shè)計與自己的建模準(zhǔn)則做對照檢查,并將此作為開發(fā)過程中的一個核心部分。現(xiàn)在,工程師們可以使用相同的工具來確保他們的模型在數(shù)據(jù)類型、診斷、代碼生成和安全方面符合 DO-178B、IEC-61508 和 MAAB 標(biāo)準(zhǔn),不必將重要的工時耗費(fèi)在反復(fù)的人工檢查上。”