知識(shí)分享

在知識(shí)分享欄目中，我們會(huì)定期與讀者分享來(lái)自MES模賽思的基于模型的軟件開(kāi)發(fā)相關(guān)Know-How干貨，關(guān)注公眾號(hào)，隨時(shí)掌握基于模型的軟件設(shè)計(jì)的技術(shù)知識(shí)。

使用MXAM進(jìn)行AUTOSAR模型的靜態(tài)分析：Embedded Coder與TargetLink模型

文章內(nèi)容來(lái)源：MES模賽思官方網(wǎng)站

AUTOSAR（AUTomotive Open System ARchitecture）是由電子、半導(dǎo)體和軟件行業(yè)的汽車(chē)制造商、供應(yīng)商和其他公司組成的全球開(kāi)發(fā)合作伙伴關(guān)系。AUTOSAR標(biāo)準(zhǔn)旨在實(shí)現(xiàn)軟件標(biāo)準(zhǔn)化、可重用性和互操作性。AUTOSAR標(biāo)準(zhǔn)提供了支持當(dāng)前和下一代汽車(chē)ECU（Electronic Control Unit）的開(kāi)發(fā)平臺(tái)：AUTOSAR Classic Platform支持傳統(tǒng)的內(nèi)部應(yīng)用，如動(dòng)力總成、底盤(pán)、車(chē)身和內(nèi)飾電子設(shè)備；AUTOSAR Adaptive Platform支持新的基于服務(wù)的應(yīng)用，例如自動(dòng)駕駛、車(chē)聯(lián)網(wǎng)、OTA（over-the-air）等。AUTOSAR Adaptive Platform支持Classic AUTOSAR、Adaptive AUTOSAR和non-AUTOSAR ECU在單車(chē)內(nèi)的交互操作。

在過(guò)去的二十年中，AUTOSAR已成為汽車(chē)行業(yè)開(kāi)發(fā)SWC（Software Component）最重要的標(biāo)準(zhǔn)之一，因?yàn)樗С衷诟鞣NECU上分布式開(kāi)發(fā)和部署SWC。同時(shí)，基于模型的開(kāi)發(fā)方法（Model Based Development）已成為許多行業(yè)和組織的標(biāo)準(zhǔn)開(kāi)發(fā)方法，當(dāng)然也包括汽車(chē)行業(yè)。在這一點(diǎn)上，我們不得不提到汽車(chē)行業(yè)主流建?？蚣埽ㄈ?a target="_blank">Simulink），以及代碼生成框架（如TargetLink和Embedded Coder等），在Classic和Adaptive平臺(tái)上都集成了對(duì)AUTOSAR的支持。與此同時(shí)，當(dāng)我們考慮基于模型的軟件開(kāi)發(fā)或者通用的軟件開(kāi)發(fā)時(shí)，必須考慮全面的模型靜態(tài)分析方法，以確保相關(guān)軟件在模型和代碼層面的質(zhì)量。

此外，軟件安全本身也是我們對(duì)汽車(chē)產(chǎn)品的一項(xiàng)基本要求。汽車(chē)軟件的開(kāi)發(fā)同樣必須符合安全標(biāo)準(zhǔn)的相關(guān)要求，例如安全相關(guān)的汽車(chē)軟件開(kāi)發(fā)必須符合ISO 26262標(biāo)準(zhǔn)。確?；谀Ｐ偷能浖|(zhì)量需要專業(yè)的質(zhì)量保證工具。例如業(yè)內(nèi)廣泛應(yīng)用的工具M(jìn)ES Model Examiner (MXAM)，可為質(zhì)量保證提供綜合全面的靜態(tài)分析方案。在視頻“使用MXAM進(jìn)行符合AUTOSAR標(biāo)準(zhǔn)的建?！闭故玖薓XAM與AUTOSAR如何協(xié)同工作以實(shí)現(xiàn)合規(guī)性。接下來(lái)，本文將提供更深入的分析。

MES模賽思的MES Model Examiner (MXAM)如何支持我們進(jìn)行模型的靜態(tài)分析？

