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

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

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

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

網址：http://dx.doi.org/10.1145/ 2744769.2747945

作者：Prachi Joshi et al

編譯：馬玲玲