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

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

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

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

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

作者：Prachi Joshi et al

編譯：馬玲玲