首先我們來(lái)簡(jiǎn)要概述一下MXAM的工作流。MXAM的工作流主要包括：新建或打開(kāi)一個(gè)現(xiàn)有項(xiàng)目，選擇模型和設(shè)置規(guī)范文檔，運(yùn)行分析，查看結(jié)果，在指導(dǎo)下自動(dòng)或手動(dòng)修復(fù)違反建模規(guī)范的情況，通過(guò)注釋功能批注規(guī)范違反原因，最后保存并導(dǎo)出合規(guī)性報(bào)告。其具體過(guò)程詳見(jiàn)圖1。

圖1：MXAM執(zhí)行靜態(tài)分析的工作流

MXAM支持多種模型類型的檢查：Simulink模型、 dSPACE TargetLink模型或ASCET模型。新建或打開(kāi)MXAM模型檢查項(xiàng)目時(shí)，可在GUI（Graphical User Interface）下自動(dòng)獲取當(dāng)前Simulink中處于活動(dòng)狀態(tài)的模型，如圖2所示。在持續(xù)集成環(huán)境中，我們還可以通過(guò)編輯Windows或MATLAB腳本指定待測(cè)的模型工件。

圖2：MXAM待分析工件選擇

加載模型工件后，必須考慮在靜態(tài)模型分析方法中要驗(yàn)證哪些規(guī)范。在MXAM項(xiàng)目中，規(guī)范以規(guī)范文檔的形式設(shè)置和管理。規(guī)范文檔源于行業(yè)和企業(yè)標(biāo)準(zhǔn)的建模規(guī)范。 來(lái)自MES模賽思的工具為各規(guī)范專門(mén)開(kāi)發(fā)了相應(yīng)的規(guī)范檢查例程。在一個(gè)功能安全相關(guān)的開(kāi)發(fā)項(xiàng)目中，我們可以選擇與功能安全相關(guān)的MES功能安全規(guī)范。如果我們需要驗(yàn)證模型與MISRA規(guī)范的一致性，可以設(shè)置MISRA SLSF規(guī)范文檔，或者如果我們使用TargetLink作為代碼生成器，那么就需要選用dSPACE TargetLink建模規(guī)范中的相關(guān)規(guī)范。除了MXAM提供的行業(yè)和企業(yè)標(biāo)準(zhǔn)建模規(guī)范集，我們應(yīng)根據(jù)項(xiàng)目的實(shí)際要求合理選擇、設(shè)置或自定制企業(yè)或部門(mén)專用的規(guī)范文檔，如圖3所示。

圖3：編輯設(shè)置自定義規(guī)范文檔

此外，關(guān)于如何選擇或自定義規(guī)范，MXAM提供了高效的規(guī)范文檔創(chuàng)建助手，幫助我們根據(jù)模型工作環(huán)境和項(xiàng)目需求快速創(chuàng)建專屬的規(guī)范文檔，為企業(yè)和部門(mén)層面的管理和引用提供支持，如圖4所示。

圖4：自定義規(guī)范文檔創(chuàng)建助手

運(yùn)行分析前，如有必要，我們還可作進(jìn)一步的模型設(shè)置，如設(shè)置當(dāng)前項(xiàng)目檢查規(guī)范，如圖5所示。

圖5：設(shè)置當(dāng)前項(xiàng)目檢查規(guī)范

再如當(dāng)模型的某些模型組件或模型要素與所分析的軟件無(wú)關(guān)時(shí)，我們可以通過(guò)添加并設(shè)置忽略列表，選擇性地將某些模型要素忽略在某規(guī)范集的分析之外，如圖6所示。

圖6：設(shè)置忽略列表

此外，通過(guò)恰當(dāng)?shù)膮?shù)設(shè)置，如圖7所示，我們可以更靈活地運(yùn)用MXAM提供的自動(dòng)化規(guī)范檢查例程，滿足特定項(xiàng)目對(duì)定制參數(shù)的模型檢查需求。

圖7：MXAM的可定制參數(shù)設(shè)置

