基于模型的設(shè)計(jì)實(shí)現(xiàn)ISO 26262 ASIL D級(jí)認(rèn)證分析和介紹

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

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

科世達(dá)是中國(guó)國(guó)內(nèi)首家汽車類產(chǎn)品達(dá)到ISO 26262 ASIL D級(jí)認(rèn)證的公司。來(lái)自MathWork的整合工具鏈（包括Simulink和Embedded Coder）讓科世達(dá)的工程師們能夠快速推進(jìn)其軟件開(kāi)發(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)測(cè)試和產(chǎn)品級(jí)代碼生成。在開(kāi)發(fā)和集成階段，使用Polyspace Bug Finder和Polyspace CodeProver對(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)過(guò)認(rèn)證的電子轉(zhuǎn)向柱鎖模塊已由上汽通用汽車有限公司批準(zhǔn)，即將投產(chǎn)。

“我們的目標(biāo)是滿足這樣一種挑戰(zhàn)，即在不犧牲速度或預(yù)算的情況下開(kāi)發(fā)出高完整性汽車電器和電子系統(tǒng)。”科世達(dá)亞洲研發(fā)中心平臺(tái)與流程經(jīng)理程暉說(shuō)?！盎谀Ｐ偷脑O(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)理金文思說(shuō)：“MathWorks能夠幫助科世達(dá)通過(guò)應(yīng)用MathWorks工具,得到ISO 26262認(rèn)證，我們?yōu)榇烁械椒浅８吲d。我相信科世達(dá)將會(huì)不斷地通過(guò)仿真、產(chǎn)品級(jí)代碼生成和早期驗(yàn)證提高開(kāi)發(fā)效率。”

KOSTAL（科世達(dá)）集團(tuán)是一家成立于1912年的德國(guó)家族企業(yè)。憑借在汽車領(lǐng)域長(zhǎng)達(dá)數(shù)十年的經(jīng)驗(yàn)，同時(shí)不斷進(jìn)行高水平的創(chuàng)新和開(kāi)發(fā)專長(zhǎng)整合，使得科世達(dá)在汽車系統(tǒng)集成領(lǐng)域獨(dú)領(lǐng)風(fēng)騷。在上一財(cái)年，科世達(dá)實(shí)現(xiàn)了高達(dá)21億歐元的銷售額。
關(guān)于科世達(dá)的更多信息，請(qǐng)?jiān)L問(wèn)kostal.com。

MathWorks 是數(shù)學(xué)計(jì)算軟件領(lǐng)域世界領(lǐng)先的開(kāi)發(fā)商。它所推出的 MATLAB 是一種用于算法開(kāi)發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計(jì)算的程序設(shè)計(jì)環(huán)境，稱為“科學(xué)計(jì)算的語(yǔ)言”。Simulink是一種圖形環(huán)境，可用于對(duì)多域動(dòng)態(tài)系統(tǒng)和嵌入式系統(tǒng)進(jìn)行仿真和基于模型設(shè)計(jì)。全球的工程師和科學(xué)家們都依賴于 MathWorks 公司所提供的這些產(chǎn)品系列，來(lái)加快在汽車、航空、電子、金融服務(wù)、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開(kāi)發(fā)的步伐。