基于模型的汽車(chē)控制軟件集成

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

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

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

作者：Prachi Joshi et al

編譯：馬玲玲