完成規(guī)范集和相應(yīng)參數(shù)配置后，通過(guò)MXAM工具界面中的分析按鈕、Simulink窗口的菜單欄或模型上下文中的MXAM命令，可進(jìn)行靜態(tài)分析。在未啟動(dòng)MXAM工具的情況下，我們還可以通過(guò)運(yùn)行MATLAB腳本或Windows批處理腳本，進(jìn)行批處理模式下的模型或工件的靜態(tài)分析。如圖8所示，MXAM通過(guò)GUI和腳本命令行，高度智能化地集成在MATLAB中，從而實(shí)現(xiàn)MXAM與MATLAB間的快捷互操作。

圖8：MXAM在MATLAB中的智能集成

分析結(jié)束后，即得到分析報(bào)告。分析報(bào)告為我們提供了總體分析的概覽以及各部分內(nèi)容的詳細(xì)描述，包括MXAM項(xiàng)目中所分析模型對(duì)相應(yīng)設(shè)置的規(guī)范集的所有一致性結(jié)果及其完整信息。對(duì)于報(bào)告中的違規(guī)項(xiàng)，我們可以使用MXAM的自動(dòng)修復(fù)功能自動(dòng)更正模型，確保我們所建立的模型符合規(guī)范集和自定義參數(shù)設(shè)定的要求，如圖9所示。

圖9：互動(dòng)式報(bào)告與自動(dòng)修復(fù)

此外，MXAM提供的注釋功能可與標(biāo)準(zhǔn)評(píng)審流程無(wú)縫集成，支持項(xiàng)目中模型的評(píng)審和偏差接受機(jī)制，如圖10所示。

圖10：MXAM注釋與評(píng)審機(jī)制

然后，我們保存并導(dǎo)出報(bào)告或重新運(yùn)行分析，直至最后得到完善的模型，并能根據(jù)不同需求導(dǎo)出對(duì)應(yīng)格式的報(bào)告，如圖11所示。

圖11：靈活的報(bào)告輸出

按照上述的工作流程，MXAM可為AUTOSAR模型審查和優(yōu)化提供高效支持，尤其對(duì)于大型和復(fù)雜的Simulink/TargetLink AUTOSAR模型系統(tǒng)。當(dāng)我們使用Embedded Coder或TargetLink作為代碼生成器時(shí)，MXAM是如何支持我們進(jìn)行AUTOSAR軟件模型開(kāi)發(fā)過(guò)程的呢？

首先，SWC和Runnable是使用子系統(tǒng)建立AUTOSAR模型的基礎(chǔ)，SWC/Runnable在Simulink中建模為子系統(tǒng)。例如，如果我們使用TargetLink建立AUTOSAR 模型，圖12的示例給出了TargetLink模型中的部分內(nèi)容，一個(gè)AUTOSAR SWC包括若干子系統(tǒng)和一些接口設(shè)置，在子系統(tǒng)中定義Runnable算法并添加TargetLink Function模塊，將子系統(tǒng)設(shè)置為AUTOSAR Runnable，這就是TargetLink創(chuàng)建AUTOSAR Runnable的方式。另一方面，對(duì)于Embedded Coder，我們通常使用原子子系統(tǒng)或Function調(diào)用子系統(tǒng)來(lái)進(jìn)行周期性或非周期性的AUTOSAR Runnable建模。 這里我們主要關(guān)注由子系統(tǒng)對(duì)AUTOSAR Runnable進(jìn)行建模的用例。

圖12：SWC/Runnables建模

AUTOSAR字典給出了模型與AUTOSAR設(shè)置之間的關(guān)聯(lián)。 對(duì)于TargetLink，AUTOSAR設(shè)置包含在標(biāo)準(zhǔn)的TargetLink數(shù)據(jù)字典中，Simulink支持專用的AUTOSAR字典，通過(guò)AUTOSAR字典，我們可以設(shè)置和分解SWC或Runnable項(xiàng)，以及接口設(shè)置、應(yīng)用或?qū)崿F(xiàn)數(shù)據(jù)類型的設(shè)置。

兩種代碼生成器都支持往返機(jī)制，即如果在模型中導(dǎo)入AUTOSAR描述文件（ARXML），例如SWC描述，則可以生成框架模型或更新當(dāng)前模型。相反，一個(gè)SWC Runnable的模型更改后，可以更新對(duì)應(yīng)SWC的描述。

