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

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

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

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

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

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

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