汽車電子系統(tǒng)軟件構件的交易級建模與驗證.pdf

1、汽車日益增加的功能需求導致汽車上的ECU(Electrical Control Unit)數量逐步增多，汽車電子系統(tǒng)變得日益復雜，汽車電子軟件設計和開發(fā)也變得更加困難。如何解決復雜汽車電子系統(tǒng)軟件的設計難題，同時保證軟件的質量和開發(fā)時間，成為了汽車電子系統(tǒng)領域的研究熱點。
　　 本文結合汽車電子軟件系統(tǒng)的特點，依據汽車領域的AUTOSAR(AutomotiveOpen System Architecture)規(guī)范，對基于軟件構件

2、的汽車電子系統(tǒng)的設計方法進行探索和研究，采用交易級建模方法，在高抽象層次實現軟件構件的建模和驗證，從而在系統(tǒng)早期設計階段發(fā)現設計中存在的問題，保證軟件質量，提高軟件開發(fā)效率。本文的主要工作包括：
　　 分析了AUTOSAR相關技術，涵蓋AUTOSAR架構、軟件設計方法論及應用研究現狀；針對AUTOSAR架構的特點，引入了交易級建模理論，并詳細介紹了交易級建模的概念、發(fā)展歷程、仿真方法及軟件驗證技術等研究現狀。
　　 針對

3、汽車電子軟件構件的特點，對軟件構件的結構、類型及通信行為等建模需求進行了分析。在此基礎上，確定了模型描述語言，并重點分析了該語言的特點和結構。在詳細分析基于AUTOSAR的汽車電子系統(tǒng)設計方法的基礎上，確立了交易級建?；A方案。
　　 依據AUTOSAR規(guī)范，提出了一種面向軟件構件的汽車電子系統(tǒng)的交易級建模和驗證方法。該方法首先采用SystemC語言描述了汽車電子系統(tǒng)軟件模型、硬件抽象模型及軟硬件交互模型；然后針對AUTOSAR

4、規(guī)范中的汽車電子系統(tǒng)設計流程，提出了PV(Programmer’s View)層和PVT(Programmer’s View plus Timing)層的交易級建模方法和驗證流程；最后，在CCSS(CoCentric System Studio)上實現了面向汽車電子軟件系統(tǒng)設計和驗證的交易級建模、仿真、驗證綜合平臺。
　　 以汽車自適應巡航控制系統(tǒng)為例，依據所提出的建模方法設計了自適應巡航控制系統(tǒng)的各個軟件構件及互連模型，并在P