在使用Embedded Coder開(kāi)發(fā)模型時(shí)，對(duì)自動(dòng)生成的模型部分執(zhí)行靜態(tài)測(cè)試可能會(huì)導(dǎo)致大量時(shí)間和資源的浪費(fèi)。MXAM v10.0已擴(kuò)展了分析參數(shù)（見(jiàn)圖13）。如果該參數(shù)設(shè)置為"True"，MXAM將僅分析可運(yùn)行子系統(tǒng)內(nèi)的模型元素。

圖13：全局分析參數(shù)“Global.AnalyzeAutosarRunnablesSubsystemsOnly”

在開(kāi)發(fā)AUTOSAR模型的過(guò)程中，工程師通常使用ARXML文件啟動(dòng)模型生成和框架構(gòu)建。因此，系統(tǒng)會(huì)自動(dòng)生成多個(gè)層級(jí)的結(jié)構(gòu)和附加文件。然而，自動(dòng)生成的模型部分并不一定需要進(jìn)行靜態(tài)測(cè)試，因?yàn)樗鼈儽仨氉裱A(yù)定義的AUTOSAR結(jié)構(gòu)。對(duì)這些固定部分執(zhí)行靜態(tài)測(cè)試將消耗不必要的時(shí)間和精力。 新的全局參數(shù)使工程師能夠僅分析AUTOSAR Runnables內(nèi)的模型和函數(shù)，從而使開(kāi)發(fā)者能夠?qū)⒛Ｐ头治鲋攸c(diǎn)放在特定應(yīng)用和可修改的部分上，顯著提高效率并節(jié)省寶貴時(shí)間。

以上的設(shè)置方法屬于靜態(tài)的設(shè)置，我們也可以采取動(dòng)態(tài)的方法來(lái)搜索相關(guān)工件對(duì)象并運(yùn)行分析。為此，我們需要確定一些常見(jiàn)的標(biāo)識(shí)符表征的鏈接。這也相當(dāng)容易，因?yàn)槲覀冎恍杷阉鱎unnable的Function模塊，如使用Simulink API，然后可以自動(dòng)找到與我們的分析相關(guān)的子系統(tǒng)，只需分析模型中實(shí)際對(duì)應(yīng)于Runnable子系統(tǒng)的那些要素即可。

上面的示例內(nèi)容是關(guān)于MXAM如何支持TargetLink的AUTOSAR建模。接下來(lái)，讓我們具體看看MXAM如何支持使用Embedded Coder開(kāi)發(fā)SWC模型。

在Embedded Coder中，系統(tǒng)目標(biāo)文件被設(shè)置為autosar.tlc或autosar_adaptive.tlc，為AUTOSAR用例啟用代碼生成，作為Embedded Coder提供的標(biāo)準(zhǔn)ERT系統(tǒng)目標(biāo)文件的擴(kuò)展設(shè)置，如圖14所示。這里可以看到兩個(gè)在生成SWC ARXML描述文件方面影響AUTOSAR代碼生成的選項(xiàng)：?jiǎn)⒂肁UTOSAR編譯器抽象宏，使生成的代碼以獨(dú)立于平臺(tái)的方式抽象16位平臺(tái)的編譯器指令；最后一個(gè)選項(xiàng)為確定軟件是否通過(guò)將矩陣實(shí)現(xiàn)為一維數(shù)組來(lái)支持根級(jí)的矩陣輸入輸出。

圖14：Embedded Coder AUTOSAR代碼生成設(shè)置

