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

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

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

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

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

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

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

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