MathWorks2016年2月23 日宣布，作為汽車電子產品供應商的德國 Kostal(科世達)集團下屬的子公司 - 科世達亞洲研發(fā)中心已采用基于MathWorks的模型設計為其新的電子轉向柱鎖模塊按時完成 ISO 26262 功能安全認證?？剖肋_將 Simulink 用于早期驗證和確認，用 Embedded Coder生成產品級代碼，從而開發(fā)出符合汽車安全完整性等級 D 級(ASIL D)的模塊。此認證等級要求在整個開發(fā)流程中采用最高水準的驗證和確認做法，并達到所有 ISO 26262 等級中最嚴格的開發(fā)工具資質。

圖：科世達電子轉向柱鎖模塊

科世達亞洲研發(fā)中心是中國國內首家汽車類產品達到 ISO 26262 ASIL D 級認證的公司。來自 MathWorks 的整合工具鏈(包括 Simulink 和 Embedded Coder)讓科世達的工程師們能夠快速推進其軟件開發(fā)流程并如期實現(xiàn) ISO 26262 目標?？剖肋_亞洲研發(fā)中心的團隊在仿真環(huán)境中對模型執(zhí)行系統(tǒng)化的驗證，使用 Simulink Verification and Validation 進行模型標準檢查，然后使用 Embedded Coder 完成處理器在環(huán)測試和產品級代碼生成。在開發(fā)和集成階段，使用 Polyspace Bug Finder 和 Polyspace Code Prover 對軟件的穩(wěn)健性進行了驗證。

ISO 26262 認證認可了科世達的電子轉向柱鎖模塊滿足標準中規(guī)定的苛刻標準，并為第三方提供了一種評估潛在供應商能力的獨立手段。經過認證的電子轉向柱鎖模塊已由上汽通用汽車有限公司批準,即將投產。

“我們的目標是滿足這樣一種挑戰(zhàn)，即在不犧牲速度或預算的情況下開發(fā)出高完整性汽車電器和電子系統(tǒng)。”科世達亞洲研發(fā)中心平臺與流程經理程暉說。“基于模型的設計與產品級代碼生成功能讓我們的新電子轉向柱鎖模塊可以快速成功地滿足 ASIL D 級要求。現(xiàn)在，我們的客戶可以放心將該模塊集成到他們的系統(tǒng)中，而不會影響他們自己的汽車設計和認證目標。”

MathWorks 汽車行業(yè)經理金文思說：“MathWorks能夠幫助科世達通過應用MathWorks 工具,得到 ISO 26262 認證，我們?yōu)榇烁械椒浅８吲d。我相信科世達將會不斷地通過仿真、產品級代碼生成和早期驗證提高開發(fā)效率。”