通常在項(xiàng)目中，我們希望這些代碼生成選項(xiàng)的設(shè)置保持一致。當(dāng)然，這些統(tǒng)一性設(shè)置也適用于AUTOSAR代碼生成選項(xiàng)。MXAM怎樣支持我們呢？MXAM通過(guò)提供檢查項(xiàng)mes_cgec_9004來(lái)檢查代碼生成選項(xiàng)中相關(guān)設(shè)置的一致性。其檢查的原理是通過(guò)附帶的一個(gè)專用的自動(dòng)檢查項(xiàng)來(lái)查看Excel列表中的所有代碼生成選項(xiàng)的預(yù)設(shè)值，特別是對(duì)于AUTOSAR相關(guān)設(shè)置項(xiàng)，并將模型的值與此Excel工作表中的給定值進(jìn)行比較。如果發(fā)現(xiàn)不一致，MXAM會(huì)報(bào)告失敗結(jié)果，并可應(yīng)用自動(dòng)修復(fù)功能。相關(guān)選項(xiàng)的預(yù)設(shè)屬性值可以根據(jù)具體項(xiàng)目需求進(jìn)行設(shè)置。

圖15：AUTOSAR Blockset中的模塊

我們需要了解的重要信息是：MXAM支持AUTOSAR模塊用于應(yīng)用軟件模型到代碼生成的過(guò)程，特別是對(duì)于AUTOSAR庫(kù)例程中的查表庫(kù)。進(jìn)一步查看Simulink自帶的AUTOSAR模塊庫(kù)，如圖15所示，這些用于AUTOSAR額外封裝的查表例程模塊主要包括曲線查表，曲線預(yù)查表，映射查表和映射預(yù)查表等。代碼生成時(shí)，AUTOSAR例程將替換這些庫(kù)模塊。

模塊的屬性設(shè)置會(huì)對(duì)AUTOSAR代碼產(chǎn)生直接的影響，如果查看這些模塊的相應(yīng)屬性，如圖16所示，那我們會(huì)發(fā)現(xiàn)這些是查表模塊庫(kù)中帶封裝和對(duì)話框的標(biāo)準(zhǔn)模塊，并且封裝與模塊參數(shù)之間數(shù)據(jù)類型得以同步。MXAM支持正確讀取相應(yīng)模塊屬性， 可完全支持Simulink的AUTOSAR查表庫(kù)例程模塊集的代碼生成過(guò)程。

圖16：AUTOSAR模塊集的查表模塊屬性

在Embedded Coder的情況下，Simulink使用右側(cè)描述的數(shù)據(jù)類型，與AUTOSAR平臺(tái)類型之間存在固定映射關(guān)系。如表1所示。

表1：Simulink模型數(shù)據(jù)類型和AUTOSAR平臺(tái)類型之間的映射

因此在Embedded Coder的代碼生成框架下，MXAM并不需要區(qū)分AUTOSAR和non-AUTOSAR模型，這對(duì)于數(shù)據(jù)類型一致性的檢查等實(shí)施場(chǎng)景非常重要。比如對(duì)于MAB規(guī)范檢查項(xiàng)na_0002，布爾量信號(hào)的端口只能用布爾量信號(hào)而不是數(shù)值信號(hào)來(lái)饋送。 現(xiàn)在，這條規(guī)范在MXAM中已經(jīng)集成為標(biāo)準(zhǔn)庫(kù)的規(guī)范，MXAM完全支持Embedded Coder中AUTOSAR代碼生成過(guò)程中的數(shù)據(jù)類型映射機(jī)制，其描述如圖17所示。

圖17：Embedded Coder平臺(tái)AUTOSAR/non-AUTOSAR模型代碼生成數(shù)據(jù)類型映射

在TargetLink模型框架下，TargetLink AUTOSAR模塊庫(kù)用于AUTOSAR代碼生成。TargetLink AUTOSAR模塊庫(kù)（圖18）中我們可以看到通用的接口，輸入/輸出端口和總線、TargetLink數(shù)據(jù)存儲(chǔ)模塊、TargetLink Runnable模塊、SWC接收方端口和發(fā)送方端口模塊等。此外，還有接收方和發(fā)送方comSpeck模塊，用來(lái)與RTE（Run-Time Environment）進(jìn)行仿真交互。 MXAM支持TargetLink AUTOSAR模塊庫(kù)中的模塊用于Classic和Adaptive平臺(tái)的應(yīng)用開(kāi)發(fā)。

圖18：TargetLink AUTOSAR模塊庫(kù)

