THE MATHWORKS 為安全關鍵系統提供自動化模型檢查支持

　　馬薩諸塞州內蒂克市 – 2008 年 4 月 25 日 –– The MathWorks 于今日宣布，其 Simulink Verification and Validation 軟件能夠自動評估和驗證系統模型與 DO-178B 和 IEC-61508 標準及 MAAB 建模準則的合格性，這些建模準則已經被國際航天、汽車和工業設備市場廣泛采用。用于安全關鍵標準的最新模型檢查功能使 Simulink Verification and Validation 所提供的現有支持擴展到客戶開發的建模準則。

　　隨著嵌入式系統設計變得越來越復雜，其模型擴展到數萬個組成模塊，多家工程機構已經使用建模準則作為最佳實踐方法來增強可讀性、增加可維護性和促進重新使用，同時防止出現建模錯誤。在典型情況下，建模準則通過設計審核過程中對模型和相關文檔的目視檢查來進行驗證的。然而，越來越多的組織已經通過使用 Simulink Verification and Validation 來取得其內部準則并對模型進行自動檢查，以此來減少或摒棄這種耗費時間而且容易出錯的人工驗證工作。

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

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

　　關于 The MathWorks

　　The MathWorks公司是世界領先的科學計算和基于模型設計的軟件供應商的領導者，其客戶是覆蓋世界各大洲100多個國家的1,000,000多名頂級工程師、科學家，數學家和研發人員，他們工作在世界上最先進的技術公司、政府實驗室、金融機構以及3500多所大學。基于MATLAB和 Simulink之上，The MathWorks公司針對不同行業的應用提供了更為豐富的工具包和技術支持，來幫助工程師面對復雜的設計挑戰和加速科技創新的進程。這些產品已經在很多行業得到了廣泛應用：如汽車、航空航天、無線通信和數字通信、政府研發、過程工業、電子系統、生物技術、制藥業、金融分析、地球與星球科學、儀器儀表制造和能源開發等。