THE MATHWORKS 為安全關(guān)鍵系統(tǒng)提供自動(dòng)化模型檢查支持

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

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

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

　　關(guān)于 The MathWorks

　　The MathWorks公司是世界領(lǐng)先的科學(xué)計(jì)算和基于模型設(shè)計(jì)的軟件供應(yīng)商的領(lǐng)導(dǎo)者，其客戶是覆蓋世界各大洲100多個(gè)國(guó)家的1,000,000多名頂級(jí)工程師、科學(xué)家，數(shù)學(xué)家和研發(fā)人員，他們工作在世界上最先進(jìn)的技術(shù)公司、政府實(shí)驗(yàn)室、金融機(jī)構(gòu)以及3500多所大學(xué)?；贛ATLAB和 Simulink之上，The MathWorks公司針對(duì)不同行業(yè)的應(yīng)用提供了更為豐富的工具包和技術(shù)支持，來(lái)幫助工程師面對(duì)復(fù)雜的設(shè)計(jì)挑戰(zhàn)和加速科技創(chuàng)新的進(jìn)程。這些產(chǎn)品已經(jīng)在很多行業(yè)得到了廣泛應(yīng)用：如汽車、航空航天、無(wú)線通信和數(shù)字通信、政府研發(fā)、過(guò)程工業(yè)、電子系統(tǒng)、生物技術(shù)、制藥業(yè)、金融分析、地球與星球科學(xué)、儀器儀表制造和能源開發(fā)等。