TargetLink的AUTOSAR用例方法與Embedded Coder略有不同，TargetLink允許從同一個(gè)模型為AUTOSAR和non-AUTOSAR用例生成代碼。 我們可以理解為T(mén)argetLink AUTOSAR庫(kù)中所有相關(guān)模塊接口設(shè)置包含兩個(gè)層面，如輸入/輸出端口模塊和數(shù)據(jù)存儲(chǔ)模塊的接口設(shè)置中包含標(biāo)準(zhǔn)的輸出端口的接口設(shè)置和AUTOSAR接口設(shè)置，我們還可以看到這些模塊中的數(shù)據(jù)設(shè)置也有所不同。例如圖19中的AUTOSAR模塊設(shè)置，開(kāi)發(fā)人員已經(jīng)選擇了使用平臺(tái)數(shù)據(jù)類型如int16，以及固定的LSB（Least Significant Bit）。

圖19：AUTOSAR模塊設(shè)置

同時(shí)，如圖20中non-AUTOSAR設(shè)置標(biāo)簽下，設(shè)置了不同的數(shù)據(jù)類型和縮放比例。 總而言之，在TargetLink AUTOSAR和non-AUTOSAR情形下可以并行指定數(shù)據(jù)，當(dāng)然，這些指定的數(shù)據(jù)可能不同。

圖20：標(biāo)準(zhǔn)模塊設(shè)置

靜態(tài)分析工具M(jìn)XAM如何處理這些AUTOSAR模塊？事實(shí)上，MXAM會(huì)自動(dòng)區(qū)分AUTOSAR和non-AUTOSAR用例，并且MXAM分析模塊數(shù)據(jù)設(shè)置或用于靜態(tài)分析的決策基于AUTOSAR代碼生成模式和所分析的模塊的AUTOSAR設(shè)置。如圖21所示，TargetLink主對(duì)話框中設(shè)置的代碼生成模式為Classic AUTOSAR。

圖21：TargetLink主對(duì)話框中代碼生成模式設(shè)置

如圖22中所示的相應(yīng)模塊的AUTOSAR模式設(shè)置，這兩處設(shè)置都必須針對(duì)AUTOSAR進(jìn)行，以便MXAM可采用相應(yīng)的AUTOSAR設(shè)置。在其他情況下，我們希望盡量保持與標(biāo)準(zhǔn)代碼生成的一致性。對(duì)于標(biāo)準(zhǔn)用例，MXAM會(huì)自動(dòng)采用輸出端口設(shè)置的模塊數(shù)據(jù)。

圖22：模塊的AUTOSAR模式設(shè)置

圖23：Product模塊關(guān)于MAB na_0002規(guī)范的一致性

這里我們介紹一個(gè)簡(jiǎn)單的例子。對(duì)于MXAM規(guī)范庫(kù)中的na_0002規(guī)范，規(guī)范要求邏輯信號(hào)不得連接到對(duì)數(shù)值信號(hào)操作的模塊。例如圖23中的Product模塊，按照規(guī)范要求，該模塊的第一端口應(yīng)滿足端口信號(hào)須為數(shù)值信號(hào)。然而，由于在源信號(hào)的設(shè)置中，總線輸入模塊的設(shè)置成了布爾信號(hào)（如圖23-26所示），因此違反了該規(guī)范。在MXAM中進(jìn)行靜態(tài)分析，獲得的結(jié)果會(huì)有所不同，具體取決于我們?cè)谀Ｐ椭性O(shè)置的代碼生成模式類型。

圖24：Product模塊輸入源信號(hào)的輸出端口類型設(shè)置

圖25：輸入源信號(hào)的AUTOSAR端口設(shè)置

圖26：TargetLink主對(duì)話窗代碼生成模式設(shè)置為Standard

讓我們?cè)偕钊霗z查相關(guān)設(shè)置：在這里有uint16定義。

