基于模型的汽車控制軟件集成

模型工程（MBE）方法是應(yīng)對下一代汽車系統(tǒng)設(shè)計挑戰(zhàn)的一種非常有前景的方法。汽車電子軟件平臺、分布式實(shí)時嵌入式軟件，以及從一體化程度的增加，需要提出更加高效的設(shè)計方法。然而，異質(zhì)性、互操作性以及缺乏在建模、集成、驗證和優(yōu)化方面的正式語義支撐使自動化設(shè)計面臨巨大的挑戰(zhàn)，這成為MBE在行業(yè)中更廣泛應(yīng)用的障礙。簡要介紹了在MBE環(huán)境下的互操作性挑戰(zhàn)，介紹了目前對涉及汽車控制軟件系統(tǒng)方面難題的解決方案。提出了一種新型基于模型的汽車控制軟件集成結(jié)構(gòu)，通過在系統(tǒng)方面的約束和優(yōu)化設(shè)計能夠完成建模、時態(tài)規(guī)范、形式語義、設(shè)計等。此方法的主要優(yōu)點(diǎn)是使用常規(guī)方法、架構(gòu)分析、設(shè)計語言（AADL）和相關(guān)工具，具有表達(dá)性時序關(guān)系語言的AADL新型時序附件能夠表達(dá)組件級需求和組件集成驗證的正式契約式語言，由此可產(chǎn)生高保障系統(tǒng)。

當(dāng)前的汽車控制軟件系統(tǒng)越來越復(fù)雜，其結(jié)構(gòu)各異和構(gòu)件分散，同時需要更安全、更可靠、資源使用更優(yōu)和更強(qiáng)環(huán)境適應(yīng)性。更新功能軟件的集成使控制軟件極具挑戰(zhàn)性。此外，由于汽車控制軟件系統(tǒng)是保證安全的關(guān)鍵，因此對其本身的安全性要求更高，設(shè)計過程涉及建模、集成、實(shí)施和高精度驗證。

網(wǎng)址：http://dx.doi.org/10.1145/ 2744769.2747945

作者：Prachi Joshi et al

編譯：馬玲玲