Kostal借助基于MathWorks的模型設(shè)計實現(xiàn) ISO 26262 ASIL D 級認(rèn)證

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

圖：科世達(dá)電子轉(zhuǎn)向柱鎖模塊

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

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

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

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