如果設(shè)置為標(biāo)準(zhǔn)模式，同時(shí)將相應(yīng)信號(hào)提供端口設(shè)置為布爾類型時(shí)，就會(huì)出現(xiàn)違反na_0002規(guī)范要求的情況，如圖27所示。 通過(guò)使用靜態(tài)分析工具M(jìn)XAM運(yùn)行檢查，報(bào)告中得到違規(guī)項(xiàng)結(jié)果如圖：端口應(yīng)由數(shù)值信號(hào)輸入，但實(shí)際被設(shè)置為布爾值。

然而，在TargetLink主對(duì)話窗口設(shè)置為AUTOSAR模式的情況下，如圖28所示，這是沒(méi)問(wèn)題的，結(jié)果如圖29所示。

圖27：TargetLink主對(duì)話窗代碼生成模式設(shè)置Standard時(shí)MXAM規(guī)范na_0002的檢查結(jié)果

圖28：TargetLink主對(duì)話窗代碼生成模式設(shè)置為AUTOSAR

圖29：TargetLink主對(duì)話窗口設(shè)置為AUTOSAR模式時(shí)MXAM規(guī)范na_0002的檢查結(jié)果

如果還記得有關(guān)Embedded Coder代碼生成選項(xiàng)的設(shè)置內(nèi)容，那么對(duì)于TargetLink的設(shè)置也是類似的。如圖30中所示，Classic AUTOSAR平臺(tái)的TargetLink代碼生成選項(xiàng)的相關(guān)設(shè)置會(huì)影響RTE API調(diào)用方式。所以在TargetLink代碼生成之前對(duì)相關(guān)Runnable進(jìn)行接口設(shè)置的檢查顯得尤其重要。

圖30：Classic AUTOSAR代碼生成模式下的嚴(yán)格接口檢查設(shè)置

此外，實(shí)際項(xiàng)目中可能具有對(duì)代碼生成設(shè)置項(xiàng)的特定設(shè)置要求，自動(dòng)檢查例程可通過(guò)MXAM庫(kù)中的規(guī)范mes_cgtl_9002檢查所需的預(yù)設(shè)值，相關(guān)設(shè)置項(xiàng)的自定義設(shè)置可參看規(guī)范中描述的Excel參數(shù)表附件，如圖31所示。當(dāng)然，對(duì)于Simulink/Embedded Coder，我們會(huì)看到類似的參數(shù)表。

圖31：TargetLink參數(shù)設(shè)置檢查表

對(duì)于AUTOSAR模型的靜態(tài)分析的問(wèn)題，我們?cè)诖俗鰝€(gè)小結(jié)。首先，模型靜態(tài)分析工具如MXAM的應(yīng)用可高效地支持Adaptive和Classic AUTOSAR模型的快速分析。其次，無(wú)論是TargetLink AUOTSAR模型還是Embedded Coder AUTOSAR模型，MXAM都能支持從AUTOSAR模型到代碼的靜態(tài)分析過(guò)程。特別對(duì)于TargetLink存在不同的設(shè)置，區(qū)分AUTOSAR和non-AUTOSAR的情況，不同模塊的適用數(shù)據(jù)直接基于AUTOSAR設(shè)置。如果我們已經(jīng)為AUTOSAR代碼生成設(shè)置了模型 ，則MXAM采用AUTOSAR設(shè)置，如果沒(méi)有進(jìn)行相應(yīng)的代碼生成設(shè)置，模型默認(rèn)采用標(biāo)準(zhǔn)設(shè)置。最后，我們可以通過(guò)設(shè)置MXAM自帶的工具配置參數(shù)表，進(jìn)行項(xiàng)目代碼生成選項(xiàng)設(shè)置的自動(dòng)化檢查與設(shè)置修正。

總而言之，在模型開(kāi)發(fā)早期引入工具M(jìn)XAM，可以幫助我們?cè)谀Ｐ烷_(kāi)發(fā)過(guò)程中及早發(fā)現(xiàn)模型的錯(cuò)誤并加以修正。對(duì)于需要特殊配置的AUTOSAR模型，及早發(fā)現(xiàn)模型中的配置錯(cuò)誤并自動(dòng)修正，可以極大地提高模型開(kāi)發(fā)的效率，保障模型到生成的代碼質(zhì)量，以及符合ISO 26262功能安全標(biāo)準(zhǔn)的